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

Source
coq-hott
Version
8.15-3
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Sun, 20 Aug 2023 14:52:32 +0000
Build-Path
/build/coq-hott-8.15

First submitted
Mon, 18 Jul 2022 08:41:07 +0000
SHA1 of .buildinfo
a7e55eb2c34695e1b2eb1df10d8bc6c0d5b94aac

Binaries

libcoq-hott (libcoq-hott_8.15-3_arm64.deb)
SHA1: e804c22cf583d8a52586b18b7a228b2f32fa4059
SHA256: c235280dfc0edcd0a6b8d7d719473a43900dc077d2c6c58aa1e7d37e26a1cb64

Size: 13,815,144 bytes

Other checksums

Submissions

ubxga3yj
Submitted
Mon, 18 Jul 2022 08:41:08 +0000
Signed by
0xF8139FC1C7D1A40B codethink-sled9-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="1657967497"