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

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

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

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

Binaries

coq-hierarchy-builder (coq-hierarchy-builder_1.2.1-10_amd64.deb)
SHA1: fcedfab5118dc6be77797dfedb94041e5558defd
SHA256: fa418ac7f5c756f6ed01b3ca6d61faa8964527632aa6c1dffa5262e65a48b635

Size: 618,684 bytes
libcoq-hierarchy-builder (libcoq-hierarchy-builder_1.2.1-10_amd64.deb)
SHA1: 1f91d017d8225ab58d748fbb3db1f9f75df6a12b
SHA256: 82c2d93fd8e546ba70efd996fe9ba2c995bc89b77de9c94a8f4fe241e1ace040

Size: 219,040 bytes

Other checksums

Submissions

dcpxpfkk
Submitted
Thu, 2 Jun 2022 06:13:13 +0000
Signed by
0xA97F8929F6604F6E

Environment


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