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

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

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Mon, 3 Oct 2022 10:14:59 +0000
Build-Path
/build/1st/coq-hierarchy-builder-1.4.0

First submitted
Mon, 3 Oct 2022 10:21:48 +0000
SHA1 of .buildinfo
423ed1366040e669594fe93b03f1b36912f40a2c

Binaries

coq-hierarchy-builder (coq-hierarchy-builder_1.4.0-1_arm64.deb)
SHA1: 9a01f3b1f8c1711b46904653eff690e4760ec265
SHA256: a2570d179c321b547c9382810551085c75ca65e5a961d301a0930e7a82f934ed

Size: 619,100 bytes
libcoq-hierarchy-builder (libcoq-hierarchy-builder_1.4.0-1_arm64.deb)
SHA1: b9d256f65ebb79d1882b6f47f6d77e969c11a94a
SHA256: 2926693bce761d28e457e8eaab6e8d0bc8cb3c6e26235e71b2ff8c9678546f1b

Size: 238,820 bytes

Other checksums

Submissions

oedu4iit
Submitted
Mon, 3 Oct 2022 10:21:49 +0000
Signed by
0xFDD087C6FCA6B1BE codethink-sled10-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="1664655053"