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

Source
coq-hott
Version
8.17-1
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Sat, 24 Jun 2023 20:18:31 +0000
Build-Path
/build/coq-hott-8.17

First submitted
Sat, 24 Jun 2023 20:33:47 +0000
SHA1 of .buildinfo
1f8ec0f37951345edc506d2fb385edcf4369c710

Binaries

libcoq-hott (libcoq-hott_8.17-1_amd64.deb)
SHA1: 773d7ade21597dfa9941bcbc33082d018df7fb05
SHA256: 10766bd573585fe72d567ecd795052ed65fc3f420a50f7ad92c08f9079eca42a

Size: 14,430,460 bytes

Other checksums

Submissions

yrb3dixe
Submitted
Sat, 24 Jun 2023 20:33:48 +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="1686591039"