coq-elpi_1.15.6-1_i386.buildinfo (view)

Source
coq-elpi
Version
1.15.6-1
Architecture
i386

Build-Origin
Debian
Build-Architecture
i386
Build-Date
Sun, 11 Sep 2022 16:29:50 +0000
Build-Path
/build/coq-elpi-RRbdLn/coq-elpi-1.15.6

First submitted
Sun, 11 Sep 2022 18:15:39 +0000
SHA1 of .buildinfo
28677507120ba43b3de82a923d4d21ea163343e2

Binaries

libcoq-elpi (libcoq-elpi_1.15.6-1_i386.deb)
SHA1: cc69ba77859a8c5634af96f05da935e60bcceb1c
SHA256: 9a9ec12f1c7ae4ee67c686f34bb0ec41c1c68a8f3dffcb0cefbbf93198682aee

Size: 2,226,712 bytes
libcoq-elpi-dbgsym (libcoq-elpi-dbgsym_1.15.6-1_i386.deb)
SHA1: 0464b8563e629eec4924bbdada77c1f85792c4c0
SHA256: f9d7406d004307aa63d561bdd963ddcc5a96b1f99f71e73de6f62625f9b0dffc

Size: 98,532 bytes

Other checksums

Submissions

3bw4h9wz
Submitted
Sun, 11 Sep 2022 18:15:39 +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="1662701802"