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

      Name                                               Last modified      Size  Description
      Parent Directory                                                        -   
      aac-tactics_0.2.pl2-2build1.debian.tar.gz          25-Aug-2011 20:03  2.5K  
      aac-tactics_0.2.pl2-2build1.dsc                    25-Aug-2011 20:03  1.4K  
      aac-tactics_0.2.pl2-4build1.debian.tar.gz          09-Jan-2012 00:33  2.7K  
      aac-tactics_0.2.pl2-4build1.dsc                    09-Jan-2012 00:33  2.2K  
      aac-tactics_0.2.pl2-6.debian.tar.gz                01-May-2012 08:48  2.7K  
      aac-tactics_0.2.pl2-6.dsc                          01-May-2012 08:48  2.2K  
      aac-tactics_0.2.pl2.orig.tar.gz                    04-May-2011 23:11   76K  
      libaac-tactics-coq_0.2.pl2-2build1_all.deb         25-Aug-2011 20:03  298K  
      libaac-tactics-coq_0.2.pl2-4build1_all.deb         09-Jan-2012 00:33  309K  
      libaac-tactics-coq_0.2.pl2-6_all.deb               01-May-2012 08:58  311K  
      libaac-tactics-ocaml-dev_0.2.pl2-2build1_amd64.deb 25-Aug-2011 20:03  133K  
      libaac-tactics-ocaml-dev_0.2.pl2-2build1_i386.deb  25-Aug-2011 20:04  127K  
      libaac-tactics-ocaml-dev_0.2.pl2-4build1_amd64.deb 09-Jan-2012 00:33  133K  
      libaac-tactics-ocaml-dev_0.2.pl2-4build1_i386.deb  09-Jan-2012 00:33  127K  
      libaac-tactics-ocaml-dev_0.2.pl2-6_amd64.deb       01-May-2012 08:58  133K  
      libaac-tactics-ocaml-dev_0.2.pl2-6_i386.deb        01-May-2012 09:09  132K  
      libaac-tactics-ocaml_0.2.pl2-2build1_amd64.deb     25-Aug-2011 20:03  140K  
      libaac-tactics-ocaml_0.2.pl2-2build1_i386.deb      25-Aug-2011 20:04  122K  
      libaac-tactics-ocaml_0.2.pl2-4build1_amd64.deb     09-Jan-2012 00:33  139K  
      libaac-tactics-ocaml_0.2.pl2-4build1_i386.deb      09-Jan-2012 00:33  122K  
      libaac-tactics-ocaml_0.2.pl2-6_amd64.deb           01-May-2012 08:58  139K  
      libaac-tactics-ocaml_0.2.pl2-6_i386.deb            01-May-2012 09:09  122K