|
Up
|
|
|
|
|
coq-libs_8.0pl2-2_all.deb
|
|
|
|
|
coq-libs_8.0pl3-2_all.deb
|
|
|
|
|
coq-libs_8.1.pl3+dfsg-1_all.deb
|
|
|
|
|
coq-theories_8.2.pl2+dfsg-1_all.deb
|
|
|
|
|
coq-theories_8.3.pl4+dfsg-2_all.deb
|
|
|
|
|
coq-theories_8.4pl4dfsg-1_all.deb
|
|
|
|
|
coq-theories_8.6-4_amd64.deb
|
|
|
|
|
coq-theories_8.6-4_armel.deb
|
|
|
|
|
coq-theories_8.6-4_armhf.deb
|
|
|
|
|
coq-theories_8.6-4_i386.deb
|
|
|
|
|
coq-theories_8.9.0-1_amd64.deb
|
|
|
|
|
coq-theories_8.9.0-1_armel.deb
|
|
|
|
|
coq-theories_8.9.0-1_armhf.deb
|
|
|
|
|
coq-theories_8.9.0-1_i386.deb
|
|
|
|
|
coq7-libs_8.0pl2-2_all.deb
|
|
|
|
|
coq7-libs_8.0pl3-2_all.deb
|
|
|
|
|
coq_7.2-9.diff.gz
|
|
|
|
|
coq_7.2-9.dsc
|
|
|
|
|
coq_7.2-9_i386.deb
|
|
|
|
|
coq_7.2.orig.tar.gz
|
|
|
|
|
coq_8.0pl2-2.diff.gz
|
|
|
|
|
coq_8.0pl2-2.dsc
|
|
|
|
|
coq_8.0pl2-2_i386.deb
|
|
|
|
|
coq_8.0pl2.orig.tar.gz
|
|
|
|
|
coq_8.0pl3-2.diff.gz
|
|
|
|
|
coq_8.0pl3-2.dsc
|
|
|
|
|
coq_8.0pl3-2_amd64.deb
|
|
|
|
|
coq_8.0pl3-2_i386.deb
|
|
|
|
|
coq_8.0pl3.orig.tar.gz
|
|
|
|
|
coq_8.1.pl3+dfsg-1+b2_amd64.deb
|
|
|
|
|
coq_8.1.pl3+dfsg-1+b2_armel.deb
|
|
|
|
|
coq_8.1.pl3+dfsg-1+b2_i386.deb
|
|
|
|
|
coq_8.1.pl3+dfsg-1.diff.gz
|
|
|
|
|
coq_8.1.pl3+dfsg-1.dsc
|
|
|
|
|
coq_8.1.pl3+dfsg.orig.tar.gz
|
|
|
|
|
coq_8.2.pl2+dfsg-1.debian.tar.gz
|
|
|
|
|
coq_8.2.pl2+dfsg-1.dsc
|
|
|
|
|
coq_8.2.pl2+dfsg-1_amd64.deb
|
|
|
|
|
coq_8.2.pl2+dfsg-1_armel.deb
|
|
|
|
|
coq_8.2.pl2+dfsg-1_i386.deb
|
|
|
|
|
coq_8.2.pl2+dfsg.orig.tar.gz
|
|
|
|
|
coq_8.3.pl4+dfsg-2.debian.tar.gz
|
|
|
|
|
coq_8.3.pl4+dfsg-2.dsc
|
|
|
|
|
coq_8.3.pl4+dfsg-2_amd64.deb
|
|
|
|
|
coq_8.3.pl4+dfsg-2_armel.deb
|
|
|
|
|
coq_8.3.pl4+dfsg-2_armhf.deb
|
|
|
|
|
coq_8.3.pl4+dfsg-2_i386.deb
|
|
|
|
|
coq_8.3.pl4+dfsg.orig.tar.gz
|
|
|
|
|
coq_8.4pl4dfsg-1.debian.tar.xz
|
|
|
|
|
coq_8.4pl4dfsg-1.dsc
|
|
|
|
|
coq_8.4pl4dfsg-1_amd64.deb
|
|
|
|
|
coq_8.4pl4dfsg-1_armel.deb
|
|
|
|
|
coq_8.4pl4dfsg-1_armhf.deb
|
|
|
|
|
coq_8.4pl4dfsg-1_i386.deb
|
|
|
|
|
coq_8.4pl4dfsg.orig.tar.gz
|
|
|
|
|
coq_8.6-4.debian.tar.xz
|
|
|
|
|
coq_8.6-4.dsc
|
|
|
|
|
coq_8.6-4_amd64.deb
|
|
|
|
|
coq_8.6-4_armel.deb
|
|
|
|
|
coq_8.6-4_armhf.deb
|
|
|
|
|
coq_8.6-4_i386.deb
|
|
|
|
|
coq_8.6.orig.tar.gz
|
|
|
|
|
coq_8.9.0-1.debian.tar.xz
|
|
|
|
|
coq_8.9.0-1.dsc
|
|
|
|
|
coq_8.9.0-1_amd64.deb
|
|
|
|
|
coq_8.9.0-1_armel.deb
|
|
|
|
|
coq_8.9.0-1_armhf.deb
|
|
|
|
|
coq_8.9.0-1_i386.deb
|
|
|
|
|
coq_8.9.0.orig.tar.gz
|
|
|
|
|
coqide_8.0pl2-2_i386.deb
|
|
|
|
|
coqide_8.0pl3-2_amd64.deb
|
|
|
|
|
coqide_8.0pl3-2_i386.deb
|
|
|
|
|
coqide_8.1.pl3+dfsg-1+b2_amd64.deb
|
|
|
|
|
coqide_8.1.pl3+dfsg-1+b2_armel.deb
|
|
|
|
|
coqide_8.1.pl3+dfsg-1+b2_i386.deb
|
|
|
|
|
coqide_8.2.pl2+dfsg-1_amd64.deb
|
|
|
|
|
coqide_8.2.pl2+dfsg-1_armel.deb
|
|
|
|
|
coqide_8.2.pl2+dfsg-1_i386.deb
|
|
|
|
|
coqide_8.3.pl4+dfsg-2_amd64.deb
|
|
|
|
|
coqide_8.3.pl4+dfsg-2_armel.deb
|
|
|
|
|
coqide_8.3.pl4+dfsg-2_armhf.deb
|
|
|
|
|
coqide_8.3.pl4+dfsg-2_i386.deb
|
|
|
|
|
coqide_8.4pl4dfsg-1_amd64.deb
|
|
|
|
|
coqide_8.4pl4dfsg-1_armel.deb
|
|
|
|
|
coqide_8.4pl4dfsg-1_armhf.deb
|
|
|
|
|
coqide_8.4pl4dfsg-1_i386.deb
|
|
|
|
|
coqide_8.6-4_amd64.deb
|
|
|
|
|
coqide_8.6-4_armel.deb
|
|
|
|
|
coqide_8.6-4_armhf.deb
|
|
|
|
|
coqide_8.6-4_i386.deb
|
|
|
|
|
libcoq-ocaml-dev_8.2.pl2+dfsg-1_amd64.deb
|
|
|
|
|
libcoq-ocaml-dev_8.2.pl2+dfsg-1_armel.deb
|
|
|
|
|
libcoq-ocaml-dev_8.2.pl2+dfsg-1_i386.deb
|
|
|
|
|
libcoq-ocaml-dev_8.3.pl4+dfsg-2_amd64.deb
|
|
|
|
|
libcoq-ocaml-dev_8.3.pl4+dfsg-2_armel.deb
|
|
|
|
|
libcoq-ocaml-dev_8.3.pl4+dfsg-2_armhf.deb
|
|
|
|
|
libcoq-ocaml-dev_8.3.pl4+dfsg-2_i386.deb
|
|
|
|
|
libcoq-ocaml-dev_8.4pl4dfsg-1_amd64.deb
|
|
|
|
|
libcoq-ocaml-dev_8.4pl4dfsg-1_armel.deb
|
|
|
|
|
libcoq-ocaml-dev_8.4pl4dfsg-1_armhf.deb
|
|
|
|
|
libcoq-ocaml-dev_8.4pl4dfsg-1_i386.deb
|
|
|
|
|
libcoq-ocaml-dev_8.6-4_amd64.deb
|
|
|
|
|
libcoq-ocaml-dev_8.6-4_armel.deb
|
|
|
|
|
libcoq-ocaml-dev_8.6-4_armhf.deb
|
|
|
|
|
libcoq-ocaml-dev_8.6-4_i386.deb
|
|
|
|
|
libcoq-ocaml-dev_8.9.0-1_amd64.deb
|
|
|
|
|
libcoq-ocaml-dev_8.9.0-1_armel.deb
|
|
|
|
|
libcoq-ocaml-dev_8.9.0-1_armhf.deb
|
|
|
|
|
libcoq-ocaml-dev_8.9.0-1_i386.deb
|
|
|
|
|
libcoq-ocaml_8.3.pl4+dfsg-2_amd64.deb
|
|
|
|
|
libcoq-ocaml_8.3.pl4+dfsg-2_armel.deb
|
|
|
|
|
libcoq-ocaml_8.3.pl4+dfsg-2_armhf.deb
|
|
|
|
|
libcoq-ocaml_8.3.pl4+dfsg-2_i386.deb
|
|
|
|
|
libcoq-ocaml_8.4pl4dfsg-1_amd64.deb
|
|
|
|
|
libcoq-ocaml_8.4pl4dfsg-1_armel.deb
|
|
|
|
|
libcoq-ocaml_8.4pl4dfsg-1_armhf.deb
|
|
|
|
|
libcoq-ocaml_8.4pl4dfsg-1_i386.deb
|
|
|
|
|
libcoq-ocaml_8.6-4_amd64.deb
|
|
|
|
|
libcoq-ocaml_8.6-4_armel.deb
|
|
|
|
|
libcoq-ocaml_8.6-4_armhf.deb
|
|
|
|
|
libcoq-ocaml_8.6-4_i386.deb
|
|
|
|
|
libcoq-ocaml_8.9.0-1_amd64.deb
|
|
|
|
|
libcoq-ocaml_8.9.0-1_armel.deb
|
|
|
|
|
libcoq-ocaml_8.9.0-1_armhf.deb
|
|
|
|
|
libcoq-ocaml_8.9.0-1_i386.deb
|
|
|
|