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 19:03  2.5K  
 aac-tactics_0.2.pl2-2build1.dsc                    25-Aug-2011 19:03  1.4K  
 aac-tactics_0.2.pl2-4build1.debian.tar.gz          08-Jan-2012 23:33  2.7K  
 aac-tactics_0.2.pl2-4build1.dsc                    08-Jan-2012 23:33  2.2K  
 aac-tactics_0.2.pl2-7.debian.tar.gz                11-Jun-2012 01:04  2.7K  
 aac-tactics_0.2.pl2-7.dsc                          11-Jun-2012 01:04  2.2K  
 aac-tactics_0.2.pl2.orig.tar.gz                    04-May-2011 22:11   76K  
 libaac-tactics-coq_0.2.pl2-2build1_all.deb         25-Aug-2011 19:03  298K  
 libaac-tactics-coq_0.2.pl2-4build1_all.deb         08-Jan-2012 23:33  309K  
 libaac-tactics-coq_0.2.pl2-7_all.deb               11-Jun-2012 01:34  312K  
 libaac-tactics-ocaml-dev_0.2.pl2-2build1_amd64.deb 25-Aug-2011 19:03  133K  
 libaac-tactics-ocaml-dev_0.2.pl2-2build1_i386.deb  25-Aug-2011 19:04  127K  
 libaac-tactics-ocaml-dev_0.2.pl2-4build1_amd64.deb 08-Jan-2012 23:33  133K  
 libaac-tactics-ocaml-dev_0.2.pl2-4build1_i386.deb  08-Jan-2012 23:33  127K  
 libaac-tactics-ocaml-dev_0.2.pl2-7_amd64.deb       11-Jun-2012 01:34  133K  
 libaac-tactics-ocaml-dev_0.2.pl2-7_i386.deb        11-Jun-2012 01:35  130K  
 libaac-tactics-ocaml_0.2.pl2-2build1_amd64.deb     25-Aug-2011 19:03  140K  
 libaac-tactics-ocaml_0.2.pl2-2build1_i386.deb      25-Aug-2011 19:04  122K  
 libaac-tactics-ocaml_0.2.pl2-4build1_amd64.deb     08-Jan-2012 23:33  139K  
 libaac-tactics-ocaml_0.2.pl2-4build1_i386.deb      08-Jan-2012 23:33  122K  
 libaac-tactics-ocaml_0.2.pl2-7_amd64.deb           11-Jun-2012 01:34  139K  
 libaac-tactics-ocaml_0.2.pl2-7_i386.deb            11-Jun-2012 01:35  122K