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

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

Build-Origin
Debian
Build-Architecture
i386
Build-Date
Thu, 27 Jul 2023 19:40:14 +0000
Build-Path
/build/reproducible-path/coq-elpi-1.17.1

First submitted
Fri, 28 Jul 2023 00:15:50 +0000
SHA1 of .buildinfo
a7b393735e9fc4545391a61f13c9ebc6f68fae33

Binaries

libcoq-elpi (libcoq-elpi_1.17.1-1+b6_i386.deb)
SHA1: ff9b80f8a27c5153f95109a09b9968ad28337f20
SHA256: 7b2a233ef44864e21e767bc6922ae7c652b0827a3487ae8216516810e4cb6426

Size: 2,361,108 bytes
libcoq-elpi-dbgsym (libcoq-elpi-dbgsym_1.17.1-1+b6_i386.deb)
SHA1: f30e7273f2355f3a5e997d340c0c65ba257ae83a
SHA256: c5713f6e6476a8e5dc56f26c6010d160174ebb47890b60d926ce51a076b00b8a

Size: 103,280 bytes

Other checksums

Submissions

xahz3fkq
Submitted
Fri, 28 Jul 2023 00:15:50 +0000
Signed by
0x0D9596E97DBD61DA

Environment


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