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

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

Build-Origin
Debian
Build-Architecture
i386
Build-Date
Sun, 2 Oct 2022 21:45:45 +0000
Build-Path
/build/coq-hierarchy-builder-O1w3Rw/coq-hierarchy-builder-1.4.0

First submitted
Mon, 3 Oct 2022 00:19:48 +0000
SHA1 of .buildinfo
772458e2b9f328508e209eb83e0d3224923ce21a

Binaries

coq-hierarchy-builder (coq-hierarchy-builder_1.4.0-1_i386.deb)
SHA1: 3a4d8c6e368553cc0db08c9ebc88b4a2b8c15d05
SHA256: 687dfde1912ff875df298713c89a1608ccdb0ed7f593afb89339bd921172f7a9

Size: 619,100 bytes
libcoq-hierarchy-builder (libcoq-hierarchy-builder_1.4.0-1_i386.deb)
SHA1: d7ce05f49a9f13e0ef19328ba652ac396067a010
SHA256: bf7985afe240aa08853f8bb6d23c4b2042cbec314cd07c529739846583a79e02

Size: 238,924 bytes

Other checksums

Submissions

urctk4mh
Submitted
Mon, 3 Oct 2022 00:19:48 +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="1664655053"