coq-hierarchy-builder_1.4.0-4_amd64.buildinfo (view)

Source
coq-hierarchy-builder
Version
1.4.0-4
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Tue, 4 Jul 2023 21:07:49 +0000
Build-Path
/build/coq-hierarchy-builder-vu3DYH/coq-hierarchy-builder-1.4.0

First submitted
Wed, 5 Jul 2023 00:14:57 +0000
SHA1 of .buildinfo
406290b86153777afe63ecc18a34d5776869f796

Binaries

coq-hierarchy-builder (coq-hierarchy-builder_1.4.0-4_amd64.deb)
SHA1: 55e930df57a1ea426c69044df1a43ec39b805b59
SHA256: 5c8e60329716090f72fce2707fc4c9b6f92bdaf3f1282d62b091e61d8c3f8205

Size: 619,228 bytes
libcoq-hierarchy-builder (libcoq-hierarchy-builder_1.4.0-4_amd64.deb)
SHA1: d1429183f9bc4b6f6e5af28796e7cc3852e5ca45
SHA256: aed55a980a936b9b540db4821dede4116f933c8e076521a8b49ff7369c818efb

Size: 239,828 bytes

Other checksums

Submissions

qsmji4aq
Submitted
Wed, 5 Jul 2023 00:14:57 +0000
Signed by
0xA2DB36DFF9287341

Environment


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