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

 Name                    Last modified       Size  Description

 Parent Directory        06-Aug-2020 12:00      -  
 aac-tactics_0.4-3.de..> 30-Jul-2014 11:11     3k  
 aac-tactics_0.4-3.dsc   30-Jul-2014 11:11     2k  
 aac-tactics_0.4.orig..> 06-Dec-2013 08:54    76k  
 aac-tactics_8.11.0-1..> 17-Mar-2020 17:16     3k  
 aac-tactics_8.11.0-1..> 17-Mar-2020 17:16     2k  
 aac-tactics_8.11.0.o..> 17-Mar-2020 17:16    64k  
 aac-tactics_8.6.1-1...> 30-Dec-2016 11:13     3k  
 aac-tactics_8.6.1-1.dsc 30-Dec-2016 11:13     2k  
 aac-tactics_8.6.1.or..> 30-Dec-2016 11:13    73k  
 libaac-tactics-coq_0..> 30-Jul-2014 11:11   209k  
 libaac-tactics-coq_8..> 17-Mar-2020 17:36   239k  
 libaac-tactics-coq_8..> 30-Dec-2016 11:13   217k  
 libaac-tactics-ocaml..> 30-Jul-2014 11:11    44k  
 libaac-tactics-ocaml..> 30-Jul-2014 11:56    44k  
 libaac-tactics-ocaml..> 30-Jul-2014 11:56    44k  
 libaac-tactics-ocaml..> 30-Jul-2014 11:41    44k  
 libaac-tactics-ocaml..> 10-Apr-2020 15:03    38k  
 libaac-tactics-ocaml..> 10-Apr-2020 13:11    38k  
 libaac-tactics-ocaml..> 10-Apr-2020 13:41    38k  
 libaac-tactics-ocaml..> 30-Dec-2016 11:13    38k  
 libaac-tactics-ocaml..> 30-Dec-2016 11:43    38k  
 libaac-tactics-ocaml..> 30-Dec-2016 11:43    38k  
 libaac-tactics-ocaml..> 30-Dec-2016 11:43    38k  
 libaac-tactics-ocaml..> 30-Dec-2016 11:43    38k  
 libaac-tactics-ocaml..> 30-Dec-2016 11:43    38k  
 libaac-tactics-ocaml..> 04-Jan-2017 12:43    38k  
 libaac-tactics-ocaml..> 30-Dec-2016 11:43    38k  
 libaac-tactics-ocaml..> 30-Dec-2016 11:43    38k  
 libaac-tactics-ocaml..> 30-Dec-2016 11:43    38k  
 libaac-tactics-ocaml..> 30-Jul-2014 11:11   125k  
 libaac-tactics-ocaml..> 30-Jul-2014 11:56   120k  
 libaac-tactics-ocaml..> 30-Jul-2014 11:56   122k  
 libaac-tactics-ocaml..> 30-Jul-2014 11:41   115k  
 libaac-tactics-ocaml..> 10-Apr-2020 15:03   107k  
 libaac-tactics-ocaml..> 10-Apr-2020 13:11   117k  
 libaac-tactics-ocaml..> 10-Apr-2020 13:41   111k  
 libaac-tactics-ocaml..> 30-Dec-2016 11:13   108k  
 libaac-tactics-ocaml..> 30-Dec-2016 11:43   105k  
 libaac-tactics-ocaml..> 30-Dec-2016 11:43   112k  
 libaac-tactics-ocaml..> 30-Dec-2016 11:43   115k  
 libaac-tactics-ocaml..> 30-Dec-2016 11:43   101k  
 libaac-tactics-ocaml..> 30-Dec-2016 11:43    27k  
 libaac-tactics-ocaml..> 04-Jan-2017 12:43    27k  
 libaac-tactics-ocaml..> 30-Dec-2016 11:43    27k  
 libaac-tactics-ocaml..> 30-Dec-2016 11:43    27k  
 libaac-tactics-ocaml..> 30-Dec-2016 11:43    27k