Index of /linux/mint/debian/latest/pool/main/c/coq

[ICO]NameLast modifiedSizeDescription
[DIR]Parent Directory  -  
[ ]coq-theories_8.4pl2dfsg-1_all.deb09-May-2013 04:55 56M 
[ ]coq-theories_8.3.pl4+dfsg-2_all.deb06-Jun-2012 18:32 52M 
[ ]coq-theories_8.4pl2dfsg-4_all.deb04-Dec-2013 09:05 31M 
[ ]coq-theories_8.4pl2dfsg-3_all.deb23-Nov-2013 05:23 30M 
[ ]coq-theories_8.2.pl2+dfsg-1_all.deb03-Jul-2010 03:19 18M 
[ ]coq_8.2.pl2+dfsg-1_amd64.deb03-Jul-2010 03:19 15M 
[ ]coq_8.2.pl2+dfsg-1_i386.deb03-Jul-2010 05:03 13M 
[ ]coqide_8.2.pl2+dfsg-1_amd64.deb03-Jul-2010 03:19 6.2M 
[ ]libcoq-ocaml-dev_8.2.pl2+dfsg-1_amd64.deb03-Jul-2010 03:19 5.8M 
[ ]coqide_8.2.pl2+dfsg-1_i386.deb03-Jul-2010 05:03 5.7M 
[ ]coq_8.4pl2dfsg-1_amd64.deb09-May-2013 04:55 5.7M 
[ ]libcoq-ocaml-dev_8.2.pl2+dfsg-1_i386.deb03-Jul-2010 05:03 5.7M 
[ ]libcoq-ocaml-dev_8.3.pl4+dfsg-2_amd64.deb06-Jun-2012 18:32 5.6M 
[ ]libcoq-ocaml-dev_8.4pl2dfsg-1_amd64.deb09-May-2013 04:55 5.5M 
[ ]libcoq-ocaml-dev_8.3.pl4+dfsg-2_i386.deb06-Jun-2012 19:32 5.5M 
[ ]coq_8.3.pl4+dfsg-2_amd64.deb06-Jun-2012 18:32 5.4M 
[ ]libcoq-ocaml-dev_8.4pl2dfsg-1_i386.deb09-May-2013 07:55 5.4M 
[ ]coqide_8.3.pl4+dfsg-2_amd64.deb06-Jun-2012 18:32 5.4M 
[ ]coq_8.4pl2dfsg-1_i386.deb09-May-2013 07:55 5.1M 
[ ]coqide_8.3.pl4+dfsg-2_i386.deb06-Jun-2012 19:32 5.0M 
[ ]coq_8.3.pl4+dfsg-2_i386.deb06-Jun-2012 19:32 4.8M 
[ ]coq_8.4pl2dfsg-3_amd64.deb23-Nov-2013 06:43 3.9M 
[ ]coq_8.4pl2dfsg-4_amd64.deb04-Dec-2013 09:05 3.9M 
[ ]coq_8.4pl2dfsg-3_i386.deb23-Nov-2013 06:28 3.6M 
[ ]coq_8.4pl2dfsg-4_i386.deb04-Dec-2013 11:26 3.6M 
[ ]libcoq-ocaml-dev_8.4pl2dfsg-4_amd64.deb04-Dec-2013 09:05 3.6M 
[ ]libcoq-ocaml-dev_8.4pl2dfsg-4_i386.deb04-Dec-2013 11:26 3.6M 
[ ]libcoq-ocaml-dev_8.4pl2dfsg-3_i386.deb23-Nov-2013 06:28 3.5M 
[ ]libcoq-ocaml-dev_8.4pl2dfsg-3_amd64.deb23-Nov-2013 06:43 3.5M 
[ ]coq_8.4pl2dfsg.orig.tar.gz09-May-2013 04:55 3.4M 
[ ]coq_8.3.pl4+dfsg.orig.tar.gz27-Mar-2012 20:02 3.0M 
[ ]coq_8.2.pl2+dfsg.orig.tar.gz03-Jul-2010 03:19 3.0M 
[ ]libcoq-ocaml_8.4pl2dfsg-1_amd64.deb09-May-2013 04:55 2.1M 
[ ]libcoq-ocaml_8.3.pl4+dfsg-2_amd64.deb06-Jun-2012 18:32 2.0M 
[ ]libcoq-ocaml_8.4pl2dfsg-1_i386.deb09-May-2013 07:55 1.9M 
[ ]libcoq-ocaml_8.3.pl4+dfsg-2_i386.deb06-Jun-2012 19:32 1.8M 
[ ]libcoq-ocaml_8.4pl2dfsg-3_amd64.deb23-Nov-2013 06:43 1.6M 
[ ]libcoq-ocaml_8.4pl2dfsg-4_amd64.deb04-Dec-2013 09:05 1.6M 
[ ]libcoq-ocaml_8.4pl2dfsg-4_i386.deb04-Dec-2013 11:26 1.4M 
[ ]libcoq-ocaml_8.4pl2dfsg-3_i386.deb23-Nov-2013 06:28 1.4M 
[ ]coqide_8.4pl2dfsg-1_amd64.deb09-May-2013 04:55 1.0M 
[ ]coqide_8.4pl2dfsg-1_i386.deb09-May-2013 07:55 821K 
[ ]coqide_8.4pl2dfsg-3_amd64.deb23-Nov-2013 06:43 776K 
[ ]coqide_8.4pl2dfsg-4_amd64.deb04-Dec-2013 09:05 774K 
[ ]coqide_8.4pl2dfsg-4_i386.deb04-Dec-2013 11:26 710K 
[ ]coqide_8.4pl2dfsg-3_i386.deb23-Nov-2013 06:28 709K 
[ ]coq_8.4pl2dfsg-4.debian.tar.gz04-Dec-2013 09:05 17K 
[ ]coq_8.4pl2dfsg-3.debian.tar.gz23-Nov-2013 05:23 17K 
[ ]coq_8.4pl2dfsg-1.debian.tar.gz09-May-2013 04:55 17K 
[ ]coq_8.2.pl2+dfsg-1.debian.tar.gz03-Jul-2010 03:19 16K 
[ ]coq_8.3.pl4+dfsg-2.debian.tar.gz06-Jun-2012 18:32 16K 
[TXT]coq_8.4pl2dfsg-4.dsc04-Dec-2013 09:05 2.3K 
[TXT]coq_8.4pl2dfsg-3.dsc23-Nov-2013 05:23 2.3K 
[TXT]coq_8.4pl2dfsg-1.dsc09-May-2013 04:55 2.3K 
[TXT]coq_8.3.pl4+dfsg-2.dsc06-Jun-2012 18:32 2.3K 
[TXT]coq_8.2.pl2+dfsg-1.dsc03-Jul-2010 03:19 2.1K 
Apache/2.2.15 (Red Hat) Server at ucmirror.canterbury.ac.nz Port 80