Index of /ubuntu/ubuntu/pool/universe/a/acl2
Name
Last modified
Size
Description
Parent Directory
-
acl2-books-certs_3.6..>
2010-02-16 16:05
1.9M
acl2-books-certs_4.2..>
2011-09-02 11:03
1.9M
acl2-books-certs_4.3..>
2012-05-18 22:33
4.2M
acl2-books-certs_6.0..>
2013-01-14 15:33
4.9M
acl2-books-certs_6.2..>
2013-07-31 22:38
9.7M
acl2-books-certs_6.3..>
2013-10-25 00:36
11M
acl2-books-certs_6.4..>
2014-05-09 00:11
4.1M
acl2-books-certs_6.4..>
2014-05-13 16:08
4.0M
acl2-books-certs_6.4..>
2014-05-18 20:50
4.0M
acl2-books-certs_6.5..>
2014-10-25 08:00
6.2M
acl2-books-certs_6.5..>
2014-10-26 13:05
6.2M
acl2-books-certs_6.5..>
2014-10-27 04:08
6.2M
acl2-books-certs_6.5..>
2014-10-28 03:53
6.1M
acl2-books-certs_7.0..>
2015-01-27 22:50
66M
acl2-books-certs_7.1..>
2015-06-27 21:48
13M
acl2-books-certs_7.2..>
2016-05-05 14:24
52M
acl2-books-certs_7.2..>
2016-09-18 02:37
52M
acl2-books-certs_7.2..>
2016-09-27 12:19
52M
acl2-books-certs_7.2..>
2016-11-04 05:25
52M
acl2-books-certs_7.4..>
2017-05-10 19:43
61M
acl2-books-certs_7.4..>
2017-06-01 02:58
61M
acl2-books-certs_7.4..>
2017-06-03 13:28
61M
acl2-books-certs_7.4..>
2017-08-10 15:37
61M
acl2-books-certs_7.4..>
2017-06-10 11:08
61M
acl2-books-certs_7.4..>
2017-11-03 19:11
61M
acl2-books-certs_8.0..>
2018-01-14 11:08
70M
acl2-books-certs_8.0..>
2019-01-16 02:13
70M
acl2-books-certs_8.1..>
2019-04-22 03:43
77M
acl2-books-certs_8.1..>
2019-11-01 12:38
77M
acl2-books-certs_8.1..>
2019-12-09 12:43
77M
acl2-books-certs_8.1..>
2019-12-10 16:23
77M
acl2-books-certs_8.2..>
2019-12-20 12:43
66M
acl2-books-certs_8.2..>
2019-12-27 19:08
66M
acl2-books-certs_8.2..>
2020-01-01 02:53
66M
acl2-books-certs_8.2..>
2020-03-23 21:24
66M
acl2-books-certs_8.3..>
2020-08-24 20:19
5.7K
acl2-books-certs_8.3..>
2021-01-28 15:19
139M
acl2-books-certs_8.4..>
2021-12-19 09:10
221M
acl2-books-certs_8.5..>
2022-07-28 17:29
220M
acl2-books-certs_8.5..>
2022-12-23 10:29
221M
acl2-books-certs_8.5..>
2022-12-31 15:53
216M
acl2-books-certs_8.5..>
2023-01-15 00:49
216M
acl2-books-certs_8.5..>
2023-01-17 10:29
216M
acl2-books-certs_8.5..>
2024-03-01 03:34
216M
acl2-books-certs_8.5..>
2024-03-19 17:53
216M
acl2-books-certs_8.5..>
2024-04-02 16:03
216M
acl2-books-source_3...>
2010-02-16 16:05
4.7M
acl2-books-source_4...>
2011-09-02 11:03
4.9M
acl2-books-source_4...>
2012-05-18 22:33
6.2M
acl2-books-source_6...>
2013-01-14 15:33
7.5M
acl2-books-source_6...>
2013-07-31 22:38
7.3M
acl2-books-source_6...>
2013-10-25 00:36
9.1M
acl2-books-source_6...>
2014-05-09 00:11
6.2M
acl2-books-source_6...>
2014-05-13 16:08
6.2M
acl2-books-source_6...>
2014-05-18 20:50
6.2M
acl2-books-source_6...>
2014-10-25 08:00
6.7M
acl2-books-source_6...>
2014-10-26 13:05
6.6M
acl2-books-source_6...>
2014-10-27 04:08
6.6M
acl2-books-source_6...>
2014-10-28 03:53
6.6M
acl2-books-source_7...>
2015-01-27 22:50
8.4M
acl2-books-source_7...>
2015-06-27 21:48
9.9M
acl2-books-source_7...>
2016-05-05 14:24
11M
acl2-books-source_7...>
2016-09-18 02:37
10M
acl2-books-source_7...>
2016-09-27 12:19
10M
acl2-books-source_7...>
2016-11-04 05:25
10M
acl2-books-source_7...>
2017-05-10 19:43
11M
acl2-books-source_7...>
2017-06-01 02:58
11M
acl2-books-source_7...>
2017-06-03 13:28
11M
acl2-books-source_7...>
2017-08-10 15:37
11M
acl2-books-source_7...>
2017-06-10 11:08
11M
acl2-books-source_7...>
2017-11-03 19:11
11M
acl2-books-source_8...>
2018-01-14 11:08
12M
acl2-books-source_8...>
2019-01-16 02:13
12M
acl2-books-source_8...>
2019-04-22 03:43
13M
acl2-books-source_8...>
2019-11-01 12:38
13M
acl2-books-source_8...>
2019-12-09 12:43
13M
acl2-books-source_8...>
2019-12-10 16:23
13M
acl2-books-source_8...>
2019-12-20 12:43
14M
acl2-books-source_8...>
2019-12-27 19:08
14M
acl2-books-source_8...>
2020-01-01 02:53
14M
acl2-books-source_8...>
2020-03-23 21:24
14M
acl2-books-source_8...>
2020-08-24 20:19
19M
acl2-books-source_8...>
2021-01-28 15:19
19M
acl2-books-source_8...>
2021-12-19 09:10
21M
acl2-books-source_8...>
2022-07-28 17:29
23M
acl2-books-source_8...>
2022-12-23 10:29
23M
acl2-books-source_8...>
2022-12-31 15:53
23M
acl2-books-source_8...>
2023-01-15 00:49
23M
acl2-books-source_8...>
2023-01-17 10:29
23M
acl2-books-source_8...>
2024-03-01 03:34
23M
acl2-books-source_8...>
2024-03-19 17:53
23M
acl2-books-source_8...>
2024-04-02 16:02
23M
acl2-books_3.6-4_amd..>
2010-02-16 16:05
33M
acl2-books_3.6-4_i38..>
2010-02-16 16:05
29M
acl2-books_4.2-1_amd..>
2011-09-02 12:04
39M
acl2-books_4.2-1_i38..>
2011-09-02 11:04
34M
acl2-books_4.3-3_amd..>
2012-05-19 00:34
15M
acl2-books_4.3-3_i38..>
2012-05-18 22:33
13M
acl2-books_6.0-2_amd..>
2013-01-14 16:03
18M
acl2-books_6.0-2_i38..>
2013-01-14 15:33
16M
acl2-books_6.2-6_amd..>
2013-07-31 22:53
34M
acl2-books_6.2-6_i38..>
2013-07-31 22:38
30M
acl2-books_6.3-5_amd..>
2013-10-25 00:36
40M
acl2-books_6.3-5_i38..>
2013-10-25 00:36
36M
acl2-books_6.4-2_amd..>
2014-05-09 00:11
19M
acl2-books_6.4-2_i38..>
2014-05-09 00:12
17M
acl2-books_6.4-3_amd..>
2014-05-13 16:09
19M
acl2-books_6.4-3_i38..>
2014-05-13 16:09
17M
acl2-books_6.4-4_amd..>
2014-05-18 20:50
19M
acl2-books_6.4-4_i38..>
2014-05-18 20:50
17M
acl2-books_6.5-2_amd..>
2014-10-25 08:00
22M
acl2-books_6.5-2_i38..>
2014-10-25 07:22
21M
acl2-books_6.5-3_amd..>
2014-10-26 13:05
22M
acl2-books_6.5-3_i38..>
2014-10-26 13:06
21M
acl2-books_6.5-4_amd..>
2014-10-27 04:08
22M
acl2-books_6.5-4_i38..>
2014-10-27 03:29
21M
acl2-books_6.5-5_amd..>
2014-10-28 03:53
22M
acl2-books_6.5-5_i38..>
2014-10-28 03:54
21M
acl2-books_7.0-1_amd..>
2015-01-27 22:50
24M
acl2-books_7.0-1_i38..>
2015-01-28 01:06
23M
acl2-books_7.1-1_amd..>
2015-06-27 21:48
19M
acl2-books_7.1-1_i38..>
2015-06-02 10:43
18M
acl2-books_7.1dfsg-2..>
2015-10-30 13:39
55M
acl2-books_7.2dfsg-1..>
2016-04-27 20:32
89M
acl2-books_7.2dfsg-2..>
2016-05-05 14:24
102M
acl2-books_7.2dfsg-2..>
2016-05-05 15:09
88M
acl2-books_7.2dfsg-2..>
2016-09-18 02:37
103M
acl2-books_7.2dfsg-2..>
2016-09-18 02:39
86M
acl2-books_7.2dfsg-2..>
2016-09-27 12:19
103M
acl2-books_7.2dfsg-2..>
2016-09-27 11:44
87M
acl2-books_7.2dfsg-3..>
2016-11-04 05:25
103M
acl2-books_7.2dfsg-3..>
2016-11-04 05:25
89M
acl2-books_7.4dfsg-1..>
2017-05-10 19:43
115M
acl2-books_7.4dfsg-1..>
2017-05-10 21:48
98M
acl2-books_7.4dfsg-2..>
2017-06-01 02:58
120M
acl2-books_7.4dfsg-2..>
2017-06-01 02:59
103M
acl2-books_7.4dfsg-2..>
2017-06-03 13:28
120M
acl2-books_7.4dfsg-2..>
2017-06-03 13:08
102M
acl2-books_7.4dfsg-3..>
2017-08-10 15:37
119M
acl2-books_7.4dfsg-3..>
2017-08-10 15:38
102M
acl2-books_7.4dfsg-3..>
2017-06-10 11:08
120M
acl2-books_7.4dfsg-3..>
2017-06-10 13:53
104M
acl2-books_7.4dfsg-4..>
2017-11-03 19:11
119M
acl2-books_7.4dfsg-4..>
2017-11-04 01:55
102M
acl2-books_8.0dfsg-1..>
2018-01-14 11:08
132M
acl2-books_8.0dfsg-1..>
2018-01-14 12:49
114M
acl2-books_8.0dfsg-1..>
2019-01-16 02:13
145M
acl2-books_8.0dfsg-1..>
2019-01-16 00:47
127M
acl2-books_8.1dfsg-3..>
2019-04-22 03:43
156M
acl2-books_8.1dfsg-3..>
2019-04-22 07:31
139M
acl2-books_8.1dfsg-4..>
2019-11-01 12:38
156M
acl2-books_8.1dfsg-4..>
2019-11-01 13:28
140M
acl2-books_8.1dfsg-5..>
2019-12-09 12:43
156M
acl2-books_8.1dfsg-6..>
2019-12-10 16:23
156M
acl2-books_8.2dfsg-1..>
2019-12-20 12:43
163M
acl2-books_8.2dfsg-2..>
2019-12-27 19:08
163M
acl2-books_8.2dfsg-3..>
2020-01-01 02:53
163M
acl2-books_8.2dfsg-3..>
2020-03-23 21:24
163M
acl2-books_8.3dfsg-1..>
2020-08-24 20:19
4.2K
acl2-books_8.3dfsg-2..>
2021-01-28 15:19
241M
acl2-books_8.4dfsg-2..>
2021-12-19 09:09
338M
acl2-books_8.5dfsg-1..>
2022-07-28 17:29
335M
acl2-books_8.5dfsg-2..>
2022-12-23 10:29
340M
acl2-books_8.5dfsg-3..>
2022-12-31 15:53
330M
acl2-books_8.5dfsg-4..>
2023-01-15 00:49
329M
acl2-books_8.5dfsg-5..>
2023-01-17 10:29
329M
acl2-books_8.5dfsg-5..>
2024-03-01 03:34
330M
acl2-books_8.5dfsg-5..>
2024-03-19 17:53
331M
acl2-books_8.5dfsg-5..>
2024-04-02 16:03
331M
acl2-doc_3.6-4_all.deb
2010-02-16 16:05
2.3M
acl2-doc_4.2-1_all.deb
2011-09-02 11:03
264K
acl2-doc_4.3-3_all.deb
2012-05-18 22:33
348K
acl2-doc_6.0-2_all.deb
2013-01-14 15:33
7.2M
acl2-doc_6.2-6_all.deb
2013-07-31 22:38
7.5M
acl2-doc_6.3-5_all.deb
2013-10-25 00:36
12M
acl2-doc_6.4-2_all.deb
2014-05-09 00:11
1.6M
acl2-doc_6.4-3_all.deb
2014-05-13 16:08
1.6M
acl2-doc_6.4-4_all.deb
2014-05-18 20:50
1.6M
acl2-doc_6.5-2_all.deb
2014-10-25 08:00
1.6M
acl2-doc_6.5-3_all.deb
2014-10-26 13:05
1.6M
acl2-doc_6.5-4_all.deb
2014-10-27 04:08
1.6M
acl2-doc_6.5-5_all.deb
2014-10-28 03:53
1.6M
acl2-doc_7.0-1_all.deb
2015-01-27 22:50
331K
acl2-doc_7.1-1_all.deb
2015-06-27 21:48
353K
acl2-doc_7.2dfsg-2_a..>
2016-05-05 14:24
366K
acl2-doc_7.2dfsg-2bu..>
2016-09-18 02:37
366K
acl2-doc_7.2dfsg-2bu..>
2016-09-27 12:19
366K
acl2-doc_7.2dfsg-3_a..>
2016-11-04 05:25
366K
acl2-doc_7.4dfsg-1_a..>
2017-05-10 19:43
372K
acl2-doc_7.4dfsg-2_a..>
2017-06-01 02:58
372K
acl2-doc_7.4dfsg-2bu..>
2017-06-03 13:28
372K
acl2-doc_7.4dfsg-3.1..>
2017-08-10 15:37
372K
acl2-doc_7.4dfsg-3_a..>
2017-06-10 11:08
372K
acl2-doc_7.4dfsg-4_a..>
2017-11-03 19:11
371K
acl2-doc_8.0dfsg-1_a..>
2018-01-14 11:08
385K
acl2-doc_8.0dfsg-1bu..>
2019-01-16 02:13
385K
acl2-doc_8.1dfsg-3_a..>
2019-04-22 03:43
396K
acl2-doc_8.1dfsg-4_a..>
2019-11-01 12:38
396K
acl2-doc_8.1dfsg-5_a..>
2019-12-09 12:43
396K
acl2-doc_8.1dfsg-6_a..>
2019-12-10 16:23
396K
acl2-doc_8.2dfsg-1_a..>
2019-12-20 12:43
415K
acl2-doc_8.2dfsg-2_a..>
2019-12-27 19:08
415K
acl2-doc_8.2dfsg-3_a..>
2020-01-01 02:53
415K
acl2-doc_8.2dfsg-3bu..>
2020-03-23 21:24
418K
acl2-doc_8.3dfsg-1_a..>
2020-08-24 20:18
429K
acl2-doc_8.3dfsg-2_a..>
2021-01-28 15:19
429K
acl2-doc_8.4dfsg-2_a..>
2021-12-19 09:09
441K
acl2-doc_8.5dfsg-1_a..>
2022-07-28 17:29
473K
acl2-doc_8.5dfsg-2_a..>
2022-12-23 10:29
473K
acl2-doc_8.5dfsg-3_a..>
2022-12-31 15:53
473K
acl2-doc_8.5dfsg-4_a..>
2023-01-15 00:49
473K
acl2-doc_8.5dfsg-5_a..>
2023-01-17 10:29
473K
acl2-doc_8.5dfsg-5bu..>
2024-03-01 03:34
474K
acl2-doc_8.5dfsg-5bu..>
2024-03-19 17:53
474K
acl2-doc_8.5dfsg-5bu..>
2024-04-02 16:02
474K
acl2-emacs_3.6-4_all..>
2010-02-16 16:05
56K
acl2-emacs_4.2-1_all..>
2011-09-02 11:03
52K
acl2-emacs_4.3-3_all..>
2012-05-18 22:33
53K
acl2-emacs_6.0-2_all..>
2013-01-14 15:33
54K
acl2-emacs_6.2-6_all..>
2013-07-31 22:38
53K
acl2-emacs_6.3-5_all..>
2013-10-25 00:36
55K
acl2-emacs_6.4-2_all..>
2014-05-09 00:11
53K
acl2-emacs_6.4-3_all..>
2014-05-13 16:08
53K
acl2-emacs_6.4-4_all..>
2014-05-18 20:50
53K
acl2-emacs_6.5-2_all..>
2014-10-25 08:00
53K
acl2-emacs_6.5-3_all..>
2014-10-26 13:05
54K
acl2-emacs_6.5-4_all..>
2014-10-27 04:08
54K
acl2-emacs_6.5-5_all..>
2014-10-28 03:53
54K
acl2-emacs_7.0-1_all..>
2015-01-27 22:50
54K
acl2-emacs_7.1-1_all..>
2015-06-27 21:48
55K
acl2-emacs_7.2dfsg-2..>
2016-05-05 14:24
56K
acl2-emacs_7.2dfsg-2..>
2016-09-18 02:37
56K
acl2-emacs_7.2dfsg-2..>
2016-09-27 12:19
56K
acl2-emacs_7.2dfsg-3..>
2016-11-04 05:25
56K
acl2-emacs_7.4dfsg-1..>
2017-05-10 19:43
59K
acl2-emacs_7.4dfsg-2..>
2017-06-01 02:58
59K
acl2-emacs_7.4dfsg-2..>
2017-06-03 13:28
59K
acl2-emacs_7.4dfsg-3..>
2017-08-10 15:37
59K
acl2-emacs_7.4dfsg-3..>
2017-06-10 11:08
59K
acl2-emacs_7.4dfsg-4..>
2017-11-03 19:11
59K
acl2-emacs_8.0dfsg-1..>
2018-01-14 11:08
59K
acl2-emacs_8.0dfsg-1..>
2019-01-16 02:13
59K
acl2-emacs_8.1dfsg-3..>
2019-04-22 03:43
59K
acl2-emacs_8.1dfsg-4..>
2019-11-01 12:38
59K
acl2-emacs_8.1dfsg-5..>
2019-12-09 12:43
59K
acl2-emacs_8.1dfsg-6..>
2019-12-10 16:23
59K
acl2-emacs_8.2dfsg-1..>
2019-12-20 12:43
59K
acl2-emacs_8.2dfsg-2..>
2019-12-27 19:08
59K
acl2-emacs_8.2dfsg-3..>
2020-01-01 02:53
59K
acl2-emacs_8.2dfsg-3..>
2020-03-23 21:24
59K
acl2-emacs_8.3dfsg-1..>
2020-08-24 20:19
60K
acl2-emacs_8.3dfsg-2..>
2021-01-28 15:19
60K
acl2-infix-source_3...>
2010-02-16 16:05
84K
acl2-infix-source_4...>
2011-09-02 11:03
80K
acl2-infix-source_4...>
2012-05-18 22:33
86K
acl2-infix-source_6...>
2013-01-14 15:33
87K
acl2-infix-source_6...>
2013-07-31 22:38
86K
acl2-infix-source_6...>
2013-10-25 00:36
86K
acl2-infix-source_6...>
2014-05-09 00:11
71K
acl2-infix-source_6...>
2014-05-13 16:08
71K
acl2-infix-source_6...>
2014-05-18 20:50
70K
acl2-infix-source_6...>
2014-10-25 08:00
71K
acl2-infix-source_6...>
2014-10-26 13:05
72K
acl2-infix-source_6...>
2014-10-27 04:08
72K
acl2-infix-source_6...>
2014-10-28 03:53
72K
acl2-infix-source_7...>
2015-01-27 22:50
72K
acl2-infix-source_7...>
2015-06-27 21:48
70K
acl2-infix-source_7...>
2016-05-05 14:24
71K
acl2-infix-source_7...>
2016-09-18 02:37
71K
acl2-infix-source_7...>
2016-09-27 12:19
71K
acl2-infix-source_7...>
2016-11-04 05:25
71K
acl2-infix-source_7...>
2017-05-10 19:43
71K
acl2-infix-source_7...>
2017-06-01 02:58
71K
acl2-infix-source_7...>
2017-06-03 13:28
71K
acl2-infix-source_7...>
2017-08-10 15:37
71K
acl2-infix-source_7...>
2017-06-10 11:08
71K
acl2-infix-source_7...>
2017-11-03 19:11
71K
acl2-infix-source_8...>
2018-01-14 11:08
70K
acl2-infix-source_8...>
2019-01-16 02:13
70K
acl2-infix-source_8...>
2019-04-22 03:43
70K
acl2-infix-source_8...>
2019-11-01 12:38
70K
acl2-infix-source_8...>
2019-12-09 12:43
70K
acl2-infix-source_8...>
2019-12-10 16:23
70K
acl2-infix-source_8...>
2019-12-20 12:43
70K
acl2-infix-source_8...>
2019-12-27 19:08
70K
acl2-infix-source_8...>
2020-01-01 02:53
70K
acl2-infix-source_8...>
2020-03-23 21:24
70K
acl2-infix-source_8...>
2020-08-24 20:18
70K
acl2-infix-source_8...>
2021-01-28 15:19
70K
acl2-infix-source_8...>
2021-12-19 09:10
72K
acl2-infix-source_8...>
2022-07-28 17:29
72K
acl2-infix-source_8...>
2022-12-23 10:29
72K
acl2-infix-source_8...>
2022-12-31 15:53
72K
acl2-infix-source_8...>
2023-01-15 00:49
72K
acl2-infix-source_8...>
2023-01-17 10:29
72K
acl2-infix-source_8...>
2024-03-01 03:34
72K
acl2-infix-source_8...>
2024-03-19 17:53
72K
acl2-infix-source_8...>
2024-04-02 16:02
72K
acl2-infix_3.6-4_amd..>
2010-02-16 16:05
421K
acl2-infix_3.6-4_i38..>
2010-02-16 16:05
379K
acl2-infix_4.2-1_amd..>
2011-09-02 12:04
438K
acl2-infix_4.2-1_i38..>
2011-09-02 11:04
400K
acl2-infix_4.3-3_amd..>
2012-05-19 00:34
194K
acl2-infix_4.3-3_i38..>
2012-05-18 22:33
173K
acl2-infix_6.0-2_amd..>
2013-01-14 16:03
195K
acl2-infix_6.0-2_i38..>
2013-01-14 15:33
174K
acl2-infix_6.2-6_amd..>
2013-07-31 22:53
198K
acl2-infix_6.2-6_i38..>
2013-07-31 22:38
181K
acl2-infix_6.3-5_amd..>
2013-10-25 00:36
200K
acl2-infix_6.3-5_i38..>
2013-10-25 00:36
189K
acl2-infix_6.4-2_amd..>
2014-05-09 00:11
139K
acl2-infix_6.4-2_i38..>
2014-05-09 00:12
136K
acl2-infix_6.4-3_amd..>
2014-05-13 16:09
139K
acl2-infix_6.4-3_i38..>
2014-05-13 16:09
136K
acl2-infix_6.4-4_amd..>
2014-05-18 20:50
140K
acl2-infix_6.4-4_i38..>
2014-05-18 20:50
136K
acl2-infix_6.5-2_amd..>
2014-10-25 08:00
139K
acl2-infix_6.5-2_i38..>
2014-10-25 07:22
144K
acl2-infix_6.5-3_amd..>
2014-10-26 13:05
140K
acl2-infix_6.5-3_i38..>
2014-10-26 13:06
144K
acl2-infix_6.5-4_amd..>
2014-10-27 04:08
141K
acl2-infix_6.5-4_i38..>
2014-10-27 03:29
144K
acl2-infix_6.5-5_amd..>
2014-10-28 03:53
142K
acl2-infix_6.5-5_i38..>
2014-10-28 03:54
145K
acl2-infix_7.0-1_amd..>
2015-01-27 22:50
140K
acl2-infix_7.0-1_i38..>
2015-01-28 01:06
142K
acl2-infix_7.1-1_amd..>
2015-06-27 21:48
140K
acl2-infix_7.1-1_i38..>
2015-06-02 10:43
142K
acl2-infix_7.1dfsg-2..>
2015-10-30 13:39
368K
acl2-infix_7.2dfsg-1..>
2016-04-27 20:32
369K
acl2-infix_7.2dfsg-2..>
2016-05-05 14:24
392K
acl2-infix_7.2dfsg-2..>
2016-05-05 15:09
369K
acl2-infix_7.2dfsg-2..>
2016-09-18 02:37
401K
acl2-infix_7.2dfsg-2..>
2016-09-18 02:39
373K
acl2-infix_7.2dfsg-2..>
2016-09-27 12:19
401K
acl2-infix_7.2dfsg-2..>
2016-09-27 11:44
374K
acl2-infix_7.2dfsg-3..>
2016-11-04 05:25
400K
acl2-infix_7.2dfsg-3..>
2016-11-04 05:25
374K
acl2-infix_7.4dfsg-1..>
2017-05-10 19:43
403K
acl2-infix_7.4dfsg-1..>
2017-05-10 21:48
372K
acl2-infix_7.4dfsg-2..>
2017-06-01 02:58
408K
acl2-infix_7.4dfsg-2..>
2017-06-01 02:59
380K
acl2-infix_7.4dfsg-2..>
2017-06-03 13:28
406K
acl2-infix_7.4dfsg-2..>
2017-06-03 13:08
380K
acl2-infix_7.4dfsg-3..>
2017-08-10 15:37
413K
acl2-infix_7.4dfsg-3..>
2017-08-10 15:38
381K
acl2-infix_7.4dfsg-3..>
2017-06-10 11:08
409K
acl2-infix_7.4dfsg-3..>
2017-06-10 13:53
380K
acl2-infix_7.4dfsg-4..>
2017-11-03 19:11
415K
acl2-infix_7.4dfsg-4..>
2017-11-04 01:55
380K
acl2-infix_8.0dfsg-1..>
2018-01-14 11:08
414K
acl2-infix_8.0dfsg-1..>
2018-01-14 12:49
381K
acl2-infix_8.0dfsg-1..>
2019-01-16 02:13
471K
acl2-infix_8.0dfsg-1..>
2019-01-16 00:47
434K
acl2-infix_8.1dfsg-3..>
2019-04-22 03:43
472K
acl2-infix_8.1dfsg-3..>
2019-04-22 07:31
475K
acl2-infix_8.1dfsg-4..>
2019-11-01 12:38
473K
acl2-infix_8.1dfsg-4..>
2019-11-01 13:28
476K
acl2-infix_8.1dfsg-5..>
2019-12-09 12:43
472K
acl2-infix_8.1dfsg-6..>
2019-12-10 16:23
475K
acl2-infix_8.2dfsg-1..>
2019-12-20 12:43
476K
acl2-infix_8.2dfsg-2..>
2019-12-27 19:08
470K
acl2-infix_8.2dfsg-3..>
2020-01-01 02:53
476K
acl2-infix_8.2dfsg-3..>
2020-03-23 21:24
470K
acl2-infix_8.3dfsg-1..>
2020-08-24 20:19
472K
acl2-infix_8.3dfsg-2..>
2021-01-28 15:19
471K
acl2-infix_8.4dfsg-2..>
2021-12-19 09:09
551K
acl2-infix_8.5dfsg-1..>
2022-07-28 17:29
533K
acl2-infix_8.5dfsg-2..>
2022-12-23 10:29
539K
acl2-infix_8.5dfsg-3..>
2022-12-31 15:53
532K
acl2-infix_8.5dfsg-4..>
2023-01-15 00:49
533K
acl2-infix_8.5dfsg-5..>
2023-01-17 10:29
533K
acl2-infix_8.5dfsg-5..>
2024-03-01 03:34
538K
acl2-infix_8.5dfsg-5..>
2024-03-19 17:53
538K
acl2-infix_8.5dfsg-5..>
2024-04-02 16:02
538K
acl2-source_3.6-4_al..>
2010-02-16 16:05
2.6M
acl2-source_4.2-1_al..>
2011-09-02 11:03
3.0M
acl2-source_4.3-3_al..>
2012-05-18 22:33
3.1M
acl2-source_6.0-2_al..>
2013-01-14 15:33
3.5M
acl2-source_6.2-6_al..>
2013-07-31 22:38
3.6M
acl2-source_6.3-5_al..>
2013-10-25 00:36
3.6M
acl2-source_6.4-2_al..>
2014-05-09 00:11
2.6M
acl2-source_6.4-3_al..>
2014-05-13 16:08
2.6M
acl2-source_6.4-4_al..>
2014-05-18 20:50
2.6M
acl2-source_6.5-2_al..>
2014-10-25 08:00
2.6M
acl2-source_6.5-3_al..>
2014-10-26 13:05
2.6M
acl2-source_6.5-4_al..>
2014-10-27 04:08
2.6M
acl2-source_6.5-5_al..>
2014-10-28 03:53
2.6M
acl2-source_7.0-1_al..>
2015-01-27 22:50
2.7M
acl2-source_7.1-1_al..>
2015-06-27 21:48
2.7M
acl2-source_7.2dfsg-..>
2016-05-05 14:24
2.8M
acl2-source_7.2dfsg-..>
2016-09-18 02:37
2.7M
acl2-source_7.2dfsg-..>
2016-09-27 12:19
2.7M
acl2-source_7.2dfsg-..>
2016-11-04 05:25
2.7M
acl2-source_7.4dfsg-..>
2017-05-10 19:43
2.9M
acl2-source_7.4dfsg-..>
2017-06-01 02:58
2.9M
acl2-source_7.4dfsg-..>
2017-06-03 13:28
2.9M
acl2-source_7.4dfsg-..>
2017-08-10 15:37
2.9M
acl2-source_7.4dfsg-..>
2017-06-10 11:08
2.9M
acl2-source_7.4dfsg-..>
2017-11-03 19:11
2.9M
acl2-source_8.0dfsg-..>
2018-01-14 11:08
2.9M
acl2-source_8.0dfsg-..>
2019-01-16 02:13
2.9M
acl2-source_8.1dfsg-..>
2019-04-22 03:43
3.0M
acl2-source_8.1dfsg-..>
2019-11-01 12:38
3.0M
acl2-source_8.1dfsg-..>
2019-12-09 12:43
3.0M
acl2-source_8.1dfsg-..>
2019-12-10 16:23
3.0M
acl2-source_8.2dfsg-..>
2019-12-20 12:43
3.1M
acl2-source_8.2dfsg-..>
2019-12-27 19:08
3.1M
acl2-source_8.2dfsg-..>
2020-01-01 02:53
3.1M
acl2-source_8.2dfsg-..>
2020-03-23 21:24
3.1M
acl2-source_8.3dfsg-..>
2020-08-24 20:19
3.2M
acl2-source_8.3dfsg-..>
2021-01-28 15:19
3.2M
acl2-source_8.4dfsg-..>
2021-12-19 09:10
3.4M
acl2-source_8.5dfsg-..>
2022-07-28 17:29
3.5M
acl2-source_8.5dfsg-..>
2022-12-23 10:29
3.5M
acl2-source_8.5dfsg-..>
2022-12-31 15:53
3.5M
acl2-source_8.5dfsg-..>
2023-01-15 00:49
3.5M
acl2-source_8.5dfsg-..>
2023-01-17 10:29
3.5M
acl2-source_8.5dfsg-..>
2024-03-01 03:34
3.5M
acl2-source_8.5dfsg-..>
2024-03-19 17:53
3.5M
acl2-source_8.5dfsg-..>
2024-04-02 16:02
3.5M
acl2_3.6-4.diff.gz
2010-02-02 08:06
15K
acl2_3.6-4.dsc
2010-02-02 08:06
1.1K
acl2_3.6-4_amd64.deb
2010-02-16 16:05
22M
acl2_3.6-4_i386.deb
2010-02-16 16:05
20M
acl2_3.6.orig.tar.gz
2010-02-02 08:06
10M
acl2_4.2-1.debian.ta..>
2011-05-15 21:04
17K
acl2_4.2-1.dsc
2011-05-15 21:04
1.2K
acl2_4.2-1_amd64.deb
2011-09-02 12:04
25M
acl2_4.2-1_i386.deb
2011-09-02 11:04
22M
acl2_4.2.orig.tar.gz
2011-05-15 21:04
11M
acl2_4.3-3.debian.ta..>
2012-05-06 12:34
18K
acl2_4.3-3.dsc
2012-05-06 12:34
1.5K
acl2_4.3-3_amd64.deb
2012-05-19 00:34
27M
acl2_4.3-3_i386.deb
2012-05-18 22:33
23M
acl2_4.3.orig.tar.gz
2012-05-01 03:43
15M
acl2_6.0-2.debian.ta..>
2013-01-14 13:33
155K
acl2_6.0-2.dsc
2013-01-14 13:33
1.7K
acl2_6.0-2_amd64.deb
2013-01-14 16:03
30M
acl2_6.0-2_i386.deb
2013-01-14 15:33
26M
acl2_6.0.orig-books...>
2013-01-13 19:33
10M
acl2_6.0.orig.tar.gz
2013-01-13 19:33
6.5M
acl2_6.2-6.debian.ta..>
2013-07-31 17:38
157K
acl2_6.2-6.dsc
2013-07-31 17:38
1.7K
acl2_6.2-6_amd64.deb
2013-07-31 22:53
27M
acl2_6.2-6_i386.deb
2013-07-31 22:38
23M
acl2_6.2.orig-books...>
2013-07-13 19:28
11M
acl2_6.2.orig.tar.gz
2013-07-13 19:28
6.6M
acl2_6.3-5.debian.ta..>
2013-10-21 21:09
158K
acl2_6.3-5.dsc
2013-10-21 21:09
1.7K
acl2_6.3-5_amd64.deb
2013-10-25 00:36
27M
acl2_6.3-5_i386.deb
2013-10-25 00:36
23M
acl2_6.3-6.debian.ta..>
2013-11-18 01:18
158K
acl2_6.3-6.dsc
2013-11-18 01:18
1.7K
acl2_6.3.orig-books...>
2013-10-21 21:09
13M
acl2_6.3.orig.tar.gz
2013-10-21 21:09
6.7M
acl2_6.4-1.debian.ta..>
2014-05-03 07:18
123K
acl2_6.4-1.dsc
2014-05-03 07:18
1.8K
acl2_6.4-2.debian.ta..>
2014-05-08 20:48
124K
acl2_6.4-2.dsc
2014-05-08 20:48
1.8K
acl2_6.4-2_amd64.deb
2014-05-09 00:11
15M
acl2_6.4-2_i386.deb
2014-05-09 00:12
12M
acl2_6.4-3.debian.ta..>
2014-05-13 13:13
124K
acl2_6.4-3.dsc
2014-05-13 13:13
1.8K
acl2_6.4-3_amd64.deb
2014-05-13 16:09
15M
acl2_6.4-3_i386.deb
2014-05-13 16:09
12M
acl2_6.4-4.debian.ta..>
2014-05-18 19:13
124K
acl2_6.4-4.dsc
2014-05-18 19:13
1.8K
acl2_6.4-4_amd64.deb
2014-05-18 20:50
15M
acl2_6.4-4_i386.deb
2014-05-18 20:50
12M
acl2_6.4.orig-books...>
2014-05-03 07:18
14M
acl2_6.4.orig.tar.gz
2014-05-03 07:18
5.8M
acl2_6.5-2.debian.ta..>
2014-10-24 15:53
125K
acl2_6.5-2.dsc
2014-10-24 15:53
1.8K
acl2_6.5-2_amd64.deb
2014-10-25 08:00
15M
acl2_6.5-2_i386.deb
2014-10-25 07:22
13M
acl2_6.5-3.debian.ta..>
2014-10-26 01:50
125K
acl2_6.5-3.dsc
2014-10-26 01:50
1.8K
acl2_6.5-3_amd64.deb
2014-10-26 13:05
15M
acl2_6.5-3_i386.deb
2014-10-26 13:06
13M
acl2_6.5-4.debian.ta..>
2014-10-27 01:39
125K
acl2_6.5-4.dsc
2014-10-27 01:39
1.8K
acl2_6.5-4_amd64.deb
2014-10-27 04:08
15M
acl2_6.5-4_i386.deb
2014-10-27 03:29
13M
acl2_6.5-5.debian.ta..>
2014-10-28 01:23
125K
acl2_6.5-5.dsc
2014-10-28 01:23
1.8K
acl2_6.5-5_amd64.deb
2014-10-28 03:53
15M
acl2_6.5-5_i386.deb
2014-10-28 03:54
13M
acl2_6.5.orig-books...>
2014-10-24 15:53
14M
acl2_6.5.orig.tar.gz
2014-10-24 15:53
5.9M
acl2_7.0-1.debian.ta..>
2015-01-27 19:39
126K
acl2_7.0-1.dsc
2015-01-27 19:39
2.2K
acl2_7.0-1_amd64.deb
2015-01-27 22:50
15M
acl2_7.0-1_i386.deb
2015-01-28 01:06
13M
acl2_7.0.orig.tar.gz
2015-01-27 19:39
56M
acl2_7.1-1.debian.ta..>
2015-06-02 07:24
126K
acl2_7.1-1.dsc
2015-06-02 07:24
2.2K
acl2_7.1-1_amd64.deb
2015-06-27 21:48
16M
acl2_7.1-1_i386.deb
2015-06-02 10:43
16M
acl2_7.1.orig.tar.gz
2015-06-02 07:24
60M
acl2_7.1dfsg-1.debia..>
2015-10-24 05:41
199K
acl2_7.1dfsg-1.dsc
2015-10-24 05:41
2.2K
acl2_7.1dfsg-2.debia..>
2015-10-29 13:39
199K
acl2_7.1dfsg-2.dsc
2015-10-29 13:39
2.2K
acl2_7.1dfsg-2_i386.deb
2015-10-30 13:39
14M
acl2_7.1dfsg.orig.ta..>
2015-10-24 05:41
37M
acl2_7.2dfsg-1.debia..>
2016-04-27 06:12
199K
acl2_7.2dfsg-1.dsc
2016-04-27 06:12
2.2K
acl2_7.2dfsg-1_i386.deb
2016-04-27 20:32
15M
acl2_7.2dfsg-2.debia..>
2016-05-05 07:29
199K
acl2_7.2dfsg-2.dsc
2016-05-05 07:29
2.2K
acl2_7.2dfsg-2_amd64..>
2016-05-05 14:24
17M
acl2_7.2dfsg-2_i386.deb
2016-05-05 15:09
15M
acl2_7.2dfsg-2build1..>
2016-09-17 21:21
199K
acl2_7.2dfsg-2build1..>
2016-09-17 21:21
2.2K
acl2_7.2dfsg-2build1..>
2016-09-18 02:37
17M
acl2_7.2dfsg-2build1..>
2016-09-18 02:39
16M
acl2_7.2dfsg-2build2..>
2016-09-27 05:24
199K
acl2_7.2dfsg-2build2..>
2016-09-27 05:24
2.2K
acl2_7.2dfsg-2build2..>
2016-09-27 12:19
17M
acl2_7.2dfsg-2build2..>
2016-09-27 11:44
15M
acl2_7.2dfsg-3.debia..>
2016-11-02 12:04
199K
acl2_7.2dfsg-3.dsc
2016-11-02 12:04
2.2K
acl2_7.2dfsg-3_amd64..>
2016-11-04 05:25
17M
acl2_7.2dfsg-3_i386.deb
2016-11-04 05:25
15M
acl2_7.2dfsg.orig.ta..>
2016-04-27 06:12
61M
acl2_7.4dfsg-1.debia..>
2017-05-10 13:08
200K
acl2_7.4dfsg-1.dsc
2017-05-10 13:08
2.2K
acl2_7.4dfsg-1_amd64..>
2017-05-10 19:43
17M
acl2_7.4dfsg-1_i386.deb
2017-05-10 21:48
16M
acl2_7.4dfsg-2.debia..>
2017-05-31 19:08
200K
acl2_7.4dfsg-2.dsc
2017-05-31 19:08
2.2K
acl2_7.4dfsg-2_amd64..>
2017-06-01 02:58
17M
acl2_7.4dfsg-2_i386.deb
2017-06-01 02:59
16M
acl2_7.4dfsg-2build1..>
2017-06-03 06:38
200K
acl2_7.4dfsg-2build1..>
2017-06-03 06:38
2.2K
acl2_7.4dfsg-2build1..>
2017-06-03 13:28
17M
acl2_7.4dfsg-2build1..>
2017-06-03 13:08
16M
acl2_7.4dfsg-3.1.deb..>
2017-08-10 07:14
200K
acl2_7.4dfsg-3.1.dsc
2017-08-10 07:14
2.3K
acl2_7.4dfsg-3.1_amd..>
2017-08-10 15:37
17M
acl2_7.4dfsg-3.1_i38..>
2017-08-10 15:38
16M
acl2_7.4dfsg-3.debia..>
2017-06-10 07:08
200K
acl2_7.4dfsg-3.dsc
2017-06-10 07:08
2.2K
acl2_7.4dfsg-3_amd64..>
2017-06-10 11:08
17M
acl2_7.4dfsg-3_i386.deb
2017-06-10 13:53
16M
acl2_7.4dfsg-4.debia..>
2017-11-01 21:05
200K
acl2_7.4dfsg-4.dsc
2017-11-01 21:05
2.2K
acl2_7.4dfsg-4_amd64..>
2017-11-03 19:11
18M
acl2_7.4dfsg-4_i386.deb
2017-11-04 01:55
16M
acl2_7.4dfsg.orig.ta..>
2017-05-10 13:08
62M
acl2_8.0dfsg-1.debia..>
2018-01-14 07:08
200K
acl2_8.0dfsg-1.dsc
2018-01-14 07:08
2.2K
acl2_8.0dfsg-1_amd64..>
2018-01-14 11:08
19M
acl2_8.0dfsg-1_i386.deb
2018-01-14 12:49
16M
acl2_8.0dfsg-1build1..>
2019-01-15 19:08
200K
acl2_8.0dfsg-1build1..>
2019-01-15 19:08
2.2K
acl2_8.0dfsg-1build1..>
2019-01-16 02:13
19M
acl2_8.0dfsg-1build1..>
2019-01-16 00:47
17M
acl2_8.0dfsg.orig.ta..>
2018-01-14 07:08
74M
acl2_8.1dfsg-3.debia..>
2019-04-21 19:46
200K
acl2_8.1dfsg-3.dsc
2019-04-21 19:46
2.2K
acl2_8.1dfsg-3_amd64..>
2019-04-22 03:43
19M
acl2_8.1dfsg-3_i386.deb
2019-04-22 07:31
18M
acl2_8.1dfsg-4.debia..>
2019-11-01 07:13
201K
acl2_8.1dfsg-4.dsc
2019-11-01 07:13
2.2K
acl2_8.1dfsg-4_amd64..>
2019-11-01 12:38
20M
acl2_8.1dfsg-4_i386.deb
2019-11-01 13:28
18M
acl2_8.1dfsg-5.debia..>
2019-12-09 07:13
201K
acl2_8.1dfsg-5.dsc
2019-12-09 07:13
2.2K
acl2_8.1dfsg-5_amd64..>
2019-12-09 12:43
19M
acl2_8.1dfsg-6.debia..>
2019-12-10 07:13
201K
acl2_8.1dfsg-6.dsc
2019-12-10 07:13
2.2K
acl2_8.1dfsg-6_amd64..>
2019-12-10 16:23
19M
acl2_8.1dfsg.orig.ta..>
2019-04-21 19:46
75M
acl2_8.2dfsg-1.debia..>
2019-12-20 07:13
201K
acl2_8.2dfsg-1.dsc
2019-12-20 07:13
2.2K
acl2_8.2dfsg-1_amd64..>
2019-12-20 12:43
21M
acl2_8.2dfsg-2.debia..>
2019-12-27 13:33
201K
acl2_8.2dfsg-2.dsc
2019-12-27 13:33
2.2K
acl2_8.2dfsg-2_amd64..>
2019-12-27 19:08
21M
acl2_8.2dfsg-3.debia..>
2019-12-31 19:13
201K
acl2_8.2dfsg-3.dsc
2019-12-31 19:13
2.2K
acl2_8.2dfsg-3_amd64..>
2020-01-01 02:53
21M
acl2_8.2dfsg-3build1..>
2020-03-23 15:00
201K
acl2_8.2dfsg-3build1..>
2020-03-23 15:00
2.2K
acl2_8.2dfsg-3build1..>
2020-03-23 21:24
21M
acl2_8.2dfsg.orig.ta..>
2019-12-20 07:13
77M
acl2_8.3dfsg-1.debia..>
2020-08-24 19:13
201K
acl2_8.3dfsg-1.dsc
2020-08-24 19:13
2.2K
acl2_8.3dfsg-1_amd64..>
2020-08-24 20:18
20M
acl2_8.3dfsg-2.debia..>
2021-01-28 07:19
223K
acl2_8.3dfsg-2.dsc
2021-01-28 07:19
2.2K
acl2_8.3dfsg-2_amd64..>
2021-01-28 15:19
21M
acl2_8.3dfsg-4.debia..>
2021-10-19 04:14
256K
acl2_8.3dfsg-4.dsc
2021-10-19 04:14
2.2K
acl2_8.3dfsg.orig.ta..>
2020-08-24 19:13
112M
acl2_8.4dfsg-1.debia..>
2021-10-29 07:18
304K
acl2_8.4dfsg-1.dsc
2021-10-29 07:18
2.2K
acl2_8.4dfsg-2.debia..>
2021-11-02 07:24
304K
acl2_8.4dfsg-2.dsc
2021-11-02 07:24
2.2K
acl2_8.4dfsg-2_amd64..>
2021-12-19 09:10
25M
acl2_8.4dfsg.orig.ta..>
2021-10-29 07:18
194M
acl2_8.5dfsg-1.debia..>
2022-07-28 07:33
305K
acl2_8.5dfsg-1.dsc
2022-07-28 07:33
2.2K
acl2_8.5dfsg-1_amd64..>
2022-07-28 17:29
26M
acl2_8.5dfsg-2.debia..>
2022-12-23 01:29
306K
acl2_8.5dfsg-2.dsc
2022-12-23 01:29
2.2K
acl2_8.5dfsg-2_amd64..>
2022-12-23 10:29
25M
acl2_8.5dfsg-3.debia..>
2022-12-31 07:34
306K
acl2_8.5dfsg-3.dsc
2022-12-31 07:34
2.2K
acl2_8.5dfsg-3_amd64..>
2022-12-31 15:53
26M
acl2_8.5dfsg-4.debia..>
2023-01-14 13:34
306K
acl2_8.5dfsg-4.dsc
2023-01-14 13:34
2.2K
acl2_8.5dfsg-4_amd64..>
2023-01-15 00:49
26M
acl2_8.5dfsg-5.debia..>
2023-01-17 01:44
306K
acl2_8.5dfsg-5.dsc
2023-01-17 01:44
2.2K
acl2_8.5dfsg-5_amd64..>
2023-01-17 10:29
26M
acl2_8.5dfsg-5build1..>
2024-02-29 17:31
306K
acl2_8.5dfsg-5build1..>
2024-02-29 17:31
2.4K
acl2_8.5dfsg-5build1..>
2024-03-01 03:34
25M
acl2_8.5dfsg-5build2..>
2024-03-19 08:49
306K
acl2_8.5dfsg-5build2..>
2024-03-19 08:49
2.4K
acl2_8.5dfsg-5build2..>
2024-03-19 17:53
26M
acl2_8.5dfsg-5build3..>
2024-04-01 13:43
306K
acl2_8.5dfsg-5build3..>
2024-04-01 13:43
2.3K
acl2_8.5dfsg-5build3..>
2024-04-02 16:03
26M
acl2_8.5dfsg.orig.ta..>
2022-07-28 07:33
213M
elpa-acl2_8.4dfsg-2_..>
2021-12-19 09:09
69K
elpa-acl2_8.5dfsg-1_..>
2022-07-28 17:29
70K
elpa-acl2_8.5dfsg-2_..>
2022-12-23 10:29
70K
elpa-acl2_8.5dfsg-3_..>
2022-12-31 15:53
70K
elpa-acl2_8.5dfsg-4_..>
2023-01-15 00:49
70K
elpa-acl2_8.5dfsg-5_..>
2023-01-17 10:29
70K
elpa-acl2_8.5dfsg-5b..>
2024-03-01 03:34
71K
elpa-acl2_8.5dfsg-5b..>
2024-03-19 17:53
71K
elpa-acl2_8.5dfsg-5b..>
2024-04-02 16:02
71K