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

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

Build-Origin
Debian
Build-Architecture
ppc64el
Build-Date
Mon, 13 Jun 2022 05:46:13 +0000
Build-Path
/build/coq-hierarchy-builder-TZowis/coq-hierarchy-builder-1.2.1

First submitted
Mon, 13 Jun 2022 06:12:38 +0000
SHA1 of .buildinfo
070314bdd093389b3667bdd5bca9f7ce8655508f

Binaries

coq-hierarchy-builder (coq-hierarchy-builder_1.2.1-11_ppc64el.deb)
SHA1: 12c4706f344a29a25d7b95ce64b95f7a631a6ef1
SHA256: 9f27d5da7f0007d31976066d702982ac05ce40e6567fc16faaa2c8aacb41ed37

Size: 619,008 bytes
libcoq-hierarchy-builder (libcoq-hierarchy-builder_1.2.1-11_ppc64el.deb)
SHA1: d4f8fe395dd72630ed78bc92f8d0122bf8833857
SHA256: a77489a0e0c412f8d0c42f708d866dd027239d55b5bde20d19ffe0b0d8ecd32b

Size: 219,240 bytes

Other checksums

Submissions

4c7rjmpd
Submitted
Mon, 13 Jun 2022 06:12:39 +0000
Signed by
0x4137458F517F7954

Environment


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