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

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

Build-Origin
Debian
Build-Architecture
ppc64el
Build-Date
Thu, 2 Jun 2022 05:35:28 +0000
Build-Path
/build/coq-hierarchy-builder-d74Uxf/coq-hierarchy-builder-1.2.1

First submitted
Thu, 2 Jun 2022 06:13:20 +0000
SHA1 of .buildinfo
72381678f880ebe3cf8883124c85da8ec8fa41cc

Binaries

coq-hierarchy-builder (coq-hierarchy-builder_1.2.1-10_ppc64el.deb)
SHA1: 7a1949a446941d682339117417b6c16f526e26a5
SHA256: 709ab17433d798186d0e87afa5d532fff395468c5a8213cac8cd38fc3761e8ef

Size: 618,692 bytes
libcoq-hierarchy-builder (libcoq-hierarchy-builder_1.2.1-10_ppc64el.deb)
SHA1: 88dfe467fe4598b913d9fe9e3ca29516e98bb0b5
SHA256: bad5de7add56b8d7be9366132228cc4b480ff1bb1f0797a371f56379ed2050c9

Size: 218,928 bytes

Other checksums

Submissions

dwpixcdj
Submitted
Thu, 2 Jun 2022 06:13:20 +0000
Signed by
0x434BE1F07F07C6FC

Environment


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