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

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

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Mon, 23 May 2022 15:10:16 +0000
Build-Path
/build/coq-hierarchy-builder-PYMH22/coq-hierarchy-builder-1.2.1

First submitted
Mon, 23 May 2022 18:17:10 +0000
SHA1 of .buildinfo
769693901d47a7c6c0b7248a2c6273f8731365e6

Binaries

coq-hierarchy-builder (coq-hierarchy-builder_1.2.1-9_arm64.deb)
SHA1: f37602b0fbdd1d4c6a6cc62eecb55b3e265ad42e
SHA256: 9070f29658bf5e8585047c687baf3b02b8d4e1539f69c360600267ff19463f2e

Size: 618,828 bytes
libcoq-hierarchy-builder (libcoq-hierarchy-builder_1.2.1-9_arm64.deb)
SHA1: 2d76c22426ec23d164ac5fa8a1a988e77a3aad12
SHA256: ecede2adca984710f6ee6b931ae90af6796de11543d8e7efe0ec1aeffb12eebb

Size: 218,952 bytes

Other checksums

Submissions

9eyp9qjz
Submitted
Mon, 23 May 2022 18:17:10 +0000
Signed by
0x15B0D8D0DA4BE456

Environment


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