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
Thu, 2 Jun 2022 05:35:59 +0000
Build-Path
/build/coq-hierarchy-builder-iKHfxK/coq-hierarchy-builder-1.2.1

First submitted
Thu, 2 Jun 2022 06:13:15 +0000
SHA1 of .buildinfo
5af196058038549606394ac63b178c8b52ff86fa

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: 9697382a2f4b737ef4af599c4cc21c2e049a56fd
SHA256: 29c3c8b92e6774d77890fa04c4576dcd2d6dd6238acf69dcdab406817fd971fc

Size: 219,068 bytes

Other checksums

Submissions

r7c77dty
Submitted
Thu, 2 Jun 2022 06:13:15 +0000
Signed by
0xCFDA02A307F2AA5B

Environment


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