coq_8.15.0+dfsg-2_i386.buildinfo (view)

Source
coq
Version
8.15.0+dfsg-2
Architecture
i386

Build-Origin
Debian
Build-Architecture
i386
Build-Date
Fri, 8 Apr 2022 10:33:47 +0000
Build-Path
/build/coq-8.15.0+dfsg

First submitted
Fri, 8 Apr 2022 10:56:50 +0000
SHA1 of .buildinfo
d86f876f35c3f1ba9abb0ee404735fe26a38c446

Binaries

coq (coq_8.15.0+dfsg-2_i386.deb)
SHA1: 7b64c92c83f808fb109dfb7b0367d9375c1d2e1c
SHA256: f6335d829fe1e3f4d339f60a2cba67b4b004f7ae81530b9ad6f3c8e399db5f8e

Size: 76,621,404 bytes
coq-dbgsym (coq-dbgsym_8.15.0+dfsg-2_i386.deb)
SHA1: 284eb784d5837c2822e4a65d842a17c961209b4d
SHA256: 904547f24654817fd22726486115c45f1c825ae13878b4a2087b31941aac196a

Size: 8,330,964 bytes
coqide (coqide_8.15.0+dfsg-2_i386.deb)
SHA1: dd12977db569232bea898e0f78664b83cc268be0
SHA256: 65fa16b5329d8c8bbc59f4ac34c447238278a7bd9d674f700ff31aa2a4cd6f7b

Size: 1,805,968 bytes
coqide-dbgsym (coqide-dbgsym_8.15.0+dfsg-2_i386.deb)
SHA1: 49045a321dee9884be8fec505710e7d168ead534
SHA256: c846f50a91b6e68f14a3c64b8d067387413362142f0347d3f0ce1253d405b7b6

Size: 560,944 bytes
libcoq-core-ocaml (libcoq-core-ocaml_8.15.0+dfsg-2_i386.deb)
SHA1: e3927f8327d7e5d0b2bea087fd6a7c28812b5311
SHA256: a803e82fe12a9f71c15de94cb20f1199cae61ae4b1395e72783d2707bede3240

Size: 21,669,712 bytes
libcoq-core-ocaml-dbgsym (libcoq-core-ocaml-dbgsym_8.15.0+dfsg-2_i386.deb)
SHA1: 8d73cf2b9b3ad1b06d55e12874d9c2be077e4347
SHA256: 41235f0378aa5879110809367d92ef7e0c2a1f9297a50c0c047347c4ab096f48

Size: 1,625,528 bytes
libcoq-core-ocaml-dev (libcoq-core-ocaml-dev_8.15.0+dfsg-2_i386.deb)
SHA1: b339e1548001afcaa1a5d66cf95fec4e965855aa
SHA256: fea120452f071aabbd1158752c4a90756bfe65f9131a736519584758ac515964

Size: 39,318,516 bytes
libcoq-stdlib (libcoq-stdlib_8.15.0+dfsg-2_i386.deb)
SHA1: c8636247cb01d275191bf5599c9bef0ee78e456e
SHA256: b12aa0aa9761946822d452e902dcc3547278f3505c07d547fb60e90e3cd2e761

Size: 21,416,056 bytes

Other checksums

Submissions

4j3hcjmu
Submitted
Fri, 8 Apr 2022 10:56:51 +0000
Signed by
0xA6B59AB7CD69D4AC profitbricks-build2-i386 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=8"
LANG="C"
LC_ALL="C"
LD_LIBRARY_PATH="/usr/lib/libeatmydata"
SOURCE_DATE_EPOCH="1643961281"