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
Mon, 4 Mar 2024 02:45:38 +0000
Build-Path
/build/coq-hott-8.16

First submitted
Mon, 30 Jan 2023 20:33:25 +0000
SHA1 of .buildinfo
454817f19e66df292aeb7a5a38f660fc0ad32f5d

Binaries

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

Size: 14,088,564 bytes

Other checksums

Submissions

cuqrq3kv
Submitted
Mon, 30 Jan 2023 20:33:26 +0000
Signed by
0x1BD40F376E003684 profitbricks-build5-amd64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=16"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1674629974"