coq-hott (8.17-1)_8.17-1+b2_arm64.buildinfo (view)

Source
coq-hott (8.17-1)
Version
8.17-1+b2
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Sun, 23 Jul 2023 05:05:19 +0000
Build-Path
/build/reproducible-path/coq-hott-8.17

First submitted
Sun, 23 Jul 2023 06:14:19 +0000
SHA1 of .buildinfo
b3151e325db28a340f1a445a7854514c3bf8416b

Binaries

libcoq-hott (libcoq-hott_8.17-1+b2_arm64.deb)
SHA1: a200b25dd7815b05d477e1cd38b0316518f42ee6
SHA256: f36b7bb9730216eb686750650d098f58eab2ce4fe2e0c12554aeb7c05bf406ad

Size: 14,442,884 bytes

Other checksums

Submissions

oa4ofxup
Submitted
Sun, 23 Jul 2023 06:14:19 +0000
Signed by
0xC807690CBF7C490E

Environment


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