ftp.ntua.gr:/mirror/ubuntu/pool/universe/c/coq/ 
Icon  Name                                             Last modified      Size  Description
[DIR] Parent Directory                                                      -   
[   ] coq-theories_8.11.0-1_amd64.deb                  06-Mar-2020 10:38   32M  
[   ] coq-theories_8.12.0-3build1_amd64.deb            04-Oct-2020 04:38   35M  
[   ] coq-theories_8.12.0-3build3_amd64.deb            28-Nov-2020 12:13   35M  
[   ] coq-theories_8.3.pl4+dfsg-1_all.deb              03-Apr-2012 14:04   52M  
[   ] coq-theories_8.4pl3dfsg-1_all.deb                20-Jan-2014 01:58   30M  
[   ] coq-theories_8.4pl4dfsg-3build2_all.deb          04-Nov-2015 16:04   31M  
[   ] coq-theories_8.6-5build1_amd64.deb               28-Oct-2017 18:34   32M  
[   ] coq-theories_8.6-5build1_i386.deb                28-Oct-2017 18:34   31M  
[   ] coq_8.11.0-1.debian.tar.xz                       06-Mar-2020 09:53   31K  
[   ] coq_8.11.0-1.dsc                                 06-Mar-2020 09:53  2.4K  
[   ] coq_8.11.0-1_amd64.deb                           06-Mar-2020 10:38   73M  
[   ] coq_8.11.0.orig.tar.gz                           06-Mar-2020 09:53  5.6M  
[   ] coq_8.12.0-3build1.debian.tar.xz                 04-Oct-2020 03:48   37K  
[   ] coq_8.12.0-3build1.dsc                           04-Oct-2020 03:48  2.4K  
[   ] coq_8.12.0-3build1_amd64.deb                     04-Oct-2020 04:38   75M  
[   ] coq_8.12.0-3build3.debian.tar.xz                 28-Nov-2020 11:28   37K  
[   ] coq_8.12.0-3build3.dsc                           28-Nov-2020 11:28  2.4K  
[   ] coq_8.12.0-3build3_amd64.deb                     28-Nov-2020 12:13   86M  
[   ] coq_8.12.0.orig.tar.gz                           15-Sep-2020 11:23  5.7M  
[   ] coq_8.3.pl4+dfsg-1.debian.tar.gz                 03-Apr-2012 13:33   16K  
[   ] coq_8.3.pl4+dfsg-1.dsc                           03-Apr-2012 13:33  2.3K  
[   ] coq_8.3.pl4+dfsg-1_amd64.deb                     03-Apr-2012 14:34  5.3M  
[   ] coq_8.3.pl4+dfsg-1_i386.deb                      03-Apr-2012 14:04  4.7M  
[   ] coq_8.3.pl4+dfsg.orig.tar.gz                     03-Apr-2012 13:33  3.0M  
[   ] coq_8.4pl3dfsg-1.debian.tar.xz                   20-Jan-2014 01:18   15K  
[   ] coq_8.4pl3dfsg-1.dsc                             20-Jan-2014 01:18  2.3K  
[   ] coq_8.4pl3dfsg-1_amd64.deb                       20-Jan-2014 01:58  3.9M  
[   ] coq_8.4pl3dfsg-1_i386.deb                        20-Jan-2014 01:58  3.6M  
[   ] coq_8.4pl3dfsg.orig.tar.gz                       20-Jan-2014 01:18  3.4M  
[   ] coq_8.4pl4dfsg-3build2.debian.tar.xz             04-Nov-2015 15:14   16K  
[   ] coq_8.4pl4dfsg-3build2.dsc                       04-Nov-2015 15:14  2.3K  
[   ] coq_8.4pl4dfsg-3build2_amd64.deb                 04-Nov-2015 16:04  3.8M  
[   ] coq_8.4pl4dfsg-3build2_i386.deb                  04-Nov-2015 15:39  3.6M  
[   ] coq_8.4pl4dfsg.orig.tar.gz                       28-Jul-2014 02:13  3.4M  
[   ] coq_8.6-5build1.debian.tar.xz                    28-Oct-2017 17:39   21K  
[   ] coq_8.6-5build1.dsc                              28-Oct-2017 17:39  2.3K  
[   ] coq_8.6-5build1_amd64.deb                        28-Oct-2017 18:34   17M  
[   ] coq_8.6-5build1_i386.deb                         28-Oct-2017 18:34   16M  
[   ] coq_8.6.orig.tar.gz                              28-Dec-2016 19:13  4.8M  
[   ] coqide_8.11.0-1_amd64.deb                        06-Mar-2020 10:38  1.7M  
[   ] coqide_8.12.0-3build1_amd64.deb                  04-Oct-2020 04:38  1.7M  
[   ] coqide_8.12.0-3build3_amd64.deb                  28-Nov-2020 12:13  1.8M  
[   ] coqide_8.3.pl4+dfsg-1_amd64.deb                  03-Apr-2012 14:34  5.2M  
[   ] coqide_8.3.pl4+dfsg-1_i386.deb                   03-Apr-2012 14:04  4.9M  
[   ] coqide_8.4pl3dfsg-1_amd64.deb                    20-Jan-2014 01:58  727K  
[   ] coqide_8.4pl3dfsg-1_i386.deb                     20-Jan-2014 01:58  662K  
[   ] coqide_8.4pl4dfsg-3build2_amd64.deb              04-Nov-2015 16:04  731K  
[   ] coqide_8.4pl4dfsg-3build2_i386.deb               04-Nov-2015 15:39  695K  
[   ] coqide_8.6-5build1_amd64.deb                     28-Oct-2017 18:34  1.5M  
[   ] coqide_8.6-5build1_i386.deb                      28-Oct-2017 18:34  1.3M  
[   ] libcoq-ocaml-dev_8.11.0-1_amd64.deb              06-Mar-2020 10:38   15M  
[   ] libcoq-ocaml-dev_8.12.0-3build1_amd64.deb        04-Oct-2020 04:38   16M  
[   ] libcoq-ocaml-dev_8.12.0-3build3_amd64.deb        28-Nov-2020 12:13   18M  
[   ] libcoq-ocaml-dev_8.3.pl4+dfsg-1_amd64.deb        03-Apr-2012 14:34  5.6M  
[   ] libcoq-ocaml-dev_8.3.pl4+dfsg-1_i386.deb         03-Apr-2012 14:04  5.5M  
[   ] libcoq-ocaml-dev_8.4pl3dfsg-1_amd64.deb          20-Jan-2014 01:58  3.5M  
[   ] libcoq-ocaml-dev_8.4pl3dfsg-1_i386.deb           20-Jan-2014 01:58  3.5M  
[   ] libcoq-ocaml-dev_8.4pl4dfsg-3build2_amd64.deb    04-Nov-2015 16:04  3.5M  
[   ] libcoq-ocaml-dev_8.4pl4dfsg-3build2_i386.deb     04-Nov-2015 15:39  3.6M  
[   ] libcoq-ocaml-dev_8.6-5build1_amd64.deb           28-Oct-2017 18:34   13M  
[   ] libcoq-ocaml-dev_8.6-5build1_i386.deb            28-Oct-2017 18:34   13M  
[   ] libcoq-ocaml_8.11.0-1_amd64.deb                  06-Mar-2020 10:38  6.0M  
[   ] libcoq-ocaml_8.12.0-3build1_amd64.deb            04-Oct-2020 04:38  6.4M  
[   ] libcoq-ocaml_8.12.0-3build3_amd64.deb            28-Nov-2020 12:13  7.4M  
[   ] libcoq-ocaml_8.3.pl4+dfsg-1_amd64.deb            03-Apr-2012 14:34  1.9M  
[   ] libcoq-ocaml_8.3.pl4+dfsg-1_i386.deb             03-Apr-2012 14:04  1.7M  
[   ] libcoq-ocaml_8.4pl3dfsg-1_amd64.deb              20-Jan-2014 01:58  1.5M  
[   ] libcoq-ocaml_8.4pl3dfsg-1_i386.deb               20-Jan-2014 01:58  1.4M  
[   ] libcoq-ocaml_8.4pl4dfsg-3build2_amd64.deb        04-Nov-2015 16:04  1.4M  
[   ] libcoq-ocaml_8.4pl4dfsg-3build2_i386.deb         04-Nov-2015 15:39  1.3M  
[   ] libcoq-ocaml_8.6-5build1_amd64.deb               28-Oct-2017 18:34  3.4M  
[   ] libcoq-ocaml_8.6-5build1_i386.deb                28-Oct-2017 18:34  3.2M
Apache/2.2 Server at ftp.grnet.gr Port 80