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

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 aac-tactics_0.4-2.de..> 20-Jan-2014 11:09  2.8K  
 aac-tactics_0.4-2.dsc   20-Jan-2014 11:09  2.1K  
 aac-tactics_0.4-5bui..> 05-Nov-2015 00:30  3.0K  
 aac-tactics_0.4-5bui..> 05-Nov-2015 00:30  1.9K  
 aac-tactics_0.4.orig..> 06-Dec-2013 17:23   76K  
 aac-tactics_8.6.1-2...> 01-Nov-2017 13:05  3.2K  
 aac-tactics_8.6.1-2.dsc 01-Nov-2017 13:05  2.2K  
 aac-tactics_8.6.1.or..> 30-Dec-2016 17:13   73K  
 aac-tactics_8.11.0-1..> 18-Mar-2020 18:28  3.4K  
 aac-tactics_8.11.0-1..> 18-Mar-2020 18:28  2.1K  
 aac-tactics_8.11.0.o..> 18-Mar-2020 18:28   64K  
 aac-tactics_8.15.0-1..> 06-Feb-2022 17:19  3.5K  
 aac-tactics_8.15.0-1..> 06-Feb-2022 17:19  2.2K  
 aac-tactics_8.15.0.o..> 06-Feb-2022 17:19   67K  
 aac-tactics_8.17.0-1..> 16-Feb-2023 10:06  3.5K  
 aac-tactics_8.17.0-1..> 16-Feb-2023 10:06  2.1K  
 aac-tactics_8.17.0-2..> 24-Jul-2023 17:37  3.6K  
 aac-tactics_8.17.0-2..> 24-Jul-2023 17:37  2.1K  
 aac-tactics_8.17.0.o..> 04-Jan-2023 23:34   74K  
 aac-tactics_8.18.0-1..> 08-Apr-2024 07:57  3.8K  
 aac-tactics_8.18.0-1..> 08-Apr-2024 07:57  2.1K  
 aac-tactics_8.18.0.o..> 21-Dec-2023 23:52   74K  
 aac-tactics_8.19.1-2..> 07-Sep-2024 15:43  3.8K  
 aac-tactics_8.19.1-2..> 07-Sep-2024 15:43  2.1K  
 aac-tactics_8.19.1.o..> 11-Jun-2024 17:54   75K  
 libaac-tactics-coq_0..> 20-Jan-2014 11:33  208K  
 libaac-tactics-coq_0..> 05-Nov-2015 00:33  208K  
 libaac-tactics-coq_8..> 01-Nov-2017 13:05  216K  
 libaac-tactics-coq_8..> 18-Mar-2020 19:48  238K  
 libaac-tactics-coq_8..> 06-Feb-2022 19:04  282K  
 libaac-tactics-ocaml..> 20-Jan-2014 11:33   43K  
 libaac-tactics-ocaml..> 20-Jan-2014 11:33   43K  
 libaac-tactics-ocaml..> 05-Nov-2015 00:33   43K  
 libaac-tactics-ocaml..> 05-Nov-2015 00:34   43K  
 libaac-tactics-ocaml..> 01-Nov-2017 13:05   37K  
 libaac-tactics-ocaml..> 01-Nov-2017 13:05   37K  
 libaac-tactics-ocaml..> 18-Mar-2020 19:48   38K  
 libaac-tactics-ocaml..> 06-Feb-2022 19:04   40K  
 libaac-tactics-ocaml..> 20-Jan-2014 11:33  125K  
 libaac-tactics-ocaml..> 20-Jan-2014 11:33  114K  
 libaac-tactics-ocaml..> 05-Nov-2015 00:33  117K  
 libaac-tactics-ocaml..> 05-Nov-2015 00:34  109K  
 libaac-tactics-ocaml..> 01-Nov-2017 13:05  117K  
 libaac-tactics-ocaml..> 01-Nov-2017 13:05  108K  
 libaac-tactics-ocaml..> 18-Mar-2020 19:48  104K  
 libaac-tactics-ocaml..> 06-Feb-2022 19:04  128K  
 libcoq-aac-tactics_8..> 16-Feb-2023 12:57  415K  
 libcoq-aac-tactics_8..> 24-Jul-2023 20:24  415K  
 libcoq-aac-tactics_8..> 08-Apr-2024 07:57  412K  
 libcoq-aac-tactics_8..> 07-Sep-2024 15:44  430K