Index of /ubuntu/pool/universe/a/aac-tactics

Icon  Name                                               Last modified      Size  Description
[DIR] Parent Directory - [   ] aac-tactics_0.2.pl2.orig.tar.gz 04-May-2011 22:11 76K [   ] aac-tactics_0.2.pl2-2build1.debian.tar.gz 25-Aug-2011 19:03 2.5K [TXT] aac-tactics_0.2.pl2-2build1.dsc 25-Aug-2011 19:03 1.4K [   ] libaac-tactics-ocaml-dev_0.2.pl2-2build1_amd64.deb 25-Aug-2011 19:03 133K [   ] libaac-tactics-ocaml_0.2.pl2-2build1_amd64.deb 25-Aug-2011 19:03 140K [   ] libaac-tactics-coq_0.2.pl2-2build1_all.deb 25-Aug-2011 19:03 298K [   ] libaac-tactics-ocaml-dev_0.2.pl2-2build1_i386.deb 25-Aug-2011 19:04 127K [   ] libaac-tactics-ocaml_0.2.pl2-2build1_i386.deb 25-Aug-2011 19:04 122K [   ] aac-tactics_0.2.pl2-4build1.debian.tar.gz 08-Jan-2012 23:33 2.7K [TXT] aac-tactics_0.2.pl2-4build1.dsc 08-Jan-2012 23:33 2.2K [   ] libaac-tactics-ocaml-dev_0.2.pl2-4build1_amd64.deb 08-Jan-2012 23:33 133K [   ] libaac-tactics-ocaml_0.2.pl2-4build1_amd64.deb 08-Jan-2012 23:33 139K [   ] libaac-tactics-coq_0.2.pl2-4build1_all.deb 08-Jan-2012 23:33 309K [   ] libaac-tactics-ocaml-dev_0.2.pl2-4build1_i386.deb 08-Jan-2012 23:33 127K [   ] libaac-tactics-ocaml_0.2.pl2-4build1_i386.deb 08-Jan-2012 23:33 122K [   ] aac-tactics_0.2.pl2-7.debian.tar.gz 11-Jun-2012 01:04 2.7K [TXT] aac-tactics_0.2.pl2-7.dsc 11-Jun-2012 01:04 2.2K [   ] libaac-tactics-coq_0.2.pl2-7_all.deb 11-Jun-2012 01:34 312K [   ] libaac-tactics-ocaml-dev_0.2.pl2-7_amd64.deb 11-Jun-2012 01:34 133K [   ] libaac-tactics-ocaml_0.2.pl2-7_amd64.deb 11-Jun-2012 01:34 139K [   ] libaac-tactics-ocaml-dev_0.2.pl2-7_i386.deb 11-Jun-2012 01:35 130K [   ] libaac-tactics-ocaml_0.2.pl2-7_i386.deb 11-Jun-2012 01:35 122K
Microsoft-IIS/10.0 Server at ftp.twaren.net Port 80