Index of /gnewsense-three/gnewsense/pool/main/a/aac-tactics

      Name                                          Last modified      Size  Description
      Parent Directory                                                   -   
      aac-tactics_0.2.pl2-7.debian.tar.gz           2012-06-09 10:02  2.7K  
      aac-tactics_0.2.pl2-7.dsc                     2012-06-09 10:02  2.2K  
      aac-tactics_0.2.pl2.orig.tar.gz               2011-02-28 07:02   76K  
      libaac-tactics-coq_0.2.pl2-7_all.deb          2012-06-09 10:02  313K  
      libaac-tactics-ocaml-dev_0.2.pl2-7_amd64.deb  2012-06-09 10:02  130K  
      libaac-tactics-ocaml-dev_0.2.pl2-7_i386.deb   2012-06-09 11:03  133K  
      libaac-tactics-ocaml-dev_0.2.pl2-7_mipsel.deb 2012-06-09 16:17   21K  
      libaac-tactics-ocaml_0.2.pl2-7_amd64.deb      2012-06-09 10:02  142K  
      libaac-tactics-ocaml_0.2.pl2-7_i386.deb       2012-06-09 11:03  124K  
      libaac-tactics-ocaml_0.2.pl2-7_mipsel.deb     2012-06-09 16:17   33K