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

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

Build-Origin
Debian
Build-Architecture
ppc64el
Build-Date
Sun, 2 Oct 2022 21:53:25 +0000
Build-Path
/build/coq-hierarchy-builder-WVUCop/coq-hierarchy-builder-1.4.0

First submitted
Mon, 3 Oct 2022 00:19:53 +0000
SHA1 of .buildinfo
670d4fde9921d6a118e92e3bd4249495e0adec19

Binaries

coq-hierarchy-builder (coq-hierarchy-builder_1.4.0-1_ppc64el.deb)
SHA1: 699b6efaa2f34cd4f203ad77cb1b397f16294a1c
SHA256: 2c062334d53d1c1e2d4b4d3866a59af6a97c1b3dfecea87065c6713b3d1067c9

Size: 619,100 bytes
libcoq-hierarchy-builder (libcoq-hierarchy-builder_1.4.0-1_ppc64el.deb)
SHA1: c74067729297c6ef2e09f4f2b66d00370ab8f5df
SHA256: 0b5fec06b1cba3762f94177d3c13ebdb3c52ab81a270c1ee61ba536afdb5e936

Size: 238,900 bytes

Other checksums

Submissions

uemx4jzr
Submitted
Mon, 3 Oct 2022 00:19:53 +0000
Signed by
0x0823125B9FD67002

Environment


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