coq_8.15.1+dfsg-2_i386.buildinfo — buildinfo.debian.net

coq (coq_8.15.1+dfsg-2_i386.deb)

SHA1: a506b17dab14582d5d84e7e48273f4bf2c2058d8
SHA256: b7936a260041da623d32b2fdc5d022b2e35dc648466cf7401ce0f4d59b749040

Size: 76,666,692 bytes

coq-dbgsym (coq-dbgsym_8.15.1+dfsg-2_i386.deb)

SHA1: fbc5ad16e47ad34ae2f84f5c2ef7758556a230ed
SHA256: 7f3e5f6b60d261a2fbe3a732663ad3d4f78841d816b681023655e9cbcbf0558c

Size: 9,093,612 bytes

coqide (coqide_8.15.1+dfsg-2_i386.deb)

SHA1: 12d907ec2e9addd8a574d3cdb2bd1c332c87fdba
SHA256: bc3127f3b7248e6f8ff4f4b5798eeb0f0c461d8dfa73db9d22a28fdd7aa27884

Size: 1,806,852 bytes

coqide-dbgsym (coqide-dbgsym_8.15.1+dfsg-2_i386.deb)

SHA1: 8cb5ae46c06367f67e9d133fcc303b80f511dba1
SHA256: e8b5490d8313010958681a7f36adee55832064d843f3354431e48fb103cf14be

Size: 561,248 bytes

libcoq-core-ocaml (libcoq-core-ocaml_8.15.1+dfsg-2_i386.deb)

SHA1: cd9587255905e74b5cca2d208bf4ec75df949d21
SHA256: d9a1e3b0ab993c82595ce2bba29af1e95d58da422c30f93aee527eae07038657

Size: 21,676,980 bytes

libcoq-core-ocaml-dbgsym (libcoq-core-ocaml-dbgsym_8.15.1+dfsg-2_i386.deb)

SHA1: 42aa23924c55c0c4ea910dbe7b1d8f096b84f8c2
SHA256: 3fdb4d1ee1d044449cf983914a23189d900d0ed135fb8a34c70c3ec469044ae2

Size: 1,626,292 bytes

libcoq-core-ocaml-dev (libcoq-core-ocaml-dev_8.15.1+dfsg-2_i386.deb)

SHA1: 5bb9c9b5dcac1fc8f509fcc4faae07f1738b5a4b
SHA256: e9ca38f550fbb86e88aae7fb0063fa8397e1642d4f7a9cc481785e4f5d21cf7f

Size: 42,027,712 bytes

libcoq-stdlib (libcoq-stdlib_8.15.1+dfsg-2_i386.deb)

SHA1: ce3feac79e8a773a9432c6eef585d3bbeed53cd0
SHA256: 007ac788b3c1a8ab607d3598631f9bfb720d15c48c513dc3359369d860fe3e77

Size: 21,428,316 bytes

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