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

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

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Thu, 7 Jul 2022 11:36:27 +0000
Build-Path
/build/1st/coq-ext-lib-0.11.6

First submitted
Thu, 7 Jul 2022 11:45:38 +0000
SHA1 of .buildinfo
ed4d428bcdc87410c3a1b2e267a20a7dbfeaff54

Binaries

libcoq-ext-lib (libcoq-ext-lib_0.11.6-1_armhf.deb)
SHA1: c9b948f50250612ab0828e8a3c57fad3c5074ba9
SHA256: 9a99fd198f12a2e86a8450f05ac7ce9daa7006b904e0de1b394e2b288b048301

Size: 762,696 bytes

Other checksums

Submissions

zemsn3a9
Submitted
Thu, 7 Jul 2022 11:45:38 +0000
Signed by
0x2BBA298F216A5729 ff64a (Automatically generated key for signing .buildinfo files)

Environment


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