⚙
3 GiB
93 files
0 directories
Index of
/
ubuntu
/pool
/universe
/a
/acl2/
Filename
Modified
Size
Type
[Parent Directory]
-
-
-
acl2-infix-source_8.2dfsg-3build1_all.deb
23/03/20 13:24
23/03/20
70.2 KiB
[Save]
[Download]
acl2-books-certs_6.3-5_all.deb
24/10/13 16:36
24/10/13
11.1 MiB
[Save]
[Download]
acl2-infix-source_8.4dfsg-2_all.deb
19/12/21 01:10
19/12/21
72 KiB
[Save]
[Download]
acl2-books-certs_7.1-1_all.deb
27/06/15 13:48
27/06/15
12.6 MiB
[Save]
[Download]
acl2_8.5dfsg-5build3.debian.tar.xz
01/04/24 05:43
01/04/24
306 KiB
[Save]
[Download]
acl2-books-certs_8.0dfsg-1_all.deb
14/01/18 03:08
14/01/18
70 MiB
[Save]
[Download]
acl2-infix-source_7.1-1_all.deb
27/06/15 13:48
27/06/15
70.3 KiB
[Save]
[Download]
acl2-books-certs_8.2dfsg-3build1_all.deb
23/03/20 13:24
23/03/20
65.8 MiB
[Save]
[Download]
acl2-books-certs_8.4dfsg-2_all.deb
19/12/21 01:10
19/12/21
221 MiB
[Save]
[Download]
acl2-infix_6.3-5_amd64.deb
24/10/13 16:36
24/10/13
200 KiB
[Save]
[Download]
acl2-infix_7.1-1_amd64.deb
27/06/15 13:48
27/06/15
140 KiB
[Save]
[Download]
acl2-infix_6.3-5_i386.deb
24/10/13 16:36
24/10/13
189 KiB
[Save]
[Download]
acl2-books-source_6.3-5_all.deb
24/10/13 16:36
24/10/13
9.1 MiB
[Save]
[Download]
acl2-infix_7.1-1_i386.deb
02/06/15 02:43
02/06/15
142 KiB
[Save]
[Download]
acl2-books-source_7.1-1_all.deb
27/06/15 13:48
27/06/15
9.9 MiB
[Save]
[Download]
acl2-infix_8.0dfsg-1_amd64.deb
14/01/18 03:08
14/01/18
414 KiB
[Save]
[Download]
acl2-books-source_8.0dfsg-1_all.deb
14/01/18 03:08
14/01/18
11.9 MiB
[Save]
[Download]
acl2-infix-source_8.0dfsg-1_all.deb
14/01/18 03:08
14/01/18
70.2 KiB
[Save]
[Download]
acl2-books-source_8.2dfsg-3build1_all.deb
23/03/20 13:24
23/03/20
13.6 MiB
[Save]
[Download]
acl2-infix_8.0dfsg-1_i386.deb
14/01/18 04:49
14/01/18
381 KiB
[Save]
[Download]
acl2-books-source_8.4dfsg-2_all.deb
19/12/21 01:10
19/12/21
21.1 MiB
[Save]
[Download]
acl2-infix_8.2dfsg-3build1_amd64.deb
23/03/20 13:24
23/03/20
470 KiB
[Save]
[Download]
acl2_8.5dfsg-5build3.dsc
01/04/24 05:43
01/04/24
2.3 KiB
[Save]
[Download]
acl2-infix_8.4dfsg-2_amd64.deb
19/12/21 01:09
19/12/21
551 KiB
[Save]
[Download]
acl2_6.3.orig.tar.gz
21/10/13 13:09
21/10/13
6.7 MiB
[Save]
[Download]
acl2-books_6.3-5_amd64.deb
24/10/13 16:36
24/10/13
40.1 MiB
[Save]
[Download]
acl2_7.1-1.debian.tar.xz
01/06/15 23:24
01/06/15
126 KiB
[Save]
[Download]
acl2-books_6.3-5_i386.deb
24/10/13 16:36
24/10/13
35.8 MiB
[Save]
[Download]
acl2_7.1-1.dsc
01/06/15 23:24
01/06/15
2.2 KiB
[Save]
[Download]
acl2-books_7.1-1_amd64.deb
27/06/15 13:48
27/06/15
18.7 MiB
[Save]
[Download]
acl2_7.1-1_amd64.deb
27/06/15 13:48
27/06/15
16.5 MiB
[Save]
[Download]
acl2-books_7.1-1_i386.deb
02/06/15 02:43
02/06/15
17.7 MiB
[Save]
[Download]
acl2-source_8.0dfsg-1_all.deb
14/01/18 03:08
14/01/18
2.9 MiB
[Save]
[Download]
acl2-books_8.0dfsg-1_amd64.deb
14/01/18 03:08
14/01/18
132 MiB
[Save]
[Download]
acl2-source_8.2dfsg-3build1_all.deb
23/03/20 13:24
23/03/20
3.1 MiB
[Save]
[Download]
acl2-books_8.0dfsg-1_i386.deb
14/01/18 04:49
14/01/18
114 MiB
[Save]
[Download]
acl2-source_8.4dfsg-2_all.deb
19/12/21 01:10
19/12/21
3.4 MiB
[Save]
[Download]
acl2-books_8.2dfsg-3build1_amd64.deb
23/03/20 13:24
23/03/20
163 MiB
[Save]
[Download]
acl2-books-certs_8.5dfsg-5build3_all.deb
02/04/24 08:03
02/04/24
216 MiB
[Save]
[Download]
acl2-books_8.4dfsg-2_amd64.deb
19/12/21 01:09
19/12/21
338 MiB
[Save]
[Download]
acl2-books-source_8.5dfsg-5build3_all.deb
02/04/24 08:02
02/04/24
22.7 MiB
[Save]
[Download]
acl2_6.3-5.debian.tar.gz
21/10/13 13:09
21/10/13
158 KiB
[Save]
[Download]
acl2_7.1-1_i386.deb
02/06/15 02:43
02/06/15
15.7 MiB
[Save]
[Download]
acl2-doc_6.3-5_all.deb
24/10/13 16:36
24/10/13
12.1 MiB
[Save]
[Download]
acl2_7.1.orig.tar.gz
01/06/15 23:24
01/06/15
60.4 MiB
[Save]
[Download]
acl2-doc_7.1-1_all.deb
27/06/15 13:48
27/06/15
353 KiB
[Save]
[Download]
acl2_8.0dfsg-1.debian.tar.xz
13/01/18 23:08
13/01/18
200 KiB
[Save]
[Download]
acl2-doc_8.0dfsg-1_all.deb
14/01/18 03:08
14/01/18
385 KiB
[Save]
[Download]
acl2-books_8.5dfsg-5build3_amd64.deb
02/04/24 08:03
02/04/24
331 MiB
[Save]
[Download]
acl2-doc_8.2dfsg-3build1_all.deb
23/03/20 13:24
23/03/20
418 KiB
[Save]
[Download]
acl2_8.0dfsg-1.dsc
13/01/18 23:08
13/01/18
2.2 KiB
[Save]
[Download]
acl2-doc_8.4dfsg-2_all.deb
19/12/21 01:09
19/12/21
441 KiB
[Save]
[Download]
acl2_8.0dfsg-1_amd64.deb
14/01/18 03:08
14/01/18
18.8 MiB
[Save]
[Download]
acl2-doc_8.5dfsg-5build3_all.deb
02/04/24 08:02
02/04/24
474 KiB
[Save]
[Download]
acl2_8.0dfsg-1_i386.deb
14/01/18 04:49
14/01/18
16.2 MiB
[Save]
[Download]
acl2_8.0dfsg.orig.tar.gz
13/01/18 23:08
13/01/18
74 MiB
[Save]
[Download]
acl2-emacs_6.3-5_all.deb
24/10/13 16:36
24/10/13
55 KiB
[Save]
[Download]
acl2_8.2dfsg-3build1.debian.tar.xz
23/03/20 07:00
23/03/20
201 KiB
[Save]
[Download]
acl2-emacs_7.1-1_all.deb
27/06/15 13:48
27/06/15
55.2 KiB
[Save]
[Download]
acl2_8.2dfsg-3build1.dsc
23/03/20 07:00
23/03/20
2.2 KiB
[Save]
[Download]
acl2-emacs_8.0dfsg-1_all.deb
14/01/18 03:08
14/01/18
58.9 KiB
[Save]
[Download]
acl2_6.3-5_amd64.deb
24/10/13 16:36
24/10/13
26.6 MiB
[Save]
[Download]
acl2-emacs_8.2dfsg-3build1_all.deb
23/03/20 13:24
23/03/20
59.1 KiB
[Save]
[Download]
acl2_6.3-5_i386.deb
24/10/13 16:36
24/10/13
22.9 MiB
[Save]
[Download]
acl2-infix-source_6.3-5_all.deb
24/10/13 16:36
24/10/13
86 KiB
[Save]
[Download]
acl2-infix_8.5dfsg-5build3_amd64.deb
02/04/24 08:02
02/04/24
538 KiB
[Save]
[Download]
acl2_6.3.orig-books.tar.gz
21/10/13 13:09
21/10/13
13 MiB
[Save]
[Download]
acl2_8.2dfsg-3build1_amd64.deb
23/03/20 13:24
23/03/20
20.9 MiB
[Save]
[Download]
acl2-source_6.3-5_all.deb
24/10/13 16:36
24/10/13
3.6 MiB
[Save]
[Download]
acl2_8.2dfsg.orig.tar.gz
19/12/19 23:13
19/12/19
76.9 MiB
[Save]
[Download]
acl2-source_7.1-1_all.deb
27/06/15 13:48
27/06/15
2.7 MiB
[Save]
[Download]
acl2_8.4dfsg-2.debian.tar.xz
01/11/21 23:24
01/11/21
304 KiB
[Save]
[Download]
acl2_6.3-5.dsc
21/10/13 13:09
21/10/13
1.7 KiB
[Save]
[Download]
acl2_8.4dfsg-2.dsc
01/11/21 23:24
01/11/21
2.2 KiB
[Save]
[Download]
acl2_8.4dfsg-2_amd64.deb
19/12/21 01:10
19/12/21
24.9 MiB
[Save]
[Download]
acl2_8.4dfsg.orig.tar.gz
28/10/21 23:18
28/10/21
194 MiB
[Save]
[Download]
acl2_8.5dfsg.orig.tar.gz
27/07/22 23:33
27/07/22
213 MiB
[Save]
[Download]
elpa-acl2_8.4dfsg-2_all.deb
19/12/21 01:09
19/12/21
69.1 KiB
[Save]
[Download]
acl2-infix-source_8.5dfsg-5build3_all.deb
02/04/24 08:02
02/04/24
72.4 KiB
[Save]
[Download]
acl2-source_8.5dfsg-5build3_all.deb
02/04/24 08:02
02/04/24
3.5 MiB
[Save]
[Download]
acl2_8.5dfsg-5build3_amd64.deb
02/04/24 08:03
02/04/24
25.6 MiB
[Save]
[Download]
elpa-acl2_8.5dfsg-5build3_all.deb
02/04/24 08:02
02/04/24
70.7 KiB
[Save]
[Download]
acl2_8.5dfsg-6.debian.tar.xz
28/07/24 23:59
28/07/24
306 KiB
[Save]
[Download]
acl2_8.5dfsg-6.dsc
28/07/24 23:59
28/07/24
2.2 KiB
[Save]
[Download]
acl2-books-certs_8.5dfsg-6_all.deb
29/07/24 04:20
29/07/24
78.6 MiB
[Save]
[Download]
acl2-books-source_8.5dfsg-6_all.deb
29/07/24 04:20
29/07/24
22.7 MiB
[Save]
[Download]
acl2-books_8.5dfsg-6_amd64.deb
29/07/24 04:20
29/07/24
171 MiB
[Save]
[Download]
acl2-doc_8.5dfsg-6_all.deb
29/07/24 04:20
29/07/24
474 KiB
[Save]
[Download]
acl2-infix-source_8.5dfsg-6_all.deb
29/07/24 04:20
29/07/24
72.3 KiB
[Save]
[Download]
acl2-infix_8.5dfsg-6_amd64.deb
29/07/24 04:20
29/07/24
533 KiB
[Save]
[Download]
acl2-source_8.5dfsg-6_all.deb
29/07/24 04:20
29/07/24
3.5 MiB
[Save]
[Download]
acl2_8.5dfsg-6_amd64.deb
29/07/24 04:20
29/07/24
25.3 MiB
[Save]
[Download]
elpa-acl2_8.5dfsg-6_all.deb
29/07/24 04:20
29/07/24
70.8 KiB
[Save]
[Download]
Page generated in
0.202762
seconds
Browsing
/ubuntu/pool/universe/a/acl2/
@
mirror.ihost.md