coq-hierarchy-builder_1.3.0-2_amd64.buildinfo (view)

Source
coq-hierarchy-builder
Version
1.3.0-2
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Tue, 6 Sep 2022 12:09:31 +0000
Build-Path
/build/coq-hierarchy-builder-AyOCKl/coq-hierarchy-builder-1.3.0

First submitted
Tue, 6 Sep 2022 18:11:28 +0000
SHA1 of .buildinfo
2cc03a86d6dc912c0bf9c84dc6572c945e827cd1

Binaries

coq-hierarchy-builder (coq-hierarchy-builder_1.3.0-2_amd64.deb)
SHA1: 9f97e0f5369de38d3b7caf71c931d8094add5f96
SHA256: da2cde5d6943f4735edd8c283ca5f95992ca949c9e4662f1b0cbbe99d99ef59c

Size: 618,940 bytes
libcoq-hierarchy-builder (libcoq-hierarchy-builder_1.3.0-2_amd64.deb)
SHA1: 82aa0381fa8181d08eeaef26b6298ac7056c0005
SHA256: 3f62596a52924fd842bd1d44f550d3cb401f0b5503046d46ebd3a6a0b28d5ed4

Size: 231,108 bytes

Other checksums

Submissions

xoxp4ati
Submitted
Tue, 6 Sep 2022 18:11:28 +0000
Signed by
0xA57296EC987C3292

Environment


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