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

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