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

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

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Sun, 10 Jul 2022 19:59:51 +0000
Build-Path
/build/coq-ext-lib-0.11.6

First submitted
Sun, 10 Jul 2022 20:03:04 +0000
SHA1 of .buildinfo
3259df36e8eed4dd39508a9007cc44e28890e03b

Binaries

libcoq-ext-lib (libcoq-ext-lib_0.11.6-1_amd64.deb)
SHA1: 51419ec8d4f9b49746b2cd432e2cbc6f82e01d61
SHA256: 0a4229e4a9617a2df7e66888bbf7133c8421c7accb7955b78d87dc4d07459fd4

Size: 763,504 bytes

Other checksums

Submissions

gzu7mfbo
Submitted
Sun, 10 Jul 2022 20:03:05 +0000
Signed by
0x5FA3DA39796FBACF profitbricks-build1-amd64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=15"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1656396534"