Index of /trisquel/pool/main/a/aac-tactics

 Name                                      Last modified      Size  
 Parent Directory                                               -   
 aac-tactics_0.2.pl2-2build1.dsc           2011-08-25 11:03  1.4K  
 aac-tactics_0.4-2.dsc                     2014-01-20 11:09  2.1K  
 aac-tactics_0.2.pl2-4build1.dsc           2012-01-08 15:33  2.2K  
 aac-tactics_0.2.pl2-2build1.debian.tar.gz 2011-08-25 11:03  2.5K  
 aac-tactics_0.2.pl2-4build1.debian.tar.gz 2012-01-08 15:33  2.7K  
 aac-tactics_0.4-2.debian.tar.xz           2014-01-20 11:09  2.8K  
 libaac-tactics-ocaml-dev_0.4-2_amd64.deb  2014-01-20 11:33   43K  
 libaac-tactics-ocaml-dev_0.4-2_i386.deb   2014-01-20 11:33   43K  
 aac-tactics_0.4.orig.tar.gz               2013-12-06 17:23   76K  
 aac-tactics_0.2.pl2.orig.tar.gz           2011-05-04 14:11   76K  
 libaac-tactics-ocaml_0.4-2_i386.deb       2014-01-20 11:33  114K  
 libaac-tactics-ocaml_0.4-2_amd64.deb      2014-01-20 11:33  125K  
 libaac-tactics-coq_0.4-2_all.deb          2014-01-20 11:33  208K