coq-hierarchy-builder_1.2.1-9_ppc64el.buildinfo (view)

Source
coq-hierarchy-builder
Version
1.2.1-9
Architecture
ppc64el

Build-Origin
Debian
Build-Architecture
ppc64el
Build-Date
Mon, 23 May 2022 15:43:14 +0000
Build-Path
/build/coq-hierarchy-builder-eP7jQl/coq-hierarchy-builder-1.2.1

First submitted
Mon, 23 May 2022 18:18:30 +0000
SHA1 of .buildinfo
95099ac66b85c9289b4afab02c2b9138a31030ef

Binaries

coq-hierarchy-builder (coq-hierarchy-builder_1.2.1-9_ppc64el.deb)
SHA1: 8779742c0ffb4045c14eabb2ebed0f54c27003cb
SHA256: 569c2dd435fbbbfb1cee4ca31b6d6f35e8b13684765ce8f82c505cc024aee9c1

Size: 618,828 bytes
libcoq-hierarchy-builder (libcoq-hierarchy-builder_1.2.1-9_ppc64el.deb)
SHA1: 3c95e773e85ef896f3f0ae321a0beaaacae63fde
SHA256: ddb9a1316a65529855dbb3f79d4a7d847b75c2f1348535d9a1764c963153d05b

Size: 218,900 bytes

Other checksums

Submissions

gfqgzxmz
Submitted
Mon, 23 May 2022 18:18:31 +0000
Signed by
0x4137458F517F7954

Environment


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