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

Source
coq-hierarchy-builder
Version
1.7.0-1
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Mon, 29 Apr 2024 00:15:10 +0000
Build-Path
/build/reproducible-path/coq-hierarchy-builder-1.7.0

First submitted
Mon, 29 Apr 2024 00:17:50 +0000
SHA1 of .buildinfo
6db199254cd4331460030425621906f6f699f444

Binaries

libcoq-hierarchy-builder (libcoq-hierarchy-builder_1.7.0-1_amd64.deb)
SHA1: 2f374f91035913d63dae31d43571afd7c8f9ac1b
SHA256: 3af54df7f45dfc8e6eaafecfcffca573b995d7e5b7245e6da982fbc4c378a5e9

Size: 264,016 bytes

Other checksums

Submissions

axy9mdho
Submitted
Mon, 29 Apr 2024 00:17:50 +0000
Signed by
0x5E6515A71A831546

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=12 "
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1706160819"