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
Tue, 23 Aug 2022 02:38:04 +0000
Build-Path
/build/2/coq-hott-8.15/2nd

First submitted
Tue, 23 Aug 2022 02:39:13 +0000
SHA1 of .buildinfo
4de984572a351d0f9f9dae788466db7870a9d403

Binaries

libcoq-hott (libcoq-hott_8.15-4_armhf.deb)
SHA1: 95a49535dcab1e7553a34452bfd46cdab80ecdf6
SHA256: c8f378f7e3fad2196de12ea80eef5fdb3289c5e8442a9451928856c8899360b5

Size: 13,793,508 bytes

Other checksums

Submissions

jg3edvvc
Submitted
Tue, 23 Aug 2022 02:39:14 +0000
Signed by
0x28F5F5D5FEE63ABA

Environment


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