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
Wed, 28 Jun 2023 13:08:07 +0000
Build-Path
/build/1st/coq-hierarchy-builder-1.4.0

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

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: 286b5b8f8722d707669686ab0b15c4932ce1ebbb
SHA256: c7f8a936d232e3fa158e4223725b6c0d5dc613bc8f146d21f765f0ce5dc7dafa

Size: 239,848 bytes

Other checksums

Submissions

payko73b
Submitted
Wed, 28 Jun 2023 13:14:28 +0000
Signed by
0x5FA3DA39796FBACF profitbricks-build1-amd64 (Automatically generated key for signing .buildinfo files)

Environment


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