coq-hierarchy-builder_1.3.0-1_armhf.buildinfo (view)

Source
coq-hierarchy-builder
Version
1.3.0-1
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Tue, 9 Aug 2022 09:59:17 +0000
Build-Path
/build/coq-hierarchy-builder-1.3.0

First submitted
Tue, 9 Aug 2022 09:59:42 +0000
SHA1 of .buildinfo
96fc34c50ea42c5288c082aec9b99509018a2e50

Binaries

coq-hierarchy-builder (coq-hierarchy-builder_1.3.0-1_armhf.deb)
SHA1: ec84db52ef468e0f45a57bdd03971de006d8d6e1
SHA256: 8b306e3bfbb4412b0b08f71799d8d27faec0ac77619ae1fc9f7211b817a1bd50

Size: 619,008 bytes
libcoq-hierarchy-builder (libcoq-hierarchy-builder_1.3.0-1_armhf.deb)
SHA1: f43269654f7ba76483497eacbac58782449d0cc0
SHA256: 036947df0a474d6e713034df4fe5159b3ff5b700b10e75629e1d12bbcc609676

Size: 225,904 bytes

Other checksums

Submissions

ywf4qcao
Submitted
Tue, 9 Aug 2022 09:59:42 +0000
Signed by
0x2BBA298F216A5729 ff64a (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=6"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1659195856"