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, 4 Jun 2022 19:54:30 +0000
Build-Path
/build/2/coq-hierarchy-builder-1.2.1/2nd

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

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: 7a40d54d9069a7aec3e9731b95d23d2da946bf3e
SHA256: 85fddce84c5f08d317c178c9af83faa832928c765b4a1b1a3794e75c1affe9d8

Size: 218,972 bytes

Other checksums

Submissions

yrtfnkdj
Submitted
Sat, 4 Jun 2022 19:58:52 +0000
Signed by
0xA6B59AB7CD69D4AC profitbricks-build2-i386 (Automatically generated key for signing .buildinfo files)

Environment


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