coq-hott_8.15-2_arm64.buildinfo (view)

Source
coq-hott
Version
8.15-2
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Mon, 11 Jul 2022 21:13:38 +0000
Build-Path
/build/coq-hott-8.15

First submitted
Mon, 11 Jul 2022 21:23:07 +0000
SHA1 of .buildinfo
0a4694db70c8b28875c08d23d450eec060a929de

Binaries

libcoq-hott (libcoq-hott_8.15-2_arm64.deb)
SHA1: 52afcab8df2ad6fc4ea841ac0d84d7a4d6f075a8
SHA256: b14d621cac344e74efba9ffe17d35c92cdcef3f3295a84ce119ff5dcda0c0d54

Size: 13,810,520 bytes

Other checksums

Submissions

nbkwdrsp
Submitted
Mon, 11 Jul 2022 21:23:07 +0000
Signed by
0x9AF2973C993317DB codethink-sled16-arm64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=8"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1657231997"