coq-hott_8.15-3_armhf.buildinfo (view)

Source
coq-hott
Version
8.15-3
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Sun, 17 Jul 2022 05:54:56 +0000
Build-Path
/build/2/coq-hott-8.15/2nd

First submitted
Sun, 17 Jul 2022 05:55:53 +0000
SHA1 of .buildinfo
b5e6395118b658621e60a7f3a28bf43ca423750c

Binaries

libcoq-hott (libcoq-hott_8.15-3_armhf.deb)
SHA1: 878bb95209ebcaa3fb7b9046a0004df8062920ae
SHA256: e5b5f17050be5e26bdcebfdc4805badd12e1ded6568691807ca9f02b6ef0b9c7

Size: 13,797,520 bytes

Other checksums

Submissions

hpusap94
Submitted
Sun, 17 Jul 2022 05:55:54 +0000
Signed by
0xFD20BBE472905784

Environment


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