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

 Name                                                          Last modified      Size  Description
 Parent Directory                                                                   -   
 aac-tactics_0.2.pl2-4build1.debian.tar.gz                     08-Jan-2012 10:33  2.7K  
 aac-tactics_0.2.pl2-4build1.dsc                               08-Jan-2012 10:33  2.2K  
 aac-tactics_0.2.pl2.orig.tar.gz                               04-May-2011 10:11   76K  
 aac-tactics_0.4-2.debian.tar.xz                               20-Jan-2014 06:09  2.8K  
 aac-tactics_0.4-2.dsc                                         20-Jan-2014 06:09  2.1K  
 aac-tactics_0.4-5build2.debian.tar.xz                         04-Nov-2015 19:30  3.0K  
 aac-tactics_0.4-5build2.dsc                                   04-Nov-2015 19:30  1.9K  
 aac-tactics_0.4.orig.tar.gz                                   06-Dec-2013 12:23   76K  
 aac-tactics_8.6.1-2.debian.tar.xz                             01-Nov-2017 09:05  3.2K  
 aac-tactics_8.6.1-2.dsc                                       01-Nov-2017 09:05  2.2K  
 aac-tactics_8.6.1.orig.tar.gz                                 30-Dec-2016 12:13   73K  
 aac-tactics_8.8.0+1.gbp069dc3b-1build4.debian.tar.xz          21-Aug-2019 13:08  3.5K  
 aac-tactics_8.8.0+1.gbp069dc3b-1build4.dsc                    21-Aug-2019 13:08  2.2K  
 aac-tactics_8.8.0+1.gbp069dc3b.orig.tar.gz                    18-Feb-2019 06:08   64K  
 libaac-tactics-coq_0.2.pl2-4build1_all.deb                    08-Jan-2012 10:33  309K  
 libaac-tactics-coq_0.4-2_all.deb                              20-Jan-2014 06:33  208K  
 libaac-tactics-coq_0.4-5build2_all.deb                        04-Nov-2015 19:33  208K  
 libaac-tactics-coq_8.6.1-2_all.deb                            01-Nov-2017 09:05  216K  
 libaac-tactics-coq_8.8.0+1.gbp069dc3b-1build4_all.deb         21-Aug-2019 13:18  214K  
 libaac-tactics-ocaml-dev_0.2.pl2-4build1_amd64.deb            08-Jan-2012 10:33  133K  
 libaac-tactics-ocaml-dev_0.2.pl2-4build1_i386.deb             08-Jan-2012 10:33  127K  
 libaac-tactics-ocaml-dev_0.4-2_amd64.deb                      20-Jan-2014 06:33   43K  
 libaac-tactics-ocaml-dev_0.4-2_i386.deb                       20-Jan-2014 06:33   43K  
 libaac-tactics-ocaml-dev_0.4-5build2_amd64.deb                04-Nov-2015 19:33   43K  
 libaac-tactics-ocaml-dev_0.4-5build2_i386.deb                 04-Nov-2015 19:34   43K  
 libaac-tactics-ocaml-dev_8.6.1-2_amd64.deb                    01-Nov-2017 09:05   37K  
 libaac-tactics-ocaml-dev_8.6.1-2_i386.deb                     01-Nov-2017 09:05   37K  
 libaac-tactics-ocaml-dev_8.8.0+1.gbp069dc3b-1build4_amd64.deb 21-Aug-2019 13:18   37K  
 libaac-tactics-ocaml-dev_8.8.0+1.gbp069dc3b-1build4_i386.deb  21-Aug-2019 13:18   37K  
 libaac-tactics-ocaml_0.2.pl2-4build1_amd64.deb                08-Jan-2012 10:33  139K  
 libaac-tactics-ocaml_0.2.pl2-4build1_i386.deb                 08-Jan-2012 10:33  122K  
 libaac-tactics-ocaml_0.4-2_amd64.deb                          20-Jan-2014 06:33  125K  
 libaac-tactics-ocaml_0.4-2_i386.deb                           20-Jan-2014 06:33  114K  
 libaac-tactics-ocaml_0.4-5build2_amd64.deb                    04-Nov-2015 19:33  117K  
 libaac-tactics-ocaml_0.4-5build2_i386.deb                     04-Nov-2015 19:34  109K  
 libaac-tactics-ocaml_8.6.1-2_amd64.deb                        01-Nov-2017 09:05  117K  
 libaac-tactics-ocaml_8.6.1-2_i386.deb                         01-Nov-2017 09:05  108K  
 libaac-tactics-ocaml_8.8.0+1.gbp069dc3b-1build4_amd64.deb     21-Aug-2019 13:18  118K  
 libaac-tactics-ocaml_8.8.0+1.gbp069dc3b-1build4_i386.deb      21-Aug-2019 13:18  108K