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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory   -  
[ ]aac-tactics_0.2.pl2-..>2012-01-08 23:33 2.7K 
[TXT]aac-tactics_0.2.pl2-..>2012-01-08 23:33 2.2K 
[ ]aac-tactics_0.2.pl2-..>2012-06-11 01:04 2.7K 
[TXT]aac-tactics_0.2.pl2-..>2012-06-11 01:04 2.2K 
[ ]aac-tactics_0.2.pl2...>2011-05-04 22:11 76K 
[ ]aac-tactics_0.3.pl1-..>2013-05-10 01:33 3.0K 
[TXT]aac-tactics_0.3.pl1-..>2013-05-10 01:33 2.2K 
[ ]aac-tactics_0.3.pl1...>2013-05-10 01:33 72K 
[ ]aac-tactics_0.4-2.de..>2014-01-20 19:09 2.8K 
[TXT]aac-tactics_0.4-2.dsc 2014-01-20 19:09 2.1K 
[ ]aac-tactics_0.4-3.de..>2014-07-31 01:44 2.9K 
[TXT]aac-tactics_0.4-3.dsc 2014-07-31 01:44 2.2K 
[ ]aac-tactics_0.4-4.de..>2015-08-11 07:23 2.9K 
[TXT]aac-tactics_0.4-4.dsc 2015-08-11 07:23 2.2K 
[ ]aac-tactics_0.4-5.de..>2015-10-24 05:41 2.9K 
[TXT]aac-tactics_0.4-5.dsc 2015-10-24 05:41 2.2K 
[ ]aac-tactics_0.4-5bui..>2015-10-29 08:09 3.0K 
[TXT]aac-tactics_0.4-5bui..>2015-10-29 08:09 1.9K 
[ ]aac-tactics_0.4-5bui..>2015-11-05 08:30 3.0K 
[TXT]aac-tactics_0.4-5bui..>2015-11-05 08:30 1.9K 
[ ]aac-tactics_0.4-5bui..>2016-02-12 20:24 3.1K 
[TXT]aac-tactics_0.4-5bui..>2016-02-12 20:24 2.2K 
[ ]aac-tactics_0.4.orig..>2013-12-07 01:23 76K 
[ ]aac-tactics_8.5.1-1...>2016-11-24 03:48 5.2K 
[TXT]aac-tactics_8.5.1-1.dsc2016-11-24 03:48 2.2K 
[ ]aac-tactics_8.5.1.or..>2016-11-24 03:48 73K 
[ ]aac-tactics_8.6.1-1...>2016-12-31 01:13 3.1K 
[TXT]aac-tactics_8.6.1-1.dsc2016-12-31 01:13 2.2K 
[ ]aac-tactics_8.6.1-1b..>2017-07-03 08:33 3.3K 
[TXT]aac-tactics_8.6.1-1b..>2017-07-03 08:33 1.9K 
[ ]aac-tactics_8.6.1-1b..>2017-07-17 06:03 3.3K 
[TXT]aac-tactics_8.6.1-1b..>2017-07-17 06:03 1.9K 
[ ]aac-tactics_8.6.1-1b..>2017-07-17 07:03 3.3K 
[TXT]aac-tactics_8.6.1-1b..>2017-07-17 07:03 1.9K 
[ ]aac-tactics_8.6.1-1b..>2017-08-31 09:24 3.4K 
[TXT]aac-tactics_8.6.1-1b..>2017-08-31 09:24 1.9K 
[ ]aac-tactics_8.6.1-1b..>2017-10-29 00:19 3.4K 
[TXT]aac-tactics_8.6.1-1b..>2017-10-29 00:19 2.2K 
[ ]aac-tactics_8.6.1-2...>2017-11-01 21:05 3.2K 
[TXT]aac-tactics_8.6.1-2.dsc2017-11-01 21:05 2.2K 
[ ]aac-tactics_8.6.1-2b..>2019-01-15 22:48 3.2K 
[TXT]aac-tactics_8.6.1-2b..>2019-01-15 22:48 2.2K 
[ ]aac-tactics_8.6.1.or..>2016-12-31 01:13 73K 
[ ]aac-tactics_8.8.0+1...>2019-02-18 19:08 3.4K 
[TXT]aac-tactics_8.8.0+1...>2019-02-18 19:08 2.2K 
[ ]aac-tactics_8.8.0+1...>2019-07-27 04:58 3.5K 
[TXT]aac-tactics_8.8.0+1...>2019-07-27 04:58 2.2K 
[ ]aac-tactics_8.8.0+1...>2019-07-29 21:58 3.5K 
[TXT]aac-tactics_8.8.0+1...>2019-07-29 21:58 2.2K 
[ ]aac-tactics_8.8.0+1...>2019-08-05 20:53 3.5K 
[TXT]aac-tactics_8.8.0+1...>2019-08-05 20:53 2.2K 
[ ]aac-tactics_8.8.0+1...>2019-08-22 01:08 3.5K 
[TXT]aac-tactics_8.8.0+1...>2019-08-22 01:08 2.2K 
[ ]aac-tactics_8.8.0+1...>2019-02-18 19:08 64K 
[ ]aac-tactics_8.9.0-1...>2020-02-03 07:23 3.3K 
[TXT]aac-tactics_8.9.0-1.dsc2020-02-03 07:23 1.9K 
[ ]aac-tactics_8.9.0-1b..>2020-03-12 22:08 3.4K 
[TXT]aac-tactics_8.9.0-1b..>2020-03-12 22:08 2.1K 
[ ]aac-tactics_8.9.0.or..>2020-02-03 07:23 65K 
[ ]aac-tactics_8.11.0-1..>2020-03-19 02:28 3.4K 
[TXT]aac-tactics_8.11.0-1..>2020-03-19 02:28 2.1K 
[ ]aac-tactics_8.11.0-1..>2020-05-13 19:55 3.5K 
[TXT]aac-tactics_8.11.0-1..>2020-05-13 19:55 2.2K 
[ ]aac-tactics_8.11.0-1..>2020-08-11 16:18 3.5K 
[TXT]aac-tactics_8.11.0-1..>2020-08-11 16:18 2.2K 
[ ]aac-tactics_8.11.0-1..>2020-08-23 19:28 3.5K 
[TXT]aac-tactics_8.11.0-1..>2020-08-23 19:28 2.2K 
[ ]aac-tactics_8.11.0-1..>2020-09-16 17:49 3.5K 
[TXT]aac-tactics_8.11.0-1..>2020-09-16 17:49 2.2K 
[ ]aac-tactics_8.11.0.o..>2020-03-19 02:28 64K 
[ ]aac-tactics_8.15.0-1..>2022-02-07 01:19 3.5K 
[TXT]aac-tactics_8.15.0-1..>2022-02-07 01:19 2.2K 
[ ]aac-tactics_8.15.0.o..>2022-02-07 01:19 67K 
[ ]aac-tactics_8.15.1-3..>2022-04-30 09:03 3.7K 
[TXT]aac-tactics_8.15.1-3..>2022-04-30 09:03 2.2K 
[ ]aac-tactics_8.15.1-3..>2022-05-02 15:05 3.7K 
[TXT]aac-tactics_8.15.1-3..>2022-05-02 15:05 2.2K 
[ ]aac-tactics_8.15.1-4..>2022-05-23 07:35 3.7K 
[TXT]aac-tactics_8.15.1-4..>2022-05-23 07:35 2.2K 
[ ]aac-tactics_8.15.1-4..>2022-06-02 00:08 3.7K 
[TXT]aac-tactics_8.15.1-4..>2022-06-02 00:08 2.2K 
[ ]aac-tactics_8.15.1-5..>2022-06-02 01:34 3.7K 
[TXT]aac-tactics_8.15.1-5..>2022-06-02 01:34 2.2K 
[ ]aac-tactics_8.15.1-6..>2022-06-13 01:24 3.7K 
[TXT]aac-tactics_8.15.1-6..>2022-06-13 01:24 2.2K 
[ ]aac-tactics_8.15.1.o..>2022-04-30 09:03 67K 
[ ]aac-tactics_8.16.0-1..>2022-11-06 11:19 3.4K 
[TXT]aac-tactics_8.16.0-1..>2022-11-06 11:19 2.1K 
[ ]aac-tactics_8.16.0-1..>2022-11-25 19:14 3.5K 
[TXT]aac-tactics_8.16.0-1..>2022-11-25 19:14 2.1K 
[ ]aac-tactics_8.16.0-1..>2022-11-26 02:40 3.5K 
[TXT]aac-tactics_8.16.0-1..>2022-11-26 02:40 2.1K 
[ ]aac-tactics_8.16.0-1..>2022-12-03 17:59 3.5K 
[TXT]aac-tactics_8.16.0-1..>2022-12-03 17:59 2.1K 
[ ]aac-tactics_8.16.0.o..>2022-11-06 11:19 74K 
[ ]aac-tactics_8.17.0-1..>2023-01-05 07:34 3.5K 
[TXT]aac-tactics_8.17.0-1..>2023-01-05 07:34 2.1K 
[ ]aac-tactics_8.17.0-1..>2023-01-26 16:54 3.5K 
[TXT]aac-tactics_8.17.0-1..>2023-01-26 16:54 2.1K 
[ ]aac-tactics_8.17.0-1..>2023-02-16 18:06 3.5K 
[TXT]aac-tactics_8.17.0-1..>2023-02-16 18:06 2.1K 
[ ]aac-tactics_8.17.0-2..>2023-06-13 13:30 3.6K 
[TXT]aac-tactics_8.17.0-2..>2023-06-13 13:30 2.1K 
[ ]aac-tactics_8.17.0-2..>2023-07-25 01:37 3.6K 
[TXT]aac-tactics_8.17.0-2..>2023-07-25 01:37 2.1K 
[ ]aac-tactics_8.17.0-3..>2023-10-26 23:43 3.6K 
[TXT]aac-tactics_8.17.0-3..>2023-10-26 23:43 1.8K 
[ ]aac-tactics_8.17.0-3..>2023-11-23 08:05 3.7K 
[TXT]aac-tactics_8.17.0-3..>2023-11-23 08:05 2.1K 
[ ]aac-tactics_8.17.0.o..>2023-01-05 07:34 74K 
[ ]aac-tactics_8.18.0-1..>2023-12-22 07:52 3.6K 
[TXT]aac-tactics_8.18.0-1..>2023-12-22 07:52 2.1K 
[ ]aac-tactics_8.18.0-1..>2024-03-24 08:53 3.7K 
[TXT]aac-tactics_8.18.0-1..>2024-03-24 08:53 2.2K 
[ ]aac-tactics_8.18.0-1..>2024-04-01 01:45 3.8K 
[TXT]aac-tactics_8.18.0-1..>2024-04-01 01:45 2.2K 
[ ]aac-tactics_8.18.0-1..>2024-04-08 15:57 3.8K 
[TXT]aac-tactics_8.18.0-1..>2024-04-08 15:57 2.1K 
[ ]aac-tactics_8.18.0-1..>2024-05-03 04:28 3.8K 
[TXT]aac-tactics_8.18.0-1..>2024-05-03 04:28 2.1K 
[ ]aac-tactics_8.18.0.o..>2023-12-22 07:52 74K 
[ ]aac-tactics_8.19.0-1..>2024-05-03 09:55 3.6K 
[TXT]aac-tactics_8.19.0-1..>2024-05-03 09:55 2.1K 
[ ]aac-tactics_8.19.0-1..>2024-05-14 02:39 3.7K 
[TXT]aac-tactics_8.19.0-1..>2024-05-14 02:39 2.1K 
[ ]aac-tactics_8.19.0.o..>2024-05-03 09:55 75K 
[ ]libaac-tactics-coq_0..>2012-01-08 23:33 309K 
[ ]libaac-tactics-coq_0..>2012-06-11 01:34 312K 
[ ]libaac-tactics-coq_0..>2013-05-10 01:33 287K 
[ ]libaac-tactics-coq_0..>2014-01-20 19:33 208K 
[ ]libaac-tactics-coq_0..>2014-07-31 01:45 208K 
[ ]libaac-tactics-coq_0..>2015-08-11 07:24 208K 
[ ]libaac-tactics-coq_0..>2015-10-24 05:41 208K 
[ ]libaac-tactics-coq_0..>2015-10-29 08:09 208K 
[ ]libaac-tactics-coq_0..>2015-11-05 08:33 208K 
[ ]libaac-tactics-coq_8..>2016-11-24 04:03 212K 
[ ]libaac-tactics-coq_8..>2016-12-31 01:23 215K 
[ ]libaac-tactics-coq_8..>2017-07-03 08:48 215K 
[ ]libaac-tactics-coq_8..>2017-07-17 06:03 216K 
[ ]libaac-tactics-coq_8..>2017-07-17 07:03 215K 
[ ]libaac-tactics-coq_8..>2017-08-31 09:24 216K 
[ ]libaac-tactics-coq_8..>2017-10-29 01:03 216K 
[ ]libaac-tactics-coq_8..>2017-11-01 21:05 216K 
[ ]libaac-tactics-coq_8..>2019-02-18 19:33 214K 
[ ]libaac-tactics-coq_8..>2019-07-27 05:38 214K 
[ ]libaac-tactics-coq_8..>2019-07-29 22:13 214K 
[ ]libaac-tactics-coq_8..>2019-08-05 21:03 214K 
[ ]libaac-tactics-coq_8..>2019-08-22 01:18 214K 
[ ]libaac-tactics-coq_8..>2020-02-25 02:13 243K 
[ ]libaac-tactics-coq_8..>2020-03-19 03:48 238K 
[ ]libaac-tactics-coq_8..>2020-05-13 21:33 238K 
[ ]libaac-tactics-coq_8..>2020-08-11 16:33 238K 
[ ]libaac-tactics-coq_8..>2020-08-23 19:33 238K 
[ ]libaac-tactics-coq_8..>2022-02-07 03:04 282K 
[ ]libaac-tactics-ocaml..>2012-01-08 23:33 133K 
[ ]libaac-tactics-ocaml..>2012-01-08 23:33 127K 
[ ]libaac-tactics-ocaml..>2012-06-11 01:34 133K 
[ ]libaac-tactics-ocaml..>2012-06-11 01:35 130K 
[ ]libaac-tactics-ocaml..>2013-05-10 01:33 61K 
[ ]libaac-tactics-ocaml..>2013-05-10 01:34 62K 
[ ]libaac-tactics-ocaml..>2014-01-20 19:33 43K 
[ ]libaac-tactics-ocaml..>2014-01-20 19:33 43K 
[ ]libaac-tactics-ocaml..>2014-07-31 02:37 44K 
[ ]libaac-tactics-ocaml..>2014-07-31 01:45 43K 
[ ]libaac-tactics-ocaml..>2015-08-11 07:24 43K 
[ ]libaac-tactics-ocaml..>2015-08-11 07:24 43K 
[ ]libaac-tactics-ocaml..>2015-10-24 05:41 43K 
[ ]libaac-tactics-ocaml..>2015-10-24 05:44 44K 
[ ]libaac-tactics-ocaml..>2015-10-29 08:09 44K 
[ ]libaac-tactics-ocaml..>2015-10-29 08:10 43K 
[ ]libaac-tactics-ocaml..>2015-11-05 08:33 43K 
[ ]libaac-tactics-ocaml..>2015-11-05 08:34 43K 
[ ]libaac-tactics-ocaml..>2016-11-24 04:03 37K 
[ ]libaac-tactics-ocaml..>2016-11-24 04:03 37K 
[ ]libaac-tactics-ocaml..>2016-12-31 01:23 37K 
[ ]libaac-tactics-ocaml..>2016-12-31 01:24 37K 
[ ]libaac-tactics-ocaml..>2017-07-03 08:48 37K 
[ ]libaac-tactics-ocaml..>2017-07-03 08:48 37K 
[ ]libaac-tactics-ocaml..>2017-07-17 06:03 37K 
[ ]libaac-tactics-ocaml..>2017-07-17 06:03 37K 
[ ]libaac-tactics-ocaml..>2017-07-17 07:03 37K 
[ ]libaac-tactics-ocaml..>2017-07-17 07:03 37K 
[ ]libaac-tactics-ocaml..>2017-08-31 09:24 37K 
[ ]libaac-tactics-ocaml..>2017-08-31 09:24 37K 
[ ]libaac-tactics-ocaml..>2017-10-29 01:03 37K 
[ ]libaac-tactics-ocaml..>2017-10-29 01:03 37K 
[ ]libaac-tactics-ocaml..>2017-11-01 21:05 37K 
[ ]libaac-tactics-ocaml..>2017-11-01 21:05 37K 
[ ]libaac-tactics-ocaml..>2019-02-18 19:33 37K 
[ ]libaac-tactics-ocaml..>2019-02-18 19:33 37K 
[ ]libaac-tactics-ocaml..>2019-07-27 05:38 37K 
[ ]libaac-tactics-ocaml..>2019-07-27 05:38 37K 
[ ]libaac-tactics-ocaml..>2019-07-29 22:13 37K 
[ ]libaac-tactics-ocaml..>2019-07-29 22:13 37K 
[ ]libaac-tactics-ocaml..>2019-08-05 21:03 37K 
[ ]libaac-tactics-ocaml..>2019-08-05 21:04 37K 
[ ]libaac-tactics-ocaml..>2019-08-22 01:18 37K 
[ ]libaac-tactics-ocaml..>2019-08-22 01:18 37K 
[ ]libaac-tactics-ocaml..>2020-02-25 02:13 39K 
[ ]libaac-tactics-ocaml..>2020-03-19 03:48 38K 
[ ]libaac-tactics-ocaml..>2020-05-13 21:33 38K 
[ ]libaac-tactics-ocaml..>2020-08-11 16:33 38K 
[ ]libaac-tactics-ocaml..>2020-08-23 19:33 38K 
[ ]libaac-tactics-ocaml..>2022-02-07 03:04 40K 
[ ]libaac-tactics-ocaml..>2022-04-30 10:25 40K 
[ ]libaac-tactics-ocaml..>2022-05-02 15:24 39K 
[ ]libaac-tactics-ocaml..>2022-05-23 07:35 39K 
[ ]libaac-tactics-ocaml..>2022-06-02 00:09 39K 
[ ]libaac-tactics-ocaml..>2022-06-02 01:34 39K 
[ ]libaac-tactics-ocaml..>2022-06-13 01:24 39K 
[ ]libaac-tactics-ocaml..>2012-01-08 23:33 139K 
[ ]libaac-tactics-ocaml..>2012-01-08 23:33 122K 
[ ]libaac-tactics-ocaml..>2012-06-11 01:34 139K 
[ ]libaac-tactics-ocaml..>2012-06-11 01:35 122K 
[ ]libaac-tactics-ocaml..>2013-05-10 01:33 139K 
[ ]libaac-tactics-ocaml..>2013-05-10 01:34 121K 
[ ]libaac-tactics-ocaml..>2014-01-20 19:33 125K 
[ ]libaac-tactics-ocaml..>2014-01-20 19:33 114K 
[ ]libaac-tactics-ocaml..>2014-07-31 02:37 125K 
[ ]libaac-tactics-ocaml..>2014-07-31 01:45 114K 
[ ]libaac-tactics-ocaml..>2015-08-11 07:24 125K 
[ ]libaac-tactics-ocaml..>2015-08-11 07:24 114K 
[ ]libaac-tactics-ocaml..>2015-10-24 05:41 125K 
[ ]libaac-tactics-ocaml..>2015-10-24 05:44 114K 
[ ]libaac-tactics-ocaml..>2015-10-29 08:09 125K 
[ ]libaac-tactics-ocaml..>2015-10-29 08:10 114K 
[ ]libaac-tactics-ocaml..>2015-11-05 08:33 117K 
[ ]libaac-tactics-ocaml..>2015-11-05 08:34 109K 
[ ]libaac-tactics-ocaml..>2016-11-24 04:03 111K 
[ ]libaac-tactics-ocaml..>2016-11-24 04:03 104K 
[ ]libaac-tactics-ocaml..>2016-12-31 01:23 107K 
[ ]libaac-tactics-ocaml..>2016-12-31 01:24 101K 
[ ]libaac-tactics-ocaml..>2017-07-03 08:48 118K 
[ ]libaac-tactics-ocaml..>2017-07-03 08:48 107K 
[ ]libaac-tactics-ocaml..>2017-07-17 06:03 118K 
[ ]libaac-tactics-ocaml..>2017-07-17 06:03 107K 
[ ]libaac-tactics-ocaml..>2017-07-17 07:03 118K 
[ ]libaac-tactics-ocaml..>2017-07-17 07:03 107K 
[ ]libaac-tactics-ocaml..>2017-08-31 09:24 118K 
[ ]libaac-tactics-ocaml..>2017-08-31 09:24 107K 
[ ]libaac-tactics-ocaml..>2017-10-29 01:03 117K 
[ ]libaac-tactics-ocaml..>2017-10-29 01:03 108K 
[ ]libaac-tactics-ocaml..>2017-11-01 21:05 117K 
[ ]libaac-tactics-ocaml..>2017-11-01 21:05 108K 
[ ]libaac-tactics-ocaml..>2019-02-18 19:33 118K 
[ ]libaac-tactics-ocaml..>2019-02-18 19:33 108K 
[ ]libaac-tactics-ocaml..>2019-07-27 05:38 118K 
[ ]libaac-tactics-ocaml..>2019-07-27 05:38 108K 
[ ]libaac-tactics-ocaml..>2019-07-29 22:13 118K 
[ ]libaac-tactics-ocaml..>2019-07-29 22:13 108K 
[ ]libaac-tactics-ocaml..>2019-08-05 21:03 118K 
[ ]libaac-tactics-ocaml..>2019-08-05 21:04 108K 
[ ]libaac-tactics-ocaml..>2019-08-22 01:18 118K 
[ ]libaac-tactics-ocaml..>2019-08-22 01:18 108K 
[ ]libaac-tactics-ocaml..>2020-02-25 02:13 116K 
[ ]libaac-tactics-ocaml..>2020-03-19 03:48 104K 
[ ]libaac-tactics-ocaml..>2020-05-13 21:33 104K 
[ ]libaac-tactics-ocaml..>2020-08-11 16:33 104K 
[ ]libaac-tactics-ocaml..>2020-08-23 19:33 105K 
[ ]libaac-tactics-ocaml..>2022-02-07 03:04 128K 
[ ]libaac-tactics-ocaml..>2022-04-30 10:25 128K 
[ ]libaac-tactics-ocaml..>2022-05-02 15:24 123K 
[ ]libaac-tactics-ocaml..>2022-05-23 07:35 123K 
[ ]libaac-tactics-ocaml..>2022-06-02 00:09 123K 
[ ]libaac-tactics-ocaml..>2022-06-02 01:34 123K 
[ ]libaac-tactics-ocaml..>2022-06-13 01:24 123K 
[ ]libcoq-aac-tactics_8..>2022-04-30 10:25 287K 
[ ]libcoq-aac-tactics_8..>2022-05-02 15:24 282K 
[ ]libcoq-aac-tactics_8..>2022-05-23 07:35 282K 
[ ]libcoq-aac-tactics_8..>2022-06-02 00:09 282K 
[ ]libcoq-aac-tactics_8..>2022-06-02 01:34 282K 
[ ]libcoq-aac-tactics_8..>2022-06-13 01:24 282K 
[ ]libcoq-aac-tactics_8..>2022-11-06 15:55 417K 
[ ]libcoq-aac-tactics_8..>2022-11-25 19:14 417K 
[ ]libcoq-aac-tactics_8..>2022-11-26 02:41 417K 
[ ]libcoq-aac-tactics_8..>2022-12-03 17:59 416K 
[ ]libcoq-aac-tactics_8..>2023-01-05 07:34 416K 
[ ]libcoq-aac-tactics_8..>2023-01-26 17:38 416K 
[ ]libcoq-aac-tactics_8..>2023-02-16 20:57 415K 
[ ]libcoq-aac-tactics_8..>2023-06-13 13:30 415K 
[ ]libcoq-aac-tactics_8..>2023-07-25 04:24 415K 
[ ]libcoq-aac-tactics_8..>2023-11-06 05:09 415K 
[ ]libcoq-aac-tactics_8..>2023-11-23 08:05 415K 
[ ]libcoq-aac-tactics_8..>2023-12-23 08:12 526K 
[ ]libcoq-aac-tactics_8..>2024-03-24 08:53 412K 
[ ]libcoq-aac-tactics_8..>2024-04-01 03:33 412K 
[ ]libcoq-aac-tactics_8..>2024-04-08 15:57 412K 
[ ]libcoq-aac-tactics_8..>2024-05-03 04:28 421K 
[ ]libcoq-aac-tactics_8..>2024-05-03 09:56 421K 
[ ]libcoq-aac-tactics_8..>2024-05-14 02:40 421K