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

Source
coq-hott
Version
8.18-1
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Fri, 1 Dec 2023 13:56:52 +0000
Build-Path
/build/reproducible-path/coq-hott-8.18

First submitted
Fri, 1 Dec 2023 13:57:01 +0000
SHA1 of .buildinfo
50c616bb5176b190839e3462da81c6e5cc32f0e5

Binaries

libcoq-hott (libcoq-hott_8.18-1_arm64.deb)
SHA1: b21289bbd1ae1e587254e927ee55b06e87866135
SHA256: 238295e167236539aee5c4b2218be9f1cc725dc8843fe50eb0f84991008f0e03

Size: 14,354,984 bytes

Other checksums

Submissions

u9wibeya
Submitted
Fri, 1 Dec 2023 13:57:02 +0000
Signed by
0xF088F61B03D475A8

Environment


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