coq-hierarchy-builder_1.6.0-1_arm64.buildinfo (view)

Source
coq-hierarchy-builder
Version
1.6.0-1
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Fri, 28 Feb 2025 08:43:28 +0000
Build-Path
/build/reproducible-path/coq-hierarchy-builder-1.6.0

First submitted
Sat, 27 Jan 2024 02:20:35 +0000
SHA1 of .buildinfo
7f688b1acb31dbe8dc854a9e783fd6c3398ef7ec

Binaries

coq-hierarchy-builder (coq-hierarchy-builder_1.6.0-1_arm64.deb)
SHA1: 5da782d8f96cfdc2790844ecb0cac7160dc9f7b5
SHA256: 88f25547ef7959f0c6e141263693d0ebf6f06f3be9230d23ff4df1b5645af92b

Size: 662,020 bytes
libcoq-hierarchy-builder (libcoq-hierarchy-builder_1.6.0-1_arm64.deb)
SHA1: 17998695a8251fdc7f3e19d89fe7efa2ec35e3aa
SHA256: 1ba94ba40e219e32f85945ab1152229b435a0962e52fc6b058c968c27c845474

Size: 243,776 bytes

Other checksums

Submissions

ayzgwqbe
Submitted
Sat, 27 Jan 2024 02:20:36 +0000
Signed by
0xB2C8EDB564786B74

Environment


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