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
Sun, 2 Oct 2022 22:11:03 +0000
Build-Path
/build/coq-hierarchy-builder-DBMt8m/coq-hierarchy-builder-1.4.0

First submitted
Mon, 3 Oct 2022 00:19:40 +0000
SHA1 of .buildinfo
ac347506a79cfa8d7590e6dc7e88436722243e67

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: 5955f5d8fa8f84cb3bde8775f54635b5347c63f9
SHA256: d7a003dc6fe545e84934b4e271d5b4df0aa2d922659de28ed4ae1858da816907

Size: 238,928 bytes

Other checksums

Submissions

mfq3rdcb
Submitted
Mon, 3 Oct 2022 00:19:41 +0000
Signed by
0x30BF7EF02793E9C6

Environment


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