coq-hierarchy-builder_1.4.0-6_arm64.buildinfo (view)

Source
coq-hierarchy-builder
Version
1.4.0-6
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Wed, 22 Jan 2025 06:36:55 +0000
Build-Path
/build/reproducible-path/coq-hierarchy-builder-1.4.0

First submitted
Thu, 21 Dec 2023 00:14:03 +0000
SHA1 of .buildinfo
b1bcc078842bb5c96880c9bc265c91af4dcf82a9

Binaries

coq-hierarchy-builder (coq-hierarchy-builder_1.4.0-6_arm64.deb)
SHA1: b00396fb5551723ca7085de57aa27dc8acf14857
SHA256: d67ef464bd28f7c0284784bfeeac0b9f0b6bb9eb8d33f7b0d03532d74bf1016f

Size: 661,564 bytes
libcoq-hierarchy-builder (libcoq-hierarchy-builder_1.4.0-6_arm64.deb)
SHA1: 403e643f56679b62013481d13ed5ae1a1435be90
SHA256: 7475f089e556db13028a4f11c610544a56df99c54584bc1a652ffe2c9ee11ac2

Size: 242,532 bytes

Other checksums

Submissions

3e3owrku
Submitted
Thu, 21 Dec 2023 00:14:04 +0000
Signed by
0xB2C8EDB564786B74

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=12 "
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1690355558"