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, 13 Jun 2023 08:14:12 +0000
Build-Path
/build/coq-hierarchy-builder-A16BPp/coq-hierarchy-builder-1.4.0

First submitted
Tue, 13 Jun 2023 12:10:26 +0000
SHA1 of .buildinfo
bd1f358fb13ad092ac4bd7fe98985c40516dd2e5

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: c5cf0b1ff3c60d5cd3e10d644445aa2974c89d57
SHA256: d604f75c93f867ec3a7a26e3711640d2db779f751dffcaba13038058d70ce95e

Size: 239,876 bytes

Other checksums

Submissions

rzimae3t
Submitted
Tue, 13 Jun 2023 12:10:26 +0000
Signed by
0x2D6971BB329F8955

Environment


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