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

Source
coq-hott
Version
8.16-1
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Sat, 26 Nov 2022 12:56:15 +0000
Build-Path
/build/coq-hott-8.16

First submitted
Sat, 26 Nov 2022 12:56:24 +0000
SHA1 of .buildinfo
e1f946a11f6ccdebe0c7c1957164ed5b4493d992

Binaries

libcoq-hott (libcoq-hott_8.16-1_amd64.deb)
SHA1: 68aa76176a4392ee0064a01c1a6762c8faec703e
SHA256: faede7fa0abda65ad0284ae280ca27794a37f82330992d12cb5bc131d3469e4e

Size: 14,106,544 bytes

Other checksums

Submissions

pjbwyruo
Submitted
Sat, 26 Nov 2022 12:56:24 +0000
Signed by
0x5FA3DA39796FBACF profitbricks-build1-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="1661170395"