coq_8.16.1+dfsg-1_i386.buildinfo — buildinfo.debian.net

coq (coq_8.16.1+dfsg-1_i386.deb)

SHA1: e4502e2b6aee81b2f180e76e026f8d1af000d630
SHA256: dd1fc41d67f1d4e1edca171c51e0de31e44701947939725fbf60b2c6cc94fb03

Size: 87,498,136 bytes

coq-dbgsym (coq-dbgsym_8.16.1+dfsg-1_i386.deb)

SHA1: 8d98610964154319a669b2755b9aae46f066d40b
SHA256: ad0ef4b7c5e92148a1f4b60f6f74727109a19a831b04d375de28c283883a5ae4

Size: 13,722,060 bytes

coqide (coqide_8.16.1+dfsg-1_i386.deb)

SHA1: e9472098f18f0fabf8a14646fa44e66745ea8048
SHA256: e557fcbd82c3eda1d96f55d98af5d04703dd789ece768b83676d481f14deba7b

Size: 1,804,800 bytes

coqide-dbgsym (coqide-dbgsym_8.16.1+dfsg-1_i386.deb)

SHA1: 00979a27b4642da1209efc3943c7daa68b38342e
SHA256: 1c909ea9469bb5cbb089ae8419e5ec861bca0f343b464c53026c4509946e7798

Size: 605,508 bytes

libcoq-core-ocaml (libcoq-core-ocaml_8.16.1+dfsg-1_i386.deb)

SHA1: caa4000c1c70e55589ce8405e68f08bdadf9aab6
SHA256: 010e837b2acbcbf421b7823ee7a0eaa21946277f259d3397116e89eb0bbc5172

Size: 21,743,368 bytes

libcoq-core-ocaml-dbgsym (libcoq-core-ocaml-dbgsym_8.16.1+dfsg-1_i386.deb)

SHA1: 3ffa6ae533844ec72cf48ec608e0c08b410e5909
SHA256: 66d81e75d5b2bd4045f963ec1c6ece04cc70864a1072614f6a77c334debe29df

Size: 2,096,808 bytes

libcoq-core-ocaml-dev (libcoq-core-ocaml-dev_8.16.1+dfsg-1_i386.deb)

SHA1: cb2959cd51269dc2babdd79ecb9e095f027c8971
SHA256: cd25179d23ac822e0cbe8e436d02bd05069c0e68abc6cd860323719ccd14a756

Size: 42,450,264 bytes

libcoq-stdlib (libcoq-stdlib_8.16.1+dfsg-1_i386.deb)

SHA1: 40e8d69667c2dd2f5078d665546590adad434ed8
SHA256: 6b69ddda66c183d15e57fb748c8b024cdf5f80617c6073cfe02ef1d113e30a2c

Size: 21,522,404 bytes

coq_8.16.1+dfsg-1_i386.buildinfo (view)