coq-ext-lib_0.11.8-1_amd64.buildinfo (view)

Source
coq-ext-lib
Version
0.11.8-1
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Tue, 27 Aug 2024 22:37:30 +0000
Build-Path
/build/2/coq-ext-lib-0.11.8/2nd

First submitted
Wed, 26 Jul 2023 16:14:37 +0000
SHA1 of .buildinfo
4ca6390265c7f0a0cdd1e6a1fa19fb335ab0155c

Binaries

libcoq-ext-lib (libcoq-ext-lib_0.11.8-1_amd64.deb)
SHA1: 0fe9a0b61e2a9e4d2d29bfd3511d4b397edb7b71
SHA256: c9c8bb393e0aecb55abe5b0f6658d5b22eed1333c813b0a48aa531717e3991d2

Size: 758,300 bytes

Other checksums

Submissions

vtbat4x4
Submitted
Wed, 26 Jul 2023 16:14:37 +0000
Signed by
0x1BD40F376E003684 profitbricks-build5-amd64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=16 "
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1686590986"