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
Sat, 16 Jul 2022 11:06:15 +0000
Build-Path
/build/coq-hott-Woa4vy/coq-hott-8.15

First submitted
Sat, 16 Jul 2022 12:13:22 +0000
SHA1 of .buildinfo
f77c6f3c6675261a9a335431cbbc19fbce964213

Binaries

libcoq-hott (libcoq-hott_8.15-3_armhf.deb)
SHA1: 13dca2f371847ffb954a76b1a22c5aaf13dd35f7
SHA256: 3f1626c46dc6a20f506b80a1ae555b7c49ec7dbcf4c9b4af1da2128ce795253a

Size: 13,797,520 bytes

Other checksums

Submissions

9ottqmzc
Submitted
Sat, 16 Jul 2022 12:13:22 +0000
Signed by
0x1F4A3365A46051A0

Environment


DEB_BUILD_OPTIONS="parallel=4"
LC_ALL="C.UTF-8"
LC_COLLATE="C.UTF-8"
SOURCE_DATE_EPOCH="1657967497"