coq-hierarchy-builder_1.2.1-10_armhf.buildinfo (view)

Source
coq-hierarchy-builder
Version
1.2.1-10
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Thu, 2 Jun 2022 16:02:05 +0000
Build-Path
/build/1st/coq-hierarchy-builder-1.2.1

First submitted
Thu, 2 Jun 2022 16:11:30 +0000
SHA1 of .buildinfo
2b2482e3fe0e18d9864a8d537d0c2d6194956217

Binaries

coq-hierarchy-builder (coq-hierarchy-builder_1.2.1-10_armhf.deb)
SHA1: 4648526940feab6d304d4e2f04b3dfec1743ab9a
SHA256: de42c8baccc48d2131694b489a1056e594dbf4fbbb97c91ee6105f31882d045a

Size: 618,688 bytes
libcoq-hierarchy-builder (libcoq-hierarchy-builder_1.2.1-10_armhf.deb)
SHA1: 61abe28daddcf017defb03a8b91e6ca4def51225
SHA256: 314bf5e85aade7077e4ebcb49c27f8c7be643cdcdc1f6449bb69b01b0b72a89a

Size: 218,988 bytes

Other checksums

Submissions

merxvpwo
Submitted
Thu, 2 Jun 2022 16:11:31 +0000
Signed by
0xFD20BBE472905784

Environment


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