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

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

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Wed, 13 Apr 2022 13:13:10 +0000
Build-Path
/build/coq-hierarchy-builder-HxbfpY/coq-hierarchy-builder-1.2.1

First submitted
Wed, 13 Apr 2022 18:11:32 +0000
SHA1 of .buildinfo
a53ccaeb0d9f15476e9f3a2c3a950d332e9e1709

Binaries

coq-hierarchy-builder (coq-hierarchy-builder_1.2.1-4_amd64.deb)
SHA1: 8888194ab3cc82d11e81373bd1dce78b826a4edf
SHA256: 5d370b1b0ea150ddb207db8b3d3d76165f9e5f09538c6b7dac11b1a79d7a5197

Size: 618,720 bytes
libcoq-hierarchy-builder (libcoq-hierarchy-builder_1.2.1-4_amd64.deb)
SHA1: 71d1ba7d22b5c5fc0a75ce0fe4fdb68ddc265f04
SHA256: bca8d16d55d932e81e21f5f5ddf209975361fd4f27b2990745ac4ec3a5bf7332

Size: 221,332 bytes

Other checksums

Submissions

rda3mxsd
Submitted
Wed, 13 Apr 2022 18:11:32 +0000
Signed by
0xB46845950145956B

Environment


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