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

coq (coq_8.6-3_i386.deb)

SHA1: 6b59ce443003c4f0bb48ac33edba0ff1b8fb6133
SHA256: 1229aa3629ce60f5efe21b949670f8a40d4fba5b6e910c95c6e66fc7f6e3d3df

Size: 13,585,068 bytes

coqide (coqide_8.6-3_i386.deb)

SHA1: abdb3b4700bdb2754bc28eb695b87b2ab0feec07
SHA256: a5d1ecc6074892327dc9e555aed0f24ac259ab6b5973a5ca04d50c8d53132cff

Size: 1,313,360 bytes

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

SHA1: 2419d9915ee4394b4308e894e3976eba0198c1b9
SHA256: 5acfc4c2933fe795e30e0d6da3abac060fcf8528dd7ec0c119cf9cc6d3f8d02b

Size: 30,432,802 bytes

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

SHA1: 8935879b2922eed0430507242a96ba694fdc56ba
SHA256: a663b88318a7880df0f4e2f54418d002404dd7c09ca453ec351b64daa745585e

Size: 3,401,368 bytes

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

SHA1: 74e92fcfb0e2a15bcaeb875765a9559ff0de6ae2
SHA256: 49c699cac016c6b1d38947b85bfa05f7f4019ae07323b552aec5e03d82d07aca

Size: 13,326,282 bytes

libcoq-ocaml-dev-dbgsym_8.6-3_i386.deb

SHA1: 8e14d06bc517f79d08ae052356833cb0e8dca3d7
Size: 79,050 bytes

libcoq-ocaml-dbgsym_8.6-3_i386.deb

SHA1: 9e0b06ed704442d377d27e797ffcb4c3881e62bf
Size: 257,508 bytes

coqide-dbgsym_8.6-3_i386.deb

SHA1: 9de9b2d86be85d3ab9372663dbe644b00affcf0f
Size: 346,492 bytes

coq-theories-dbgsym_8.6-3_i386.deb

SHA1: 22328c763a211938585a2e6ddcf5d0c9e1480e4b
Size: 842,222 bytes

coq-dbgsym_8.6-3_i386.deb

SHA1: 2b83ea1560392d1117d955ebf12906da2e667075
Size: 1,294,700 bytes

coq_8.6-3_i386.buildinfo (view)