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

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

Build-Origin
Debian
Build-Architecture
ppc64el
Build-Date
Wed, 23 Mar 2022 22:34:04 +0000
Build-Path
/build/coq-hierarchy-builder-gwjeaC/coq-hierarchy-builder-1.2.1

First submitted
Thu, 24 Mar 2022 00:14:45 +0000
SHA1 of .buildinfo
d46a1649b19b1bf1455af1cf58e6b1b290432f27

Binaries

coq-hierarchy-builder (coq-hierarchy-builder_1.2.1-3_ppc64el.deb)
SHA1: 8fba60810c40b21228809d499982db75bb57f05b
SHA256: 999b117a5f0e2ae5b1f8bc63de9c2f99bea8ee5953f50efb766414f28e945cad

Size: 618,508 bytes
libcoq-hierarchy-builder (libcoq-hierarchy-builder_1.2.1-3_ppc64el.deb)
SHA1: 1b511489efce3b5e9daa1cf65c04efa3e0c066ec
SHA256: 8dce7841f5c8e60392de109469402a02ac8e9b6d0c0866018aa0310594f063a0

Size: 221,412 bytes

Other checksums

Submissions

xysvnaqx
Submitted
Thu, 24 Mar 2022 00:14:45 +0000
Signed by
0x4137458F517F7954

Environment


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