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:27:10 +0000
Build-Path
/build/1st/coq-hierarchy-builder-1.3.0

First submitted
Sat, 30 Jul 2022 22:41:29 +0000
SHA1 of .buildinfo
7a218e90b48ee3544232c1c234925ad7cca3ea0c

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: 3513cc932e53c8dbc36e598cc8db5e1d3f299f4f
SHA256: aaac4e8a51cd9a2fb4a69bdee4f982b5fabd658b658f7604ca9dd4532e05f71b

Size: 225,960 bytes

Other checksums

Submissions

smwr47zg
Submitted
Sat, 30 Jul 2022 22:41:29 +0000
Signed by
0x2EB7D8A099C83DD8

Environment


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