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

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

SHA1: c53cf6e9c6ba6e8b058bdcf3be4704859b40ab95
SHA256: 11fce3c138046f4874fa065ef7f7f23001b60930e81622ba4a41e77818bc5d53

Size: 76,658,936 bytes

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

SHA1: 2e5cb42866f99ef8ff90ad6451a9b29bf417102f
SHA256: e204e3c1765d0d3401a252b69ef96cf085fdbe2638e998139c97d5398a69c5a2

Size: 8,783,080 bytes

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

SHA1: f3fda3a8380958db6231689bdcce87da7a67d76b
SHA256: b2356a1814508a187884bdd6e7d1070010b78c7d4f6449952ab355a6781e50c9

Size: 1,805,316 bytes

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

SHA1: 6b8a995f166fef644c0330a581a186edb50c808b
SHA256: bce1009aee6fe669b04487f50f8b1b765110416b523b71fa8f5884d72125b195

Size: 560,948 bytes

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

SHA1: ef8e4736ac5836133f32ca3f15c322fc20e3032f
SHA256: ddd8c8d293cfc284eac4a9918c45351b1720893330ec1d9e59a9d59d0955fb70

Size: 21,676,776 bytes

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

SHA1: 8045758a07899727d5db763daf977a3d6f9435d6
SHA256: abcfd10745854a3d4da74492fdd51285c7983b2bf9801c8122b67616b0693133

Size: 1,627,028 bytes

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

SHA1: c860bc26dc98236facb2f3e1bffa33f19edcb13c
SHA256: e2df236d69441196d1c60368349e097c713d9e96c72170faafbe5317bf3936ff

Size: 39,341,816 bytes

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

SHA1: dd28eb006cf0c4a1ac59b707f9a38717109bc8db
SHA256: f723de7ae76fa7de4c29e06d1ea015a415e84aa2d978c43e6dd99d04778460e9

Size: 21,429,804 bytes

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