|
Parent Directory/
|
|
- |
acl2-books-certs_6.3-5_all.deb
|
2013-10-24 16:36
|
11.1M
|
acl2-books-certs_7.1-1_all.deb
|
2015-06-27 13:48
|
12.6M
|
acl2-books-certs_8.0dfsg-1_all.deb
|
2018-01-14 03:08
|
70.0M
|
acl2-books-certs_8.2dfsg-3build1_all.deb
|
2020-03-23 13:24
|
65.8M
|
acl2-books-certs_8.4dfsg-2_all.deb
|
2021-12-19 01:10
|
221.1M
|
acl2-books-certs_8.5dfsg-5build3_all.deb
|
2024-04-02 08:03
|
215.8M
|
acl2-books-certs_8.5dfsg-6_all.deb
|
2024-07-29 04:20
|
78.6M
|
acl2-books-certs_8.6+dfsg-3_all.deb
|
2025-05-15 07:30
|
267.7M
|
acl2-books-source_6.3-5_all.deb
|
2013-10-24 16:36
|
9.1M
|
acl2-books-source_7.1-1_all.deb
|
2015-06-27 13:48
|
9.9M
|
acl2-books-source_8.0dfsg-1_all.deb
|
2018-01-14 03:08
|
11.9M
|
acl2-books-source_8.2dfsg-3build1_all.deb
|
2020-03-23 13:24
|
13.6M
|
acl2-books-source_8.4dfsg-2_all.deb
|
2021-12-19 01:10
|
21.1M
|
acl2-books-source_8.5dfsg-5build3_all.deb
|
2024-04-02 08:02
|
22.7M
|
acl2-books-source_8.5dfsg-6_all.deb
|
2024-07-29 04:20
|
22.7M
|
acl2-books-source_8.6+dfsg-3_all.deb
|
2025-05-15 07:30
|
26.3M
|
acl2-books_6.3-5_amd64.deb
|
2013-10-24 16:36
|
40.1M
|
acl2-books_6.3-5_i386.deb
|
2013-10-24 16:36
|
35.8M
|
acl2-books_7.1-1_amd64.deb
|
2015-06-27 13:48
|
18.7M
|
acl2-books_7.1-1_i386.deb
|
2015-06-02 02:43
|
17.7M
|
acl2-books_8.0dfsg-1_amd64.deb
|
2018-01-14 03:08
|
131.7M
|
acl2-books_8.0dfsg-1_i386.deb
|
2018-01-14 04:49
|
114.1M
|
acl2-books_8.2dfsg-3build1_amd64.deb
|
2020-03-23 13:24
|
163.4M
|
acl2-books_8.4dfsg-2_amd64.deb
|
2021-12-19 01:09
|
337.6M
|
acl2-books_8.5dfsg-5build3_amd64.deb
|
2024-04-02 08:03
|
330.5M
|
acl2-books_8.5dfsg-6_amd64.deb
|
2024-07-29 04:20
|
170.5M
|
acl2-books_8.6+dfsg-3_amd64.deb
|
2025-05-15 07:30
|
469.0M
|
acl2-doc_6.3-5_all.deb
|
2013-10-24 16:36
|
12.1M
|
acl2-doc_7.1-1_all.deb
|
2015-06-27 13:48
|
353.3K
|
acl2-doc_8.0dfsg-1_all.deb
|
2018-01-14 03:08
|
385.1K
|
acl2-doc_8.2dfsg-3build1_all.deb
|
2020-03-23 13:24
|
418.1K
|
acl2-doc_8.4dfsg-2_all.deb
|
2021-12-19 01:09
|
441.1K
|
acl2-doc_8.5dfsg-5build3_all.deb
|
2024-04-02 08:02
|
473.9K
|
acl2-doc_8.5dfsg-6_all.deb
|
2024-07-29 04:20
|
473.8K
|
acl2-doc_8.6+dfsg-3_all.deb
|
2025-05-15 07:30
|
516.0K
|
acl2-emacs_6.3-5_all.deb
|
2013-10-24 16:36
|
55.0K
|
acl2-emacs_7.1-1_all.deb
|
2015-06-27 13:48
|
55.2K
|
acl2-emacs_8.0dfsg-1_all.deb
|
2018-01-14 03:08
|
58.9K
|
acl2-emacs_8.2dfsg-3build1_all.deb
|
2020-03-23 13:24
|
59.1K
|
acl2-infix-source_6.3-5_all.deb
|
2013-10-24 16:36
|
86.0K
|
acl2-infix-source_7.1-1_all.deb
|
2015-06-27 13:48
|
70.3K
|
acl2-infix-source_8.0dfsg-1_all.deb
|
2018-01-14 03:08
|
70.2K
|
acl2-infix-source_8.2dfsg-3build1_all.deb
|
2020-03-23 13:24
|
70.2K
|
acl2-infix-source_8.4dfsg-2_all.deb
|
2021-12-19 01:10
|
72.0K
|
acl2-infix-source_8.5dfsg-5build3_all.deb
|
2024-04-02 08:02
|
72.4K
|
acl2-infix-source_8.5dfsg-6_all.deb
|
2024-07-29 04:20
|
72.3K
|
acl2-infix-source_8.6+dfsg-3_all.deb
|
2025-05-15 07:30
|
72.8K
|
acl2-infix_6.3-5_amd64.deb
|
2013-10-24 16:36
|
200.3K
|
acl2-infix_6.3-5_i386.deb
|
2013-10-24 16:36
|
189.0K
|
acl2-infix_7.1-1_amd64.deb
|
2015-06-27 13:48
|
140.2K
|
acl2-infix_7.1-1_i386.deb
|
2015-06-02 02:43
|
142.1K
|
acl2-infix_8.0dfsg-1_amd64.deb
|
2018-01-14 03:08
|
414.2K
|
acl2-infix_8.0dfsg-1_i386.deb
|
2018-01-14 04:49
|
381.1K
|
acl2-infix_8.2dfsg-3build1_amd64.deb
|
2020-03-23 13:24
|
469.9K
|
acl2-infix_8.4dfsg-2_amd64.deb
|
2021-12-19 01:09
|
550.8K
|
acl2-infix_8.5dfsg-5build3_amd64.deb
|
2024-04-02 08:02
|
538.1K
|
acl2-infix_8.5dfsg-6_amd64.deb
|
2024-07-29 04:20
|
533.0K
|
acl2-infix_8.6+dfsg-3_amd64.deb
|
2025-05-15 07:30
|
990.8K
|
acl2-source_6.3-5_all.deb
|
2013-10-24 16:36
|
3.6M
|
acl2-source_7.1-1_all.deb
|
2015-06-27 13:48
|
2.7M
|
acl2-source_8.0dfsg-1_all.deb
|
2018-01-14 03:08
|
2.9M
|
acl2-source_8.2dfsg-3build1_all.deb
|
2020-03-23 13:24
|
3.1M
|
acl2-source_8.4dfsg-2_all.deb
|
2021-12-19 01:10
|
3.4M
|
acl2-source_8.5dfsg-5build3_all.deb
|
2024-04-02 08:02
|
3.5M
|
acl2-source_8.5dfsg-6_all.deb
|
2024-07-29 04:20
|
3.5M
|
acl2-source_8.6+dfsg-3_all.deb
|
2025-05-15 07:30
|
3.9M
|
acl2_6.3-5.debian.tar.gz
|
2013-10-21 13:09
|
157.7K
|
acl2_6.3-5.dsc
|
2013-10-21 13:09
|
1.7K
|
acl2_6.3-5_amd64.deb
|
2013-10-24 16:36
|
26.6M
|
acl2_6.3-5_i386.deb
|
2013-10-24 16:36
|
22.9M
|
acl2_6.3.orig-books.tar.gz
|
2013-10-21 13:09
|
13.0M
|
acl2_6.3.orig.tar.gz
|
2013-10-21 13:09
|
6.7M
|
acl2_7.1-1.debian.tar.xz
|
2015-06-01 23:24
|
125.9K
|
acl2_7.1-1.dsc
|
2015-06-01 23:24
|
2.2K
|
acl2_7.1-1_amd64.deb
|
2015-06-27 13:48
|
16.5M
|
acl2_7.1-1_i386.deb
|
2015-06-02 02:43
|
15.7M
|
acl2_7.1.orig.tar.gz
|
2015-06-01 23:24
|
60.4M
|
acl2_8.0dfsg-1.debian.tar.xz
|
2018-01-13 23:08
|
200.0K
|
acl2_8.0dfsg-1.dsc
|
2018-01-13 23:08
|
2.2K
|
acl2_8.0dfsg-1_amd64.deb
|
2018-01-14 03:08
|
18.8M
|
acl2_8.0dfsg-1_i386.deb
|
2018-01-14 04:49
|
16.2M
|
acl2_8.0dfsg.orig.tar.gz
|
2018-01-13 23:08
|
74.0M
|
acl2_8.2dfsg-3build1.debian.tar.xz
|
2020-03-23 07:00
|
201.2K
|
acl2_8.2dfsg-3build1.dsc
|
2020-03-23 07:00
|
2.2K
|
acl2_8.2dfsg-3build1_amd64.deb
|
2020-03-23 13:24
|
20.9M
|
acl2_8.2dfsg.orig.tar.gz
|
2019-12-19 23:13
|
76.9M
|
acl2_8.4dfsg-2.debian.tar.xz
|
2021-11-01 23:24
|
304.3K
|
acl2_8.4dfsg-2.dsc
|
2021-11-01 23:24
|
2.2K
|
acl2_8.4dfsg-2_amd64.deb
|
2021-12-19 01:10
|
24.9M
|
acl2_8.4dfsg.orig.tar.gz
|
2021-10-28 23:18
|
193.6M
|
acl2_8.5dfsg-5build3.debian.tar.xz
|
2024-04-01 05:43
|
305.7K
|
acl2_8.5dfsg-5build3.dsc
|
2024-04-01 05:43
|
2.3K
|
acl2_8.5dfsg-5build3_amd64.deb
|
2024-04-02 08:03
|
25.6M
|
acl2_8.5dfsg-6.debian.tar.xz
|
2024-07-28 23:59
|
305.5K
|
acl2_8.5dfsg-6.dsc
|
2024-07-28 23:59
|
2.2K
|
acl2_8.5dfsg-6_amd64.deb
|
2024-07-29 04:20
|
25.3M
|
acl2_8.5dfsg.orig.tar.gz
|
2022-07-27 23:33
|
213.2M
|
acl2_8.6+dfsg-3.debian.tar.xz
|
2025-05-15 00:36
|
694.5K
|
acl2_8.6+dfsg-3.dsc
|
2025-05-15 00:35
|
2.2K
|
acl2_8.6+dfsg-3_amd64.deb
|
2025-05-15 07:30
|
45.3M
|
acl2_8.6+dfsg.orig.tar.gz
|
2025-05-01 16:25
|
229.2M
|
elpa-acl2_8.4dfsg-2_all.deb
|
2021-12-19 01:09
|
69.1K
|
elpa-acl2_8.5dfsg-5build3_all.deb
|
2024-04-02 08:02
|
70.7K
|
elpa-acl2_8.5dfsg-6_all.deb
|
2024-07-29 04:20
|
70.8K
|
elpa-acl2_8.6+dfsg-3_all.deb
|
2025-05-15 07:30
|
78.6K
|