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

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

Build-Origin
Debian
Build-Architecture
i386
Build-Date
Thu, 2 Jun 2022 05:34:16 +0000
Build-Path
/build/coq-hierarchy-builder-wGzwMY/coq-hierarchy-builder-1.2.1

First submitted
Thu, 2 Jun 2022 06:13:17 +0000
SHA1 of .buildinfo
3baedf0a4727edc319b2e08d9a4e244ed92b0a1d

Binaries

coq-hierarchy-builder (coq-hierarchy-builder_1.2.1-10_i386.deb)
SHA1: 61c4f46f5f91c5d30983fc8d9c25f6cdcbb463df
SHA256: cbc691c2003102e3a50ecd0b19f094012a7bb9a701b597bb55e014c75c85b163

Size: 618,688 bytes
libcoq-hierarchy-builder (libcoq-hierarchy-builder_1.2.1-10_i386.deb)
SHA1: 809eef14bcc5c6c3d058047cd9e8ec3c830dd418
SHA256: 061df4453e5f713ebb4d823d7c28ead56b310e36b324651a063d9bd508f92a88

Size: 218,988 bytes

Other checksums

Submissions

kz444noj
Submitted
Thu, 2 Jun 2022 06:13:18 +0000
Signed by
0x4AA75D2F1C39AECA

Environment


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