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

coq (coq_8.6-4_i386.deb)

SHA1: 065270be2458ed0a5eb3ad6d76c49178f43f844a
SHA256: 39e728f65f02830703c66a57c2534e702de1fa6d4a00d24fddaa6dcd00a6000b

Size: 13,588,130 bytes

coqide (coqide_8.6-4_i386.deb)

SHA1: bc4b3dd0d6f4717e553729a2cd31a47409188c99
SHA256: 76976a17e268a490f7293c52cfaae480c2aafae2e7685b25e931f44c0f3931fa

Size: 1,313,568 bytes

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

SHA1: bb1f75686f61b5f9404d286754bfd27def548003
SHA256: 305c670ab316996f4047f349b336c400fa7c36b21f4d9e65d8d2d62c7ab4da1d

Size: 30,410,884 bytes

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

SHA1: 74c133262a7c127a1129573fb1937278b44f1273
SHA256: 9c1a8fffdde7e2b53219b011d47e24b2f368a35cbf2ea4623a1cffcabb01c5cc

Size: 3,402,740 bytes

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

SHA1: b1f40902fe9c190f18c94375eb8087c11f6f511a
SHA256: 536e5272f378eb2ee945386af956c003b1412394d93c986361db0bcdcb804d41

Size: 13,324,830 bytes

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

SHA1: 0bfbc85f13fde9241c714629e449de1eb7ef6c8f
Size: 79,088 bytes

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

SHA1: 78c9e44ce5e2d2f00e68d940ade91e76d0459f61
Size: 257,346 bytes

coqide-dbgsym_8.6-4_i386.deb

SHA1: 772ff7362cc4392a6b6a96ba9877040de7ba63f9
Size: 345,912 bytes

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

SHA1: dbd1a357f1e52287331be24443461069e06bfd62
Size: 844,778 bytes

coq-dbgsym_8.6-4_i386.deb

SHA1: 7be7bc577ac8d5fbfe25c2495bbf337f78879bc8
Size: 1,306,074 bytes

coq_8.6-4_i386.buildinfo (view)