coq-hott_8.19-1_armhf.buildinfo (view)

Source
coq-hott
Version
8.19-1
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Sun, 28 Apr 2024 14:20:54 +0000
Build-Path
/build/reproducible-path/coq-hott-8.19

First submitted
Sun, 28 Apr 2024 14:22:42 +0000
SHA1 of .buildinfo
9b5d5189f7049dc459cbfa0bcb39cafc312b439f

Binaries

libcoq-hott (libcoq-hott_8.19-1_armhf.deb)
SHA1: 2d7ce09c1404024cde43395b02e0a6a2f69d9125
SHA256: 41d44026a5485fe52f2854d7cae632a94c7f7dd52b913c530b43e7a70469e814

Size: 14,219,756 bytes

Other checksums

Submissions

exb4xygv
Submitted
Sun, 28 Apr 2024 14:22:43 +0000
Signed by
0xCDD42D70685A0E01

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=4 "
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1711788244"