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

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

Build-Origin
Debian
Build-Architecture
ppc64el
Build-Date
Thu, 6 Jul 2023 00:35:16 +0000
Build-Path
/build/coq-hierarchy-builder-CSJysh/coq-hierarchy-builder-1.4.0

First submitted
Thu, 6 Jul 2023 06:12:13 +0000
SHA1 of .buildinfo
4321d5c0a145b74a775e5c22495d8d841348c62f

Binaries

coq-hierarchy-builder (coq-hierarchy-builder_1.4.0-5_ppc64el.deb)
SHA1: 81edcd7045eb3f3c309b0c2234a6bc94328a5a51
SHA256: 496a02a17a96dfd82e03179f5db65c115e15c273664eb3896d68f443d9c73eed

Size: 619,368 bytes
libcoq-hierarchy-builder (libcoq-hierarchy-builder_1.4.0-5_ppc64el.deb)
SHA1: e73971a5cf32128a8c8464f343cbea17d48359a8
SHA256: 6d9c99c4111a6b798deeb3beea03060dc906023318f018959d5b722ede96af39

Size: 239,916 bytes

Other checksums

Submissions

dv9h3mtr
Submitted
Thu, 6 Jul 2023 06:12:13 +0000
Signed by
0x63B0DD138B1667F5

Environment


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