ftp.ntua.gr:/ubuntu/pool/universe/a/aac-tactics/ 
Icon  Name                                             Last modified      Size  Description
[DIR] Parent Directory                                                      -   
[   ] aac-tactics_0.2.pl2-4build1.debian.tar.gz        08-Jan-2012 17:33  2.7K  
[   ] aac-tactics_0.2.pl2-4build1.dsc                  08-Jan-2012 17:33  2.2K  
[   ] aac-tactics_0.2.pl2.orig.tar.gz                  04-May-2011 17:11   76K  
[   ] aac-tactics_0.4-2.debian.tar.xz                  20-Jan-2014 13:09  2.8K  
[   ] aac-tactics_0.4-2.dsc                            20-Jan-2014 13:09  2.1K  
[   ] aac-tactics_0.4-5build2.debian.tar.xz            05-Nov-2015 02:30  3.0K  
[   ] aac-tactics_0.4-5build2.dsc                      05-Nov-2015 02:30  1.9K  
[   ] aac-tactics_0.4.orig.tar.gz                      06-Dec-2013 19:23   76K  
[   ] aac-tactics_8.11.0-1.debian.tar.xz               18-Mar-2020 20:28  3.4K  
[   ] aac-tactics_8.11.0-1.dsc                         18-Mar-2020 20:28  2.1K  
[   ] aac-tactics_8.11.0.orig.tar.gz                   18-Mar-2020 20:28   64K  
[   ] aac-tactics_8.6.1-2.debian.tar.xz                01-Nov-2017 15:05  3.2K  
[   ] aac-tactics_8.6.1-2.dsc                          01-Nov-2017 15:05  2.2K  
[   ] aac-tactics_8.6.1.orig.tar.gz                    30-Dec-2016 19:13   73K  
[   ] libaac-tactics-coq_0.2.pl2-4build1_all.deb       08-Jan-2012 17:33  309K  
[   ] libaac-tactics-coq_0.4-2_all.deb                 20-Jan-2014 13:33  208K  
[   ] libaac-tactics-coq_0.4-5build2_all.deb           05-Nov-2015 02:33  208K  
[   ] libaac-tactics-coq_8.11.0-1_all.deb              18-Mar-2020 21:48  238K  
[   ] libaac-tactics-coq_8.6.1-2_all.deb               01-Nov-2017 15:05  216K  
[   ] libaac-tactics-ocaml-dev_0.2.pl2-4build1_amd6..> 08-Jan-2012 17:33  133K  
[   ] libaac-tactics-ocaml-dev_0.2.pl2-4build1_i386..> 08-Jan-2012 17:33  127K  
[   ] libaac-tactics-ocaml-dev_0.4-2_amd64.deb         20-Jan-2014 13:33   43K  
[   ] libaac-tactics-ocaml-dev_0.4-2_i386.deb          20-Jan-2014 13:33   43K  
[   ] libaac-tactics-ocaml-dev_0.4-5build2_amd64.deb   05-Nov-2015 02:33   43K  
[   ] libaac-tactics-ocaml-dev_0.4-5build2_i386.deb    05-Nov-2015 02:34   43K  
[   ] libaac-tactics-ocaml-dev_8.11.0-1_amd64.deb      18-Mar-2020 21:48   38K  
[   ] libaac-tactics-ocaml-dev_8.6.1-2_amd64.deb       01-Nov-2017 15:05   37K  
[   ] libaac-tactics-ocaml-dev_8.6.1-2_i386.deb        01-Nov-2017 15:05   37K  
[   ] libaac-tactics-ocaml_0.2.pl2-4build1_amd64.deb   08-Jan-2012 17:33  139K  
[   ] libaac-tactics-ocaml_0.2.pl2-4build1_i386.deb    08-Jan-2012 17:33  122K  
[   ] libaac-tactics-ocaml_0.4-2_amd64.deb             20-Jan-2014 13:33  125K  
[   ] libaac-tactics-ocaml_0.4-2_i386.deb              20-Jan-2014 13:33  114K  
[   ] libaac-tactics-ocaml_0.4-5build2_amd64.deb       05-Nov-2015 02:33  117K  
[   ] libaac-tactics-ocaml_0.4-5build2_i386.deb        05-Nov-2015 02:34  109K  
[   ] libaac-tactics-ocaml_8.11.0-1_amd64.deb          18-Mar-2020 21:48  104K  
[   ] libaac-tactics-ocaml_8.6.1-2_amd64.deb           01-Nov-2017 15:05  117K  
[   ] libaac-tactics-ocaml_8.6.1-2_i386.deb            01-Nov-2017 15:05  108K
Apache/2.2 Server at ftp.ntua.gr Port 80