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

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

Build-Origin
Debian
Build-Architecture
i386
Build-Date
Wed, 11 May 2022 15:59:59 +0000
Build-Path
/build/coq-hierarchy-builder-9VHvIh/coq-hierarchy-builder-1.2.1

First submitted
Wed, 11 May 2022 18:13:23 +0000
SHA1 of .buildinfo
07e5877e987b8b4a6d9f41c1eed2d5bbd4048593

Binaries

coq-hierarchy-builder (coq-hierarchy-builder_1.2.1-6_i386.deb)
SHA1: 406a36eee89d6dc12e704e269b7397db865c9439
SHA256: e66f23a5656ba731e72f9c258e5f23345fc0de8fe6f4f7e592c88c7896a440aa

Size: 618,604 bytes
libcoq-hierarchy-builder (libcoq-hierarchy-builder_1.2.1-6_i386.deb)
SHA1: 4a65cc2574310d9b1ffe78a300232754b8df0cb8
SHA256: 86ece45ab05ecb81d9186998f0c4496c95de834cb9652f582b30757c948813b2

Size: 221,480 bytes

Other checksums

Submissions

vb7xjhbh
Submitted
Wed, 11 May 2022 18:13:24 +0000
Signed by
0x4AA75D2F1C39AECA

Environment


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