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

Source
coq-hott
Version
8.15-4
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Mon, 22 Aug 2022 09:12:23 +0000
Build-Path
/build/coq-hott-koCEvm/coq-hott-8.15

First submitted
Mon, 22 Aug 2022 12:16:41 +0000
SHA1 of .buildinfo
4723042da3de2c51451a9bd4ecd5e3a3f8ffbd38

Binaries

libcoq-hott (libcoq-hott_8.15-4_armhf.deb)
SHA1: 2b66871c2c29b73ed14c8bd2f75894550486f6aa
SHA256: 2d0ff92b5631a454135affb93faf574604467b9af8e6f2bd9059c36245e92541

Size: 13,793,508 bytes

Other checksums

Submissions

kpzg79y7
Submitted
Mon, 22 Aug 2022 12:16:41 +0000
Signed by
0x0ABE2C4BDD75FBE7

Environment


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