coq-hierarchy-builder_1.2.1-11_arm64.buildinfo (view)

Source
coq-hierarchy-builder
Version
1.2.1-11
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Sun, 16 Jul 2023 18:22:49 +0000
Build-Path
/build/2/coq-hierarchy-builder-1.2.1/2nd

First submitted
Mon, 13 Jun 2022 12:00:05 +0000
SHA1 of .buildinfo
423e6f99194b760c9f18076879b319798b2762f7

Binaries

coq-hierarchy-builder (coq-hierarchy-builder_1.2.1-11_arm64.deb)
SHA1: d3e70d8c190176241dad1d56a63875eef64ba45a
SHA256: 98d49b9147a0c6c489ff2f9573b7daf124d5047d0e7e45801573a800698221af

Size: 619,008 bytes
libcoq-hierarchy-builder (libcoq-hierarchy-builder_1.2.1-11_arm64.deb)
SHA1: 47c5c2beb146fc977840398e3f1405c802efe0c2
SHA256: 134317a54f07cd4805a9d5836a837c9ea74803866eb5db2040817e2a89b2f5ea

Size: 219,112 bytes

Other checksums

Submissions

sjocpkai
Submitted
Mon, 13 Jun 2022 12:00:05 +0000
Signed by
0xB42DAAC6B200534A codethink-sled11-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="1655035411"