coq-hierarchy-builder_1.2.0-1_amd64.buildinfo (view)

Source
coq-hierarchy-builder
Version
1.2.0-1
Architecture
amd64 source

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Fri, 3 Dec 2021 08:09:45 +0000
Build-Path
—

First submitted
Sat, 18 Dec 2021 00:11:07 +0000
SHA1 of .buildinfo
d7af15244bc99f4365f2ab4fa01652b56046e3b1

Binaries

coq-hierarchy-builder (coq-hierarchy-builder_1.2.0-1_amd64.deb)
SHA1: 763a0928deee8987b4390d30f6c46c3b6450991e
SHA256: 4fa97c81e95d5eb2c7076b3b32e97fd4c101b3938f5e2a75b6fa917f6a0e5554

Size: 601,564 bytes
libhierarchy-builder-coq (libhierarchy-builder-coq_1.2.0-1_amd64.deb)
SHA1: bd2cf94ba9ac444f78e5e0f165e2392af07b6607
SHA256: 04bcae4e04477a2f8467a60a7355f80ac48b163cf0a9db50a69e49ee26353ed6

Size: 214,240 bytes

Other checksums

coq-hierarchy-builder_1.2.0-1.dsc
SHA1: ea41060debf1c20cf221cc4063bdbedad1030c41
Size: 2,196 bytes

Submissions

3v9bzmbu
Submitted
Sat, 18 Dec 2021 00:11:07 +0000
Signed by
0x04C53BD7FE030551 Julien Puydt <jpuydt@debian.org>

Environment


DEB_BUILD_OPTIONS="parallel=12"
LANG="fr_FR.UTF-8"
SOURCE_DATE_EPOCH="1638518246"