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

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

Build-Origin
Debian
Build-Architecture
ppc64el
Build-Date
Wed, 26 Jul 2023 08:07:05 +0000
Build-Path
/build/reproducible-path/coq-hierarchy-builder-1.4.0

First submitted
Wed, 26 Jul 2023 12:12:49 +0000
SHA1 of .buildinfo
6f6cf72bfacc81251793176a3d95bf84d80cbdca

Binaries

coq-hierarchy-builder (coq-hierarchy-builder_1.4.0-6_ppc64el.deb)
SHA1: aefeb327dec3c3bcc63f36bfc06834b6f7e5c7f1
SHA256: 612c1f23b004377f0fd1994cf5412451878538d70638ad7c43b3c2e12a231a30

Size: 619,320 bytes
libcoq-hierarchy-builder (libcoq-hierarchy-builder_1.4.0-6_ppc64el.deb)
SHA1: 02767b82f6bef0cfd7bcaafa604619f74b506015
SHA256: b94d6415483fe76abc33eb8db47fb51149a89b3b05a098518626e7358911ca30

Size: 242,508 bytes

Other checksums

Submissions

w94y3fvz
Submitted
Wed, 26 Jul 2023 12:12:49 +0000
Signed by
0xC96F0409A8F66F2A

Environment


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