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

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

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Thu, 2 Jun 2022 05:41:40 +0000
Build-Path
/build/coq-hierarchy-builder-zKng1o/coq-hierarchy-builder-1.2.1

First submitted
Thu, 2 Jun 2022 06:13:24 +0000
SHA1 of .buildinfo
fa0b4598bea348197de85f77dc3bca052e475035

Binaries

coq-hierarchy-builder (coq-hierarchy-builder_1.2.1-10_armhf.deb)
SHA1: 4648526940feab6d304d4e2f04b3dfec1743ab9a
SHA256: de42c8baccc48d2131694b489a1056e594dbf4fbbb97c91ee6105f31882d045a

Size: 618,688 bytes
libcoq-hierarchy-builder (libcoq-hierarchy-builder_1.2.1-10_armhf.deb)
SHA1: fd59783a1828590dfffe38c96aff52c0d18d6e64
SHA256: 620a9b218ce9c16385ea7b1eb8f8d58405ce98dccaf55aff902085afeb9968bd

Size: 218,992 bytes

Other checksums

Submissions

wzrgj9f7
Submitted
Thu, 2 Jun 2022 06:13:25 +0000
Signed by
0x3E61B319703E31CD

Environment


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