uk-mirror.onlyservers.com
Sync healthy Servers, Bandwidth and storage provided by OnlyServers UK Browse

Index of /debian/pool/main/a/acl2/

Show dotfiles
Name
Last modified
Size
../
-
-
acl2-books-certs_8.5dfsg-5_all.deb
17-Feb-2026 21:23
170.11 MB
acl2-books-certs_8.6+dfsg-2_all.deb
17-Feb-2026 21:23
211.35 MB
acl2-books-certs_8.7+dfsg-3_all.deb
10-Aug-2026 02:28
232.51 MB
acl2-books-source_8.5dfsg-5_all.deb
17-Feb-2026 21:23
23.52 MB
acl2-books-source_8.6+dfsg-2_all.deb
17-Feb-2026 21:23
26.23 MB
acl2-books-source_8.7+dfsg-3_all.deb
10-Aug-2026 02:28
28.36 MB
acl2-books_8.5dfsg-5_amd64.deb
17-Feb-2026 21:23
286.96 MB
acl2-books_8.5dfsg-5_arm64.deb
17-Feb-2026 21:23
289.41 MB
acl2-books_8.5dfsg-5_armhf.deb
17-Feb-2026 21:23
271.7 MB
acl2-books_8.5dfsg-5_i386.deb
17-Feb-2026 21:23
247.58 MB
acl2-books_8.6+dfsg-2_amd64.deb
17-Feb-2026 21:23
415.56 MB
acl2-books_8.6+dfsg-2_arm64.deb
17-Feb-2026 21:23
412.49 MB
acl2-books_8.6+dfsg-2_armhf.deb
17-Feb-2026 21:23
394.63 MB
acl2-books_8.6+dfsg-2_i386.deb
17-Feb-2026 21:23
344.28 MB
acl2-books_8.7+dfsg-3_amd64.deb
10-Aug-2026 02:28
456.62 MB
acl2-books_8.7+dfsg-3_arm64.deb
10-Aug-2026 02:28
448.41 MB
acl2-books_8.7+dfsg-3_armhf.deb
10-Aug-2026 02:28
434.66 MB
acl2-books_8.7+dfsg-3_i386.deb
10-Aug-2026 02:28
397.55 MB
acl2-doc_8.5dfsg-5_all.deb
17-Feb-2026 21:23
470.05 KB
acl2-doc_8.6+dfsg-2_all.deb
17-Feb-2026 21:23
512.61 KB
acl2-doc_8.7+dfsg-3_all.deb
10-Aug-2026 02:28
533.37 KB
acl2-infix-source_8.5dfsg-5_all.deb
17-Feb-2026 21:23
70.64 KB
acl2-infix-source_8.6+dfsg-2_all.deb
17-Feb-2026 21:23
70.95 KB
acl2-infix-source_8.7+dfsg-3_all.deb
10-Aug-2026 02:28
70.27 KB
acl2-infix_8.5dfsg-5_amd64.deb
17-Feb-2026 21:23
464.15 KB
acl2-infix_8.5dfsg-5_arm64.deb
17-Feb-2026 21:23
460.66 KB
acl2-infix_8.5dfsg-5_armhf.deb
17-Feb-2026 21:23
472.35 KB
acl2-infix_8.5dfsg-5_i386.deb
17-Feb-2026 21:23
477.48 KB
acl2-infix_8.6+dfsg-2_amd64.deb
17-Feb-2026 21:23
866.02 KB
acl2-infix_8.6+dfsg-2_arm64.deb
17-Feb-2026 21:23
833.77 KB
acl2-infix_8.6+dfsg-2_armhf.deb
17-Feb-2026 21:23
845.52 KB
acl2-infix_8.6+dfsg-2_i386.deb
17-Feb-2026 21:23
852.23 KB
acl2-infix_8.7+dfsg-3_amd64.deb
10-Aug-2026 02:28
875.63 KB
acl2-infix_8.7+dfsg-3_arm64.deb
10-Aug-2026 02:28
843.85 KB
acl2-infix_8.7+dfsg-3_armhf.deb
10-Aug-2026 02:28
869.55 KB
acl2-infix_8.7+dfsg-3_i386.deb
10-Aug-2026 02:28
863.57 KB
acl2-source_8.5dfsg-5_all.deb
17-Feb-2026 21:23
3.42 MB
acl2-source_8.6+dfsg-2_all.deb
17-Feb-2026 21:23
3.81 MB
acl2-source_8.7+dfsg-3_all.deb
10-Aug-2026 02:28
3.88 MB
acl2_8.5dfsg-5_amd64.deb
17-Feb-2026 21:23
22.32 MB
acl2_8.5dfsg-5_arm64.deb
17-Feb-2026 21:23
20.59 MB
acl2_8.5dfsg-5_armhf.deb
17-Feb-2026 21:23
18.68 MB
acl2_8.5dfsg-5_i386.deb
17-Feb-2026 21:23
19.43 MB
acl2_8.6+dfsg-2_amd64.deb
17-Feb-2026 21:23
35.19 MB
acl2_8.6+dfsg-2_arm64.deb
17-Feb-2026 21:23
34.91 MB
acl2_8.6+dfsg-2_armhf.deb
17-Feb-2026 21:23
36.57 MB
acl2_8.6+dfsg-2_i386.deb
17-Feb-2026 21:23
38.8 MB
acl2_8.7+dfsg-3_amd64.deb
10-Aug-2026 02:28
34.23 MB
acl2_8.7+dfsg-3_arm64.deb
10-Aug-2026 02:28
31.02 MB
acl2_8.7+dfsg-3_armhf.deb
10-Aug-2026 02:28
33.27 MB
acl2_8.7+dfsg-3_i386.deb
10-Aug-2026 02:28
35.19 MB
elpa-acl2_8.5dfsg-5_all.deb
17-Feb-2026 21:26
68.97 KB
elpa-acl2_8.6+dfsg-2_all.deb
17-Feb-2026 21:26
76.43 KB
elpa-acl2_8.7+dfsg-3_all.deb
10-Aug-2026 02:28
75.77 KB