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, 26 Jul 2023 08:09:16 +0000
Build-Path
/build/reproducible-path/coq-hierarchy-builder-1.4.0

First submitted
Wed, 26 Jul 2023 12:12:45 +0000
SHA1 of .buildinfo
8c1428f5828ced94fada9f509dab10c0b15f36d9

Binaries

coq-hierarchy-builder (coq-hierarchy-builder_1.4.0-6_arm64.deb)
SHA1: f75f510b2675220532dce21d9792dd0c24045155
SHA256: aec43b87bcd5b948b313dbc843b2f62966d591d7c6b743a9ccc16636af4a6a36

Size: 619,316 bytes
libcoq-hierarchy-builder (libcoq-hierarchy-builder_1.4.0-6_arm64.deb)
SHA1: 53b00ba06fc4bc9ac1295b8d9880029512eeb6b2
SHA256: 1b56865b0dda32db11c98615a5337971c37f9868648feb701d944aa8fa9464d0

Size: 242,552 bytes

Other checksums

Submissions

dgfoxvra
Submitted
Wed, 26 Jul 2023 12:12:47 +0000
Signed by
0xC807690CBF7C490E

Environment


DEB_BUILD_OPTIONS="parallel=4"
LC_ALL="C.UTF-8"
LC_COLLATE="C.UTF-8"
SOURCE_DATE_EPOCH="1690355558"