Index of /ubuntu/ubuntu/pool/universe/a/aac-tactics
Name
Last modified
Size
Description
Parent Directory
-
aac-tactics_0.2.pl2-..>
2012-01-08 23:33
2.7K
aac-tactics_0.2.pl2-..>
2012-01-08 23:33
2.2K
aac-tactics_0.2.pl2-..>
2012-06-11 01:04
2.7K
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
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
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
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
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
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
aac-tactics_0.4-5bui..>
2015-10-29 08:09
1.9K
aac-tactics_0.4-5bui..>
2015-11-05 08:30
3.0K
aac-tactics_0.4-5bui..>
2015-11-05 08:30
1.9K
aac-tactics_0.4-5bui..>
2016-02-12 20:24
3.1K
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
aac-tactics_8.5.1-1.dsc
2016-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
aac-tactics_8.6.1-1.dsc
2016-12-31 01:13
2.2K
aac-tactics_8.6.1-1b..>
2017-07-03 08:33
3.3K
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
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
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
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
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
aac-tactics_8.6.1-2.dsc
2017-11-01 21:05
2.2K
aac-tactics_8.6.1-2b..>
2019-01-15 22:48
3.2K
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
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
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
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
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
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
aac-tactics_8.9.0-1.dsc
2020-02-03 07:23
1.9K
aac-tactics_8.9.0-1b..>
2020-03-12 22:08
3.4K
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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