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

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

Build-Origin
Debian
Build-Architecture
i386
Build-Date
Wed, 5 Jul 2023 08:56:19 +0000
Build-Path
/build/coq-hierarchy-builder-MJdIAF/coq-hierarchy-builder-1.4.0

First submitted
Wed, 5 Jul 2023 12:11:55 +0000
SHA1 of .buildinfo
428c583a27f5b2dfecaf637e8d2603127099fa49

Binaries

coq-hierarchy-builder (coq-hierarchy-builder_1.4.0-5_i386.deb)
SHA1: 3f64b0ec441c291148921971155d2b30db21078b
SHA256: 03899bc54c3b6111050d8d8aeea6eb7f43042125b1a7da8550eda68efec89dd3

Size: 619,364 bytes
libcoq-hierarchy-builder (libcoq-hierarchy-builder_1.4.0-5_i386.deb)
SHA1: 289ec200761ef8907589d520594aa6bbb35851df
SHA256: c75ae4ef75815dc0625b9f74e920ac0612086edd3189da084775a461bee6428c

Size: 239,932 bytes

Other checksums

Submissions

nzkjgibw
Submitted
Wed, 5 Jul 2023 12:11:56 +0000
Signed by
0xE9B19B9E8658FCDC

Environment


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