coq-hierarchy-builder_1.4.0-1_armhf.buildinfo (view)

Source
coq-hierarchy-builder
Version
1.4.0-1
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Mon, 3 Oct 2022 00:34:35 +0000
Build-Path
/build/coq-hierarchy-builder-GbMgv9/coq-hierarchy-builder-1.4.0

First submitted
Mon, 3 Oct 2022 06:13:18 +0000
SHA1 of .buildinfo
f4dd33e97d37de5112025caa22e21ceedff82cad

Binaries

coq-hierarchy-builder (coq-hierarchy-builder_1.4.0-1_armhf.deb)
SHA1: b6c6b2e036aa31faace05f0c3d04abbc15ec2d41
SHA256: 389d4425e98e10b839dbcaceed17dcecd3c2c306619ef2a9eb829acd98da0119

Size: 619,100 bytes
libcoq-hierarchy-builder (libcoq-hierarchy-builder_1.4.0-1_armhf.deb)
SHA1: 03fdda1267a056dd544cc61a59e90b696be08e5d
SHA256: 50dc452ef48b2774ab22d42b81c5e5a7274b3980962b08c0578bfde92ff90090

Size: 238,860 bytes

Other checksums

Submissions

gbcrinif
Submitted
Mon, 3 Oct 2022 06:13:18 +0000
Signed by
0x3BC98CB7EDBFB8B7

Environment


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