coq-hierarchy-builder_1.4.0-3_i386.buildinfo (view)

Source
coq-hierarchy-builder
Version
1.4.0-3
Architecture
i386

Build-Origin
Debian
Build-Architecture
i386
Build-Date
Tue, 13 Jun 2023 07:29:46 +0000
Build-Path
/build/coq-hierarchy-builder-dQUolB/coq-hierarchy-builder-1.4.0

First submitted
Tue, 13 Jun 2023 12:10:43 +0000
SHA1 of .buildinfo
0000490d96c4cdee61cc6938bc63ffc3344b9352

Binaries

coq-hierarchy-builder (coq-hierarchy-builder_1.4.0-3_i386.deb)
SHA1: 3813d306fd2a1ebd06d5620a0639a9dca0939555
SHA256: 0d4f4dffb0e10ab0afbcb30183aeb2a0f697e52ee8eb5569ecf3f56b33613a04

Size: 619,268 bytes
libcoq-hierarchy-builder (libcoq-hierarchy-builder_1.4.0-3_i386.deb)
SHA1: 75bf1060b04f7530cc5c12c2abab5b9bf23049bf
SHA256: b7c27c4336c58920bb9437a61f7d539613591f402b38ed0bee658bf0f90bceb7

Size: 239,944 bytes

Other checksums

Submissions

dkfia3bn
Submitted
Tue, 13 Jun 2023 12:10:43 +0000
Signed by
0xA2DB36DFF9287341

Environment


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