coq_8.12.0-3_i386.buildinfo — buildinfo.debian.net

coq (coq_8.12.0-3_i386.deb)

SHA1: ac7505573345d04ff8c14b4574eb7a036154b916
SHA256: f114b67a87b89a2e3d9dea7a0b1a5a20c801918583d32cd9a082d48fb02e9210

Size: 73,777,976 bytes

coq-dbgsym (coq-dbgsym_8.12.0-3_i386.deb)

SHA1: 32ff574408e6f1c568a63a69222ad31668eb384f
SHA256: ca5bcd5209aaab3efd7b5a7bfab7e45e0701ecdfdcbaedd49d69c8a6e1a8f523

Size: 7,031,384 bytes

coqide (coqide_8.12.0-3_i386.deb)

SHA1: 6e62b19234bd6649eace96128813356e0bcee1a8
SHA256: 1749c5b63839ec7c5a5afe71fa95c02c850aae93aa828a4cf22e148889fa15c6

Size: 1,529,660 bytes

coqide-dbgsym (coqide-dbgsym_8.12.0-3_i386.deb)

SHA1: 2f1da8f10e1d9ab9ff451e2a88f7e9f269a8606b
SHA256: 6d7e3b3f5b8ef787b567c8d00ff3a0971c9bfb40e6dc269c66a64d9ac00b4f3c

Size: 484,268 bytes

coq-theories (coq-theories_8.12.0-3_i386.deb)

SHA1: 255dfae29fd25a6ee6d64f214ca3de9c520819d9
SHA256: 0b030bc266805f923a42566f46fbac2f6b7564183c7fdfdf1491e2baec7c9001

Size: 35,396,924 bytes

coq-theories-dbgsym (coq-theories-dbgsym_8.12.0-3_i386.deb)

SHA1: cb0caadda8e9e1b50866a0650a679bfed7732b78
SHA256: 7e9ef42f4f949cb0831d9f2e08c28f58c9c9bc98804b1cec32773d5f5fee93fa

Size: 950,096 bytes

libcoq-ocaml (libcoq-ocaml_8.12.0-3_i386.deb)

SHA1: 1ef69a90bb97f49cdf3f4a5d39254df8927dd8c6
SHA256: 6ef01bb33573d9c61062d45a89f351d8f7562096807f1db080baa65f6b8f9e76

Size: 6,433,748 bytes

libcoq-ocaml-dbgsym (libcoq-ocaml-dbgsym_8.12.0-3_i386.deb)

SHA1: 4ee2a15ad83182fbe96e73a548a32fdcb1208328
SHA256: 24c126e9dc3a9b08c8f8a3debda065125c112e0473801b0563c39d1300b162af

Size: 653,020 bytes

libcoq-ocaml-dev (libcoq-ocaml-dev_8.12.0-3_i386.deb)

SHA1: d15df3f949d076567097bc5a2bd358fc76edfc2e
SHA256: 6426e3c30986c2879d94ffc3eab60bd8cd577fcf6bdafc018fc67e08fe3ccf3c

Size: 16,455,596 bytes

coq_8.12.0-3_i386.buildinfo (view)