Directory listing of http://mirror.biznetgio.com/ubuntu/pool/universe/a/acl2
mirror.biznetgio.com
/
ubuntu
/
pool
/
universe
/
a
/
acl2
File
Size
Last Modified
..
-
2024-02-24 06:33:07
acl2-books-certs_6.3-5_all.deb
11.10MB
2013-10-24 23:36:23
acl2-books-certs_7.1-1_all.deb
12.58MB
2015-06-27 20:48:34
acl2-books-certs_8.0dfsg-1_all.deb
70.00MB
2018-01-14 10:08:17
acl2-books-certs_8.2dfsg-3build1_all.deb
65.78MB
2020-03-23 20:24:07
acl2-books-certs_8.4dfsg-2_all.deb
221.09MB
2021-12-19 08:10:18
acl2-books-certs_8.5dfsg-5build1_all.deb
215.79MB
2024-03-01 02:34:15
acl2-books-certs_8.5dfsg-5_all.deb
216.20MB
2023-01-17 09:29:02
acl2-books-source_6.3-5_all.deb
9.13MB
2013-10-24 23:36:24
acl2-books-source_7.1-1_all.deb
9.85MB
2015-06-27 20:48:39
acl2-books-source_8.0dfsg-1_all.deb
11.89MB
2018-01-14 10:08:16
acl2-books-source_8.2dfsg-3build1_all.deb
13.63MB
2020-03-23 20:24:10
acl2-books-source_8.4dfsg-2_all.deb
21.11MB
2021-12-19 08:10:25
acl2-books-source_8.5dfsg-5build1_all.deb
22.76MB
2024-03-01 02:34:12
acl2-books-source_8.5dfsg-5_all.deb
22.90MB
2023-01-17 09:29:03
acl2-books_6.3-5_amd64.deb
40.12MB
2013-10-24 23:36:25
acl2-books_6.3-5_i386.deb
35.81MB
2013-10-24 23:36:44
acl2-books_7.1-1_amd64.deb
18.70MB
2015-06-27 20:48:35
acl2-books_7.1-1_i386.deb
17.74MB
2015-06-02 09:43:16
acl2-books_8.0dfsg-1_amd64.deb
131.69MB
2018-01-14 10:08:15
acl2-books_8.0dfsg-1_i386.deb
114.06MB
2018-01-14 11:49:27
acl2-books_8.2dfsg-3build1_amd64.deb
163.36MB
2020-03-23 20:24:09
acl2-books_8.4dfsg-2_amd64.deb
337.55MB
2021-12-19 08:09:59
acl2-books_8.5dfsg-5build1_amd64.deb
330.36MB
2024-03-01 02:34:17
acl2-books_8.5dfsg-5_amd64.deb
329.32MB
2023-01-17 09:29:05
acl2-doc_6.3-5_all.deb
12.14MB
2013-10-24 23:36:25
acl2-doc_7.1-1_all.deb
353.30KB
2015-06-27 20:48:36
acl2-doc_8.0dfsg-1_all.deb
385.12KB
2018-01-14 10:08:13
acl2-doc_8.2dfsg-3build1_all.deb
418.07KB
2020-03-23 20:24:10
acl2-doc_8.4dfsg-2_all.deb
441.07KB
2021-12-19 08:09:59
acl2-doc_8.5dfsg-5build1_all.deb
473.83KB
2024-03-01 02:34:12
acl2-doc_8.5dfsg-5_all.deb
473.42KB
2023-01-17 09:29:02
acl2-emacs_6.3-5_all.deb
54.98KB
2013-10-24 23:36:24
acl2-emacs_7.1-1_all.deb
55.20KB
2015-06-27 20:48:38
acl2-emacs_8.0dfsg-1_all.deb
58.93KB
2018-01-14 10:08:17
acl2-emacs_8.2dfsg-3build1_all.deb
59.10KB
2020-03-23 20:24:10
acl2-infix-source_6.3-5_all.deb
85.97KB
2013-10-24 23:36:24
acl2-infix-source_7.1-1_all.deb
70.33KB
2015-06-27 20:48:40
acl2-infix-source_8.0dfsg-1_all.deb
70.20KB
2018-01-14 10:08:12
acl2-infix-source_8.2dfsg-3build1_all.deb
70.23KB
2020-03-23 20:24:07
acl2-infix-source_8.4dfsg-2_all.deb
71.95KB
2021-12-19 08:10:26
acl2-infix-source_8.5dfsg-5build1_all.deb
72.34KB
2024-03-01 02:34:12
acl2-infix-source_8.5dfsg-5_all.deb
71.89KB
2023-01-17 09:29:02
acl2-infix_6.3-5_amd64.deb
200.32KB
2013-10-24 23:36:25
acl2-infix_6.3-5_i386.deb
189.04KB
2013-10-24 23:36:43
acl2-infix_7.1-1_amd64.deb
140.19KB
2015-06-27 20:48:37
acl2-infix_7.1-1_i386.deb
142.15KB
2015-06-02 09:43:17
acl2-infix_8.0dfsg-1_amd64.deb
414.21KB
2018-01-14 10:08:13
acl2-infix_8.0dfsg-1_i386.deb
381.12KB
2018-01-14 11:49:27
acl2-infix_8.2dfsg-3build1_amd64.deb
469.87KB
2020-03-23 20:24:10
acl2-infix_8.4dfsg-2_amd64.deb
550.79KB
2021-12-19 08:09:06
acl2-infix_8.5dfsg-5build1_amd64.deb
538.09KB
2024-03-01 02:34:12
acl2-infix_8.5dfsg-5_amd64.deb
532.67KB
2023-01-17 09:29:06
acl2-source_6.3-5_all.deb
3.62MB
2013-10-24 23:36:22
acl2-source_7.1-1_all.deb
2.71MB
2015-06-27 20:48:41
acl2-source_8.0dfsg-1_all.deb
2.93MB
2018-01-14 10:08:13
acl2-source_8.2dfsg-3build1_all.deb
3.12MB
2020-03-23 20:24:10
acl2-source_8.4dfsg-2_all.deb
3.37MB
2021-12-19 08:10:00
acl2-source_8.5dfsg-5build1_all.deb
3.48MB
2024-03-01 02:34:12
acl2-source_8.5dfsg-5_all.deb
3.48MB
2023-01-17 09:29:01
acl2_6.3-5.debian.tar.gz
157.70KB
2013-10-21 20:09:58
acl2_6.3-5.dsc
1.71KB
2013-10-21 20:09:59
acl2_6.3-5_amd64.deb
26.59MB
2013-10-24 23:36:26
acl2_6.3-5_i386.deb
22.90MB
2013-10-24 23:36:43
acl2_6.3.orig-books.tar.gz
12.97MB
2013-10-21 20:09:59
acl2_6.3.orig.tar.gz
6.74MB
2013-10-21 20:09:59
acl2_7.1-1.debian.tar.xz
125.88KB
2015-06-02 06:24:15
acl2_7.1-1.dsc
2.15KB
2015-06-02 06:24:18
acl2_7.1-1_amd64.deb
16.48MB
2015-06-27 20:48:40
acl2_7.1-1_i386.deb
15.70MB
2015-06-02 09:43:17
acl2_7.1.orig.tar.gz
60.41MB
2015-06-02 06:24:18
acl2_8.0dfsg-1.debian.tar.xz
199.96KB
2018-01-14 06:08:21
acl2_8.0dfsg-1.dsc
2.19KB
2018-01-14 06:08:20
acl2_8.0dfsg-1_amd64.deb
18.79MB
2018-01-14 10:08:15
acl2_8.0dfsg-1_i386.deb
16.21MB
2018-01-14 11:49:27
acl2_8.0dfsg.orig.tar.gz
74.04MB
2018-01-14 06:08:21
acl2_8.2dfsg-3build1.debian.tar.xz
201.20KB
2020-03-23 14:00:04
acl2_8.2dfsg-3build1.dsc
2.24KB
2020-03-23 14:00:05
acl2_8.2dfsg-3build1_amd64.deb
20.92MB
2020-03-23 20:24:11
acl2_8.2dfsg.orig.tar.gz
76.92MB
2019-12-20 06:13:26
acl2_8.4dfsg-2.debian.tar.xz
304.32KB
2021-11-02 06:24:22
acl2_8.4dfsg-2.dsc
2.23KB
2021-11-02 06:24:20
acl2_8.4dfsg-2_amd64.deb
24.92MB
2021-12-19 08:10:20
acl2_8.4dfsg.orig.tar.gz
193.59MB
2021-10-29 06:18:50
acl2_8.5dfsg-5.debian.tar.xz
305.56KB
2023-01-17 00:44:34
acl2_8.5dfsg-5.dsc
2.21KB
2023-01-17 00:44:33
acl2_8.5dfsg-5build1.debian.tar.xz
305.62KB
2024-02-29 16:31:08
acl2_8.5dfsg-5build1.dsc
2.35KB
2024-02-29 16:31:08
acl2_8.5dfsg-5build1_amd64.deb
25.46MB
2024-03-01 02:34:17
acl2_8.5dfsg-5_amd64.deb
25.70MB
2023-01-17 09:29:02
acl2_8.5dfsg.orig.tar.gz
213.19MB
2022-07-28 06:33:59
elpa-acl2_8.4dfsg-2_all.deb
69.13KB
2021-12-19 08:09:07
elpa-acl2_8.5dfsg-5build1_all.deb
70.66KB
2024-03-01 02:34:12
elpa-acl2_8.5dfsg-5_all.deb
70.33KB
2023-01-17 09:29:03