Index of /ubuntu/pool/universe/c/coq/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
coq_8.3.pl4+dfsg-1.debian.tar.gz 16K2012-Apr-03 10:33
coq_8.3.pl4+dfsg.orig.tar.gz 3M2012-Apr-03 10:33
coq_8.3.pl4+dfsg-1.dsc 23432012-Apr-03 10:33
coq-theories_8.3.pl4+dfsg-1_all.deb 52M2012-Apr-03 11:04
libcoq-ocaml-dev_8.3.pl4+dfsg-1_i386.deb 5M2012-Apr-03 11:04
libcoq-ocaml_8.3.pl4+dfsg-1_i386.deb 2M2012-Apr-03 11:04
coqide_8.3.pl4+dfsg-1_i386.deb 5M2012-Apr-03 11:04
coq_8.3.pl4+dfsg-1_i386.deb 5M2012-Apr-03 11:04
libcoq-ocaml_8.3.pl4+dfsg-1_amd64.deb 2M2012-Apr-03 11:34
coq_8.3.pl4+dfsg-1_amd64.deb 5M2012-Apr-03 11:34
libcoq-ocaml-dev_8.3.pl4+dfsg-1_amd64.deb 6M2012-Apr-03 11:34
coqide_8.3.pl4+dfsg-1_amd64.deb 5M2012-Apr-03 11:34
coq_8.4pl3dfsg-1.debian.tar.xz 15K2014-Jan-19 23:18
coq_8.4pl3dfsg-1.dsc 23562014-Jan-19 23:18
coq_8.4pl3dfsg.orig.tar.gz 3M2014-Jan-19 23:18
coq-theories_8.4pl3dfsg-1_all.deb 30M2014-Jan-19 23:58
libcoq-ocaml_8.4pl3dfsg-1_amd64.deb 2M2014-Jan-19 23:58
libcoq-ocaml-dev_8.4pl3dfsg-1_amd64.deb 3M2014-Jan-19 23:58
coqide_8.4pl3dfsg-1_amd64.deb 727K2014-Jan-19 23:58
coq_8.4pl3dfsg-1_amd64.deb 4M2014-Jan-19 23:58
coqide_8.4pl3dfsg-1_i386.deb 662K2014-Jan-19 23:58
libcoq-ocaml_8.4pl3dfsg-1_i386.deb 1M2014-Jan-19 23:58
coq_8.4pl3dfsg-1_i386.deb 4M2014-Jan-19 23:58
libcoq-ocaml-dev_8.4pl3dfsg-1_i386.deb 3M2014-Jan-19 23:58
coq_8.4pl4dfsg.orig.tar.gz 3M2014-Jul-27 23:13
coq_8.4pl4dfsg-3build2.debian.tar.xz 16K2015-Nov-04 13:14
coq_8.4pl4dfsg-3build2.dsc 23982015-Nov-04 13:14
coq_8.4pl4dfsg-3build2_i386.deb 4M2015-Nov-04 13:39
coqide_8.4pl4dfsg-3build2_i386.deb 695K2015-Nov-04 13:39
libcoq-ocaml_8.4pl4dfsg-3build2_i386.deb 1M2015-Nov-04 13:39
libcoq-ocaml-dev_8.4pl4dfsg-3build2_i386.deb 4M2015-Nov-04 13:39
coqide_8.4pl4dfsg-3build2_amd64.deb 731K2015-Nov-04 14:04
libcoq-ocaml_8.4pl4dfsg-3build2_amd64.deb 1M2015-Nov-04 14:04
libcoq-ocaml-dev_8.4pl4dfsg-3build2_amd64.deb 4M2015-Nov-04 14:04
coq-theories_8.4pl4dfsg-3build2_all.deb 31M2015-Nov-04 14:04
coq_8.4pl4dfsg-3build2_amd64.deb 4M2015-Nov-04 14:04
coq_8.6.orig.tar.gz 5M2016-Dec-28 17:13
coq_8.6-4build3.debian.tar.xz 22K2017-Jul-27 08:53
coq_8.6-4build3.dsc 21532017-Jul-27 08:53
coq_8.6-4build3_i386.deb 16M2017-Jul-27 09:34
coqide_8.6-4build3_i386.deb 1M2017-Jul-27 09:34
coq-theories_8.6-4build3_i386.deb 30M2017-Jul-27 09:34
libcoq-ocaml-dev_8.6-4build3_i386.deb 13M2017-Jul-27 09:34
libcoq-ocaml_8.6-4build3_i386.deb 3M2017-Jul-27 09:34
coqide_8.6-4build3_amd64.deb 1M2017-Jul-27 10:03
coq_8.6-4build3_amd64.deb 17M2017-Jul-27 10:03
coq-theories_8.6-4build3_amd64.deb 32M2017-Jul-27 10:03
libcoq-ocaml_8.6-4build3_amd64.deb 3M2017-Jul-27 10:03
libcoq-ocaml-dev_8.6-4build3_amd64.deb 13M2017-Jul-27 10:03
coq_8.6-5build1.debian.tar.xz 21K2017-Oct-28 14:39
coq_8.6-5build1.dsc 24032017-Oct-28 14:39
libcoq-ocaml_8.6-5build1_amd64.deb 3M2017-Oct-28 15:34
coqide_8.6-5build1_amd64.deb 1M2017-Oct-28 15:34
coq-theories_8.6-5build1_amd64.deb 32M2017-Oct-28 15:34
libcoq-ocaml-dev_8.6-5build1_amd64.deb 13M2017-Oct-28 15:34
coq_8.6-5build1_amd64.deb 17M2017-Oct-28 15:34
libcoq-ocaml-dev_8.6-5build1_i386.deb 13M2017-Oct-28 15:34
coq_8.6-5build1_i386.deb 16M2017-Oct-28 15:34
coqide_8.6-5build1_i386.deb 1M2017-Oct-28 15:34
libcoq-ocaml_8.6-5build1_i386.deb 3M2017-Oct-28 15:34
coq-theories_8.6-5build1_i386.deb 31M2017-Oct-28 15:34