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

coq (coq_8.6-4_amd64.deb)

SHA1: a9599930981c1f0da7af835f1f10b26781896396
SHA256: abf0f6c92b9c22499587ec0a9b3e638359d1e610988bcf343d4e78b442270864

Size: 13,948,682 bytes

coqide (coqide_8.6-4_amd64.deb)

SHA1: c75174be470a093452452fa40cda91272b2513ce
SHA256: edf9c64f037e783e181996e870c68d7f58852daa096813db01548285227e6220

Size: 1,405,262 bytes

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

SHA1: 5479a274416f9ede56fcf1089c136a282fdb2a47
SHA256: 04da509b5db3c1ef64e665bfa142b87341120c5132860d8870dee59726b96763

Size: 31,446,180 bytes

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

SHA1: e9848d587af557d7a7dddeff37dd30f351e12c03
SHA256: 2614fd5909a8ce630e63597eb7ab600b15dcf0b2c4daa7adc9ac2162086c9151

Size: 3,501,898 bytes

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

SHA1: 164df877cd0b5573cbd05c7e8dac21a7c33f4f76
SHA256: b8e42b87cab0457e109dca9c0db4849da5e6368cc2bbce0d5197112af0da7c6f

Size: 13,292,108 bytes

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

SHA1: 2a4178946cd8d24b83445276d2cad339f9c8afa7
Size: 81,866 bytes

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

SHA1: dc6f17f91ab6eddcbaf4076e0b12d1b229706f6b
Size: 265,650 bytes

coqide-dbgsym_8.6-4_amd64.deb

SHA1: e987056d01eeef4327dc25c540c8deec57736dc1
Size: 365,438 bytes

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

SHA1: 4a06480f48faf9d4cf12dfd47abde047c9aa2a20
Size: 877,272 bytes

coq-dbgsym_8.6-4_amd64.deb

SHA1: 471f6fe3f1ba6846d8a0ebbc37f17db77f4df439
Size: 1,373,038 bytes

coq_8.6-4_amd64.buildinfo (view)