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

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

Build-Origin
Debian
Build-Architecture
i386
Build-Date
Sat, 8 Jul 2023 02:10:59 +0000
Build-Path
/build/1st/coq-hierarchy-builder-1.2.1

First submitted
Sat, 4 Jun 2022 19:58:50 +0000
SHA1 of .buildinfo
e498915e16cc66d0d10b6d01f1e481c4cef5c8f8

Binaries

coq-hierarchy-builder (coq-hierarchy-builder_1.2.1-10_i386.deb)
SHA1: 61c4f46f5f91c5d30983fc8d9c25f6cdcbb463df
SHA256: cbc691c2003102e3a50ecd0b19f094012a7bb9a701b597bb55e014c75c85b163

Size: 618,688 bytes
libcoq-hierarchy-builder (libcoq-hierarchy-builder_1.2.1-10_i386.deb)
SHA1: 8644a8092c9aa8800fc8ea8fb45f708c3c4fa6f8
SHA256: bcd313d896e200fb43e45e3008a89056cb35174f2f27ddfd11d6269fb2237294

Size: 218,956 bytes

Other checksums

Submissions

zctejrus
Submitted
Sat, 4 Jun 2022 19:58:50 +0000
Signed by
0x1310D22166A88B5F profitbricks-build6-i386 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=16"
LANG="C"
LC_ALL="C"
LD_LIBRARY_PATH="/usr/lib/libeatmydata"
SOURCE_DATE_EPOCH="1654146135"