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
Sat, 30 Jul 2022 22:35:03 +0000
Build-Path
/build/2/coq-hierarchy-builder-1.3.0/2nd

First submitted
Sat, 30 Jul 2022 22:41:48 +0000
SHA1 of .buildinfo
58d532c718682480db31cb8d25b3c6f814c6cb86

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: 6f347d3b9dad0c3ac34ea6324474ba322e38eea5
SHA256: bf3979b50ccecaf7b6a7825f39166cbd3c7b34b15ce0627b8c2c91f87bb37b7a

Size: 225,980 bytes

Other checksums

Submissions

tizsxc3v
Submitted
Sat, 30 Jul 2022 22:41:49 +0000
Signed by
0x28F5F5D5FEE63ABA

Environment


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