coq-elpi (1.17.1-1)_1.17.1-1+b10_i386.buildinfo (view)

Source
coq-elpi (1.17.1-1)
Version
1.17.1-1+b10
Architecture
i386

Build-Origin
Debian
Build-Architecture
i386
Build-Date
Sun, 15 Oct 2023 06:23:08 +0000
Build-Path
/build/reproducible-path/coq-elpi-1.17.1

First submitted
Sun, 15 Oct 2023 12:11:06 +0000
SHA1 of .buildinfo
a3e911966e665813959fbdb1dcf1cf1772394f5a

Binaries

libcoq-elpi (libcoq-elpi_1.17.1-1+b10_i386.deb)
SHA1: 4dfa422925a3b901f4da64604c6a89495956506f
SHA256: c1996d9e570df46d2c591425f6e066fe3896dc095bd2a283c31074dc8a9d14fa

Size: 2,365,192 bytes
libcoq-elpi-dbgsym (libcoq-elpi-dbgsym_1.17.1-1+b10_i386.deb)
SHA1: ab36873b1c802daf3506dc643e6feadec220eef8
SHA256: 38d9583a45e3969d0b4f00239e2af1accee137bbcfc2a0da6bbe9ad3dc6192f6

Size: 103,384 bytes

Other checksums

Submissions

cfziwpfz
Submitted
Sun, 15 Oct 2023 12:11:06 +0000
Signed by
0x905EC4D76542A31D

Environment


DEB_BUILD_OPTIONS="parallel=6"
LC_ALL="C.UTF-8"
LC_COLLATE="C.UTF-8"
SOURCE_DATE_EPOCH="1697350873"