coq-hott (8.16-1)_8.16-1+b3_armhf.buildinfo (view)

Source
coq-hott (8.16-1)
Version
8.16-1+b3
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Tue, 24 Jan 2023 01:06:47 +0000
Build-Path
/build/coq-hott-51TXWn/coq-hott-8.16

First submitted
Tue, 24 Jan 2023 06:17:27 +0000
SHA1 of .buildinfo
12dd83ed803f12b94eb0a1f5247a194a810bc5ed

Binaries

libcoq-hott (libcoq-hott_8.16-1+b3_armhf.deb)
SHA1: 7aea847ea49735e780fe621bf43b31b50012f76a
SHA256: a88d87f16af6a16db9830996b87f9355822081d5fa2e511015dbe6e88327e50c

Size: 14,087,008 bytes

Other checksums

Submissions

xbdcquvt
Submitted
Tue, 24 Jan 2023 06:17:27 +0000
Signed by
0x0ABE2C4BDD75FBE7

Environment


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