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

coq (coq_8.6-4_i386.deb)

SHA1: 9c04c796fac0ce43bd17227756b9182fa70f6e81
SHA256: 03fcfaec3137069f13ca73878b11626e7cd818fe02e66da01a72a5389525f5d6

Size: 13,604,672 bytes

coqide (coqide_8.6-4_i386.deb)

SHA1: 8ab6321a8288315fcb018096e836121c9606e615
SHA256: 00d32dca455a02f69d3b1bafbfd2e00ede5e609113fec1bd2aba14d648cce51f

Size: 1,317,306 bytes

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

SHA1: 7b5476e114ae24fdeabcf298900719c65ba3ef59
SHA256: 5cfcbc3d901c362071e6070014fe12ad0ed31afebd3f5e6109c5099bfc230daa

Size: 30,406,916 bytes

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

SHA1: 1a79a9a864cdb82aa86b59587b24f7fe7314ac65
SHA256: 7e882ae3f9fad47c2f6448ce33f173cd84a4d7d830f1d821913bbd04ed03cc0c

Size: 3,401,454 bytes

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

SHA1: b91ca657181d2e43d45d31e8e00e21d513ec6a9e
SHA256: 4555dfd17acc447d2ff2cc673031cafd041eefca7e2bc98c4f5db6784e73e22a

Size: 13,328,086 bytes

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

SHA1: cd3c42586940af2f951ddd67f1c63c70dbf4ef6f
Size: 78,830 bytes

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

SHA1: 2b9a680c65ee19ec7153978b7506fe6485c02c76
Size: 255,536 bytes

coqide-dbgsym_8.6-4_i386.deb

SHA1: bc8428ee5c227c1298290d3e1908d52a83b4d3d2
Size: 345,790 bytes

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

SHA1: da7f16c3e81fe35f3d7f96e32092484c05ce764b
Size: 821,496 bytes

coq-dbgsym_8.6-4_i386.deb

SHA1: fdcc05859feaace6057eca038a9855dfc0df732c
Size: 1,263,740 bytes

coq_8.6-4_i386.buildinfo (view)