coq-hierarchy-builder_1.4.0-2_ppc64el.buildinfo (view)

Source
coq-hierarchy-builder
Version
1.4.0-2
Architecture
ppc64el

Build-Origin
Debian
Build-Architecture
ppc64el
Build-Date
Thu, 27 Oct 2022 00:17:21 +0000
Build-Path
/build/coq-hierarchy-builder-A36q2a/coq-hierarchy-builder-1.4.0

First submitted
Thu, 27 Oct 2022 06:10:53 +0000
SHA1 of .buildinfo
9b5b25dc03563d7cceebc3766c2f9bac6a693441

Binaries

coq-hierarchy-builder (coq-hierarchy-builder_1.4.0-2_ppc64el.deb)
SHA1: bdcc39f78ce32186caee222ad22918293f935313
SHA256: e64aa8c8817fe9c8cb80f15f490d9d7e02bf0de28b465930b62b220cf653a2a9

Size: 619,192 bytes
libcoq-hierarchy-builder (libcoq-hierarchy-builder_1.4.0-2_ppc64el.deb)
SHA1: 3420650a36ae20dfd8877e23570f8c0298e25596
SHA256: be61a4c699ccdf58a4e802d077b80711acfe2cb01a5785be751d1307170e681c

Size: 238,852 bytes

Other checksums

Submissions

dugyidwd
Submitted
Thu, 27 Oct 2022 06:10:53 +0000
Signed by
0x667113CDA6A60D2C

Environment


DEB_BUILD_OPTIONS="parallel=4"
LC_ALL="C.UTF-8"
LC_COLLATE="C.UTF-8"
SOURCE_DATE_EPOCH="1666767260"