coq-hierarchy-builder_1.2.1-6_armhf.buildinfo (view)

Source
coq-hierarchy-builder
Version
1.2.1-6
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Wed, 11 May 2022 16:06:26 +0000
Build-Path
/build/coq-hierarchy-builder-Yb5CL0/coq-hierarchy-builder-1.2.1

First submitted
Wed, 11 May 2022 18:13:37 +0000
SHA1 of .buildinfo
d82ed033d3e52f1fd2d348b0d1040a0cba419f15

Binaries

coq-hierarchy-builder (coq-hierarchy-builder_1.2.1-6_armhf.deb)
SHA1: 63eb5cff4fd6722b352037b080f962bf03574f0e
SHA256: 0176128cec023f66ed05a3fedbe16d2932541b7fa99197927182d425cdfce60a

Size: 618,608 bytes
libcoq-hierarchy-builder (libcoq-hierarchy-builder_1.2.1-6_armhf.deb)
SHA1: 000eb1e03075124aa5d5ffba1a7f2a208dd0687b
SHA256: 20999445a37fc820cada508ee90aa45f502fd6c4ef04280ddfb3239a323e49a2

Size: 221,408 bytes

Other checksums

Submissions

gmve3ggx
Submitted
Wed, 11 May 2022 18:13:38 +0000
Signed by
0x4D70C4BC2BF06C8D

Environment


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