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

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

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Wed, 5 Jul 2023 21:15:49 +0000
Build-Path
/build/1st/coq-hierarchy-builder-1.2.1

First submitted
Thu, 2 Jun 2022 15:01:21 +0000
SHA1 of .buildinfo
04b4936f1391603e9310ee453112cdf9abc363a4

Binaries

coq-hierarchy-builder (coq-hierarchy-builder_1.2.1-10_arm64.deb)
SHA1: 944ca064baf38b6cdf5cb813acaaa0156d9ffea0
SHA256: e2ea663e7707cd09a8b0fddf01387615acd0f8decc1fc27df5f1c067e51092a5

Size: 618,688 bytes
libcoq-hierarchy-builder (libcoq-hierarchy-builder_1.2.1-10_arm64.deb)
SHA1: 6b72d2de9688357b2e75f4f7dcd0b5cd0e9b8e4e
SHA256: f720f4b7cd995c6bd64474d2c71af8bdfcd915d1ca5f9ee49dedc912bbb8c25e

Size: 219,048 bytes

Other checksums

Submissions

p7bdpvrv
Submitted
Thu, 2 Jun 2022 15:01:21 +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="1654146135"