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

Source
coq-hierarchy-builder
Version
1.2.1-2
Architecture
amd64 source

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Sun, 13 Feb 2022 12:31:09 +0000
Build-Path
—

First submitted
Mon, 14 Feb 2022 00:13:25 +0000
SHA1 of .buildinfo
071640a2c3abbfd13ff3baf306728b1bbc0a545e

Binaries

coq-hierarchy-builder (coq-hierarchy-builder_1.2.1-2_amd64.deb)
SHA1: 1dbf104d360714354adc7090da2f21b45ffd9b8e
SHA256: e50ff70f2f05854794297528267ff7d061db3b321927fc9c70537427b6eb6cbc

Size: 618,276 bytes
libcoq-hierarchy-builder (libcoq-hierarchy-builder_1.2.1-2_amd64.deb)
SHA1: ca789edfc1344549e1813755fbd393a8597de425
SHA256: 806d0702b1109d126834db1c9698cba371c71f497bd8a1ac84ae2257497dda71

Size: 221,352 bytes

Other checksums

coq-hierarchy-builder_1.2.1-2.dsc
SHA1: 6a4edbe04ce4ca5ed08e0af55a60e49b091593b3
Size: 2,227 bytes

Submissions

fwkpmvry
Submitted
Mon, 14 Feb 2022 00:13:25 +0000
Signed by
0x04C53BD7FE030551 Julien Puydt <jpuydt@debian.org>

Environment


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