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

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