coq_8.6-5_amd64.buildinfo — buildinfo.debian.net

coq (coq_8.6-5_amd64.deb)

SHA1: d61fb8284d04d3d4102f3f2e152919e5ae2c6ff4
SHA256: 335319034fb505bb075fad178c62d442459c8d89cf3f6e55eb8eb495b045b290

Size: 17,746,944 bytes

coqide (coqide_8.6-5_amd64.deb)

SHA1: 15e398a60968747d62d68ec060667020f18a7111
SHA256: e52b96279bbe9f706507a8064aea5a1cee7825fa9eff38983dfe1303f1d4a090

Size: 1,606,528 bytes

coq-theories (coq-theories_8.6-5_amd64.deb)

SHA1: 524ccc48ddd7f43e731b7eaf3461a3f9ebd79819
SHA256: 53a7a3538af1dd7bc2d676aebb23c40414a4bc43d64706de559d5e899b8e4cae

Size: 33,433,176 bytes

libcoq-ocaml (libcoq-ocaml_8.6-5_amd64.deb)

SHA1: e0538cdbb1d1ffdc613c23e1fea89a3f3fdd561f
SHA256: f8f1e4e6ba6cf489618ff26a74c74c992d56f839f678f0a9339562b7e90c9043

Size: 3,643,924 bytes

libcoq-ocaml-dev (libcoq-ocaml-dev_8.6-5_amd64.deb)

SHA1: 5dbea3da51a38abe5a0dfbd3a691f100386987d3
SHA256: e4d94f33bcbbd10cdafecef576eb07e3a822b29bcdc909862af4b12bbac45ba5

Size: 13,878,696 bytes

libcoq-ocaml-dev-dbgsym_8.6-5_amd64.deb

SHA1: 1bb27122e5b6f583076249932ab19008dc4b24b2
Size: 105,648 bytes

libcoq-ocaml-dbgsym_8.6-5_amd64.deb

SHA1: 4d11419220e795184c32cc0f7af71549bb705aa7
Size: 376,068 bytes

coqide-dbgsym_8.6-5_amd64.deb

SHA1: 602f0c30138f89b673a1a9713eb04cb40a3ed800
Size: 450,088 bytes

coq-theories-dbgsym_8.6-5_amd64.deb

SHA1: efd5c74040ae9c070847ba4973f0a44c6a007707
Size: 828,248 bytes

coq-dbgsym_8.6-5_amd64.deb

SHA1: bc1ba28a806882d485e2506599d58903969d9bd7
Size: 1,895,924 bytes

coq_8.6-5_amd64.buildinfo (view)