coq-hott_8.18-1_amd64.buildinfo (view)

Source
coq-hott
Version
8.18-1
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Sat, 30 Dec 2023 03:53:09 +0000
Build-Path
/build/reproducible-path/coq-hott-8.18

First submitted
Sat, 30 Dec 2023 04:14:05 +0000
SHA1 of .buildinfo
fbe5d67404483ad901a745f5ff3a448c824d3af0

Binaries

libcoq-hott (libcoq-hott_8.18-1_amd64.deb)
SHA1: 446e20648f00ed5a97af5457c244bf98a3793787
SHA256: e3f37cba085d99171ab5fffaa16bc4ec057cdf69450bd21b5f451de254b9f313

Size: 14,358,936 bytes

Other checksums

Submissions

zzwibswv
Submitted
Sat, 30 Dec 2023 04:14:06 +0000
Signed by
0xBB1FD085171F6E18 profitbricks-build11-amd64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=15 "
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1693569919"