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

coq (coq_8.6-5_i386.deb)

SHA1: 84932024685d8b439bc035bdcc2702c9f4caf057
SHA256: ba11f9f4b3db295bb816eff68af79c9338662bcecd8e4a8fcba26c302b5f2366

Size: 16,994,240 bytes

coqide (coqide_8.6-5_i386.deb)

SHA1: 996d0988ec35ad56fa4e2a33440dd34576094e0d
SHA256: 935c66f367ba5c0e66f20b5b778ca2bfbb9734e9c5c701b8b484c9ee84e08832

Size: 1,448,652 bytes

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

SHA1: c9c1736006dfaec6d682bf89a8434fd09b12bf8a
SHA256: 011eec3b00cb0b4245c17300b6916e6a17dd402c18748fa0302f1c64a9e5d6b1

Size: 31,987,076 bytes

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

SHA1: 8f9c6398354d0b2ecbd46de1451b134008f64314
SHA256: 51c11c1c0c076c6900c707de4ff08bbf531c222ca33016ea336638689aaeb843

Size: 3,460,296 bytes

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

SHA1: 9d66c3e37af6eb1a1c978457d861bd184d9e46a6
SHA256: 5d7e78b64ca601f4c60f5afd2606ae22fc686c60cb446eca4db7780e910e19bf

Size: 13,861,528 bytes

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

SHA1: d41d93e3fe95036c1833a529dbfb2a320ffe3655
Size: 110,664 bytes

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

SHA1: 493a7cd64149a0defebd5914d8c2c0b1baa677d7
Size: 361,028 bytes

coqide-dbgsym_8.6-5_i386.deb

SHA1: b20025a846ec6c2ac60a79354fcb669fe885b4eb
Size: 437,020 bytes

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

SHA1: e8bec170376d6632a39d6c79cb406ef34d79cce1
Size: 822,320 bytes

coq-dbgsym_8.6-5_i386.deb

SHA1: 06229d748947b64ca323d51c75dfe69b61321ee4
Size: 1,868,868 bytes

coq_8.6-5_i386.buildinfo (view)