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

      Name                    Last modified       Size  Description

[DIR] Parent Directory 06-Aug-2020 12:00 - [   ] aac-tactics_0.4-3.de..> 30-Jul-2014 11:11 3k [TXT] 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 [TXT] 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 [TXT] 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 [TXT] libaac-tactics-coq_0..> 30-Jul-2014 11:11 209k [TXT] libaac-tactics-coq_8..> 17-Mar-2020 17:36 239k [TXT] libaac-tactics-coq_8..> 30-Dec-2016 11:13 217k [TXT] libaac-tactics-ocaml..> 30-Jul-2014 11:11 44k [TXT] libaac-tactics-ocaml..> 30-Jul-2014 11:56 44k [TXT] libaac-tactics-ocaml..> 30-Jul-2014 11:56 44k [TXT] libaac-tactics-ocaml..> 30-Jul-2014 11:41 44k [TXT] libaac-tactics-ocaml..> 10-Apr-2020 15:03 38k [TXT] libaac-tactics-ocaml..> 10-Apr-2020 13:11 38k [TXT] libaac-tactics-ocaml..> 10-Apr-2020 13:41 38k [TXT] libaac-tactics-ocaml..> 30-Dec-2016 11:13 38k [TXT] libaac-tactics-ocaml..> 30-Dec-2016 11:43 38k [TXT] libaac-tactics-ocaml..> 30-Dec-2016 11:43 38k [TXT] libaac-tactics-ocaml..> 30-Dec-2016 11:43 38k [TXT] libaac-tactics-ocaml..> 30-Dec-2016 11:43 38k [TXT] libaac-tactics-ocaml..> 30-Dec-2016 11:43 38k [TXT] libaac-tactics-ocaml..> 04-Jan-2017 12:43 38k [TXT] libaac-tactics-ocaml..> 30-Dec-2016 11:43 38k [TXT] libaac-tactics-ocaml..> 30-Dec-2016 11:43 38k [TXT] libaac-tactics-ocaml..> 30-Dec-2016 11:43 38k [TXT] libaac-tactics-ocaml..> 30-Jul-2014 11:11 125k [TXT] libaac-tactics-ocaml..> 30-Jul-2014 11:56 120k [TXT] libaac-tactics-ocaml..> 30-Jul-2014 11:56 122k [TXT] libaac-tactics-ocaml..> 30-Jul-2014 11:41 115k [TXT] libaac-tactics-ocaml..> 10-Apr-2020 15:03 107k [TXT] libaac-tactics-ocaml..> 10-Apr-2020 13:11 117k [TXT] libaac-tactics-ocaml..> 10-Apr-2020 13:41 111k [TXT] libaac-tactics-ocaml..> 30-Dec-2016 11:13 108k [TXT] libaac-tactics-ocaml..> 30-Dec-2016 11:43 105k [TXT] libaac-tactics-ocaml..> 30-Dec-2016 11:43 112k [TXT] libaac-tactics-ocaml..> 30-Dec-2016 11:43 115k [TXT] libaac-tactics-ocaml..> 30-Dec-2016 11:43 101k [TXT] libaac-tactics-ocaml..> 30-Dec-2016 11:43 27k [TXT] libaac-tactics-ocaml..> 04-Jan-2017 12:43 27k [TXT] libaac-tactics-ocaml..> 30-Dec-2016 11:43 27k [TXT] libaac-tactics-ocaml..> 30-Dec-2016 11:43 27k [TXT] libaac-tactics-ocaml..> 30-Dec-2016 11:43 27k