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

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

Build-Origin
Debian
Build-Architecture
ppc64el
Build-Date
Sat, 30 Jul 2022 16:23:50 +0000
Build-Path
/build/coq-hierarchy-builder-zkxmiA/coq-hierarchy-builder-1.3.0

First submitted
Sat, 30 Jul 2022 18:18:26 +0000
SHA1 of .buildinfo
32501521b125f5410509ba9aff88ad3f2c3bd6d6

Binaries

coq-hierarchy-builder (coq-hierarchy-builder_1.3.0-1_ppc64el.deb)
SHA1: 9157e7310f26771678a39be4408a084714eb37b8
SHA256: 850af0302a9645a016ba6eb286ab3e3362604d63a36b155d5381bba011ffdd11

Size: 619,012 bytes
libcoq-hierarchy-builder (libcoq-hierarchy-builder_1.3.0-1_ppc64el.deb)
SHA1: d53914be9caaf7fbf5315bfb9854e64e2d15dc22
SHA256: 296aafc171cd86bb7d74f28883f22aa8df8fcda9bc8ba927cab306284a606241

Size: 225,960 bytes

Other checksums

Submissions

urqokzbx
Submitted
Sat, 30 Jul 2022 18:18:27 +0000
Signed by
0x667113CDA6A60D2C

Environment


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