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

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

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Tue, 30 Jul 2024 19:37:14 +0000
Build-Path
/build/2/coq-hierarchy-builder-1.4.0/2nd

First submitted
Wed, 28 Jun 2023 13:14:28 +0000
SHA1 of .buildinfo
d499e26591458c9dad5597119845a4b6b41743f1

Binaries

coq-hierarchy-builder (coq-hierarchy-builder_1.4.0-3_amd64.deb)
SHA1: 811b3c1e26310ba6a42f56336513c9dc85dd99e7
SHA256: eb45f8e2c0991a71dded6df763ab83dca04ca8390b5bf18c7ade88c2e5cc43fd

Size: 619,268 bytes
libcoq-hierarchy-builder (libcoq-hierarchy-builder_1.4.0-3_amd64.deb)
SHA1: d6b62f93781b151c0861305d7d3e53bf1cf5605e
SHA256: f5d5a4a16d27760824cb10d5d17b72208148f3dd28524c68e825bdd4a3ba5fec

Size: 239,900 bytes

Other checksums

Submissions

o4gvdoud
Submitted
Wed, 28 Jun 2023 13:14:29 +0000
Signed by
0x1BD40F376E003684 profitbricks-build5-amd64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=16 "
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1686632767"