coq-hott_8.16-2_amd64.buildinfo (view)

Source
coq-hott
Version
8.16-2
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Wed, 25 Jan 2023 08:08:20 +0000
Build-Path
/build/coq-hott-iZwHOa/coq-hott-8.16

First submitted
Wed, 25 Jan 2023 12:12:09 +0000
SHA1 of .buildinfo
0fb119d6718dc7b3ef5d5e73740c128366e1c422

Binaries

libcoq-hott (libcoq-hott_8.16-2_amd64.deb)
SHA1: b69d89fcc027dc92a735b4ee0128f21b07a78aaa
SHA256: 30c90dabd6e8773301b4941c6d72fcdf18e2241e5d65a1226b6d541cc7a5ca96

Size: 14,088,564 bytes

Other checksums

Submissions

wdkbyvaq
Submitted
Wed, 25 Jan 2023 12:12:10 +0000
Signed by
0xA57296EC987C3292

Environment


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