|
Parent Directory/
|
|
- |
acl2-books-certs_8.3dfsg-2_all.deb
|
2021-01-28 02:25
|
138.7M
|
acl2-books-certs_8.5dfsg-5_all.deb
|
2023-01-16 14:55
|
170.1M
|
acl2-books-certs_8.6+dfsg-2_all.deb
|
2025-04-27 19:56
|
211.4M
|
acl2-books-certs_8.6+dfsg-3_all.deb
|
2025-05-14 20:24
|
211.6M
|
acl2-books-source_8.3dfsg-2_all.deb
|
2021-01-28 02:25
|
18.6M
|
acl2-books-source_8.5dfsg-5_all.deb
|
2023-01-16 14:55
|
23.5M
|
acl2-books-source_8.6+dfsg-2_all.deb
|
2025-04-27 19:56
|
26.2M
|
acl2-books-source_8.6+dfsg-3_all.deb
|
2025-05-14 20:24
|
26.2M
|
acl2-books_8.3dfsg-2_amd64.deb
|
2021-01-27 21:57
|
241.2M
|
acl2-books_8.3dfsg-2_arm64.deb
|
2021-01-28 15:43
|
236.0M
|
acl2-books_8.3dfsg-2_armhf.deb
|
2021-01-28 06:42
|
222.9M
|
acl2-books_8.3dfsg-2_i386.deb
|
2021-01-27 22:22
|
203.9M
|
acl2-books_8.5dfsg-5_amd64.deb
|
2023-01-16 20:15
|
287.0M
|
acl2-books_8.5dfsg-5_arm64.deb
|
2023-01-17 21:13
|
289.4M
|
acl2-books_8.5dfsg-5_armhf.deb
|
2023-01-17 11:32
|
271.7M
|
acl2-books_8.5dfsg-5_i386.deb
|
2023-01-16 15:16
|
247.6M
|
acl2-books_8.6+dfsg-2_amd64.deb
|
2025-04-27 19:40
|
415.6M
|
acl2-books_8.6+dfsg-2_arm64.deb
|
2025-04-27 19:56
|
412.5M
|
acl2-books_8.6+dfsg-2_armhf.deb
|
2025-04-28 17:17
|
394.6M
|
acl2-books_8.6+dfsg-2_i386.deb
|
2025-04-27 19:25
|
344.3M
|
acl2-books_8.6+dfsg-3_amd64.deb
|
2025-05-14 20:40
|
415.6M
|
acl2-books_8.6+dfsg-3_arm64.deb
|
2025-05-15 13:47
|
412.5M
|
acl2-books_8.6+dfsg-3_armhf.deb
|
2025-05-14 22:17
|
394.7M
|
acl2-books_8.6+dfsg-3_i386.deb
|
2025-05-14 22:27
|
344.3M
|
acl2-doc_8.3dfsg-2_all.deb
|
2021-01-28 02:25
|
437.1K
|
acl2-doc_8.5dfsg-5_all.deb
|
2023-01-16 14:55
|
470.0K
|
acl2-doc_8.6+dfsg-2_all.deb
|
2025-04-27 19:56
|
512.6K
|
acl2-doc_8.6+dfsg-3_all.deb
|
2025-05-14 20:24
|
512.8K
|
acl2-emacs_8.3dfsg-2_all.deb
|
2021-01-28 02:25
|
67.8K
|
acl2-infix-source_8.3dfsg-2_all.deb
|
2021-01-28 02:25
|
78.0K
|
acl2-infix-source_8.5dfsg-5_all.deb
|
2023-01-16 14:55
|
70.6K
|
acl2-infix-source_8.6+dfsg-2_all.deb
|
2025-04-27 19:56
|
70.9K
|
acl2-infix-source_8.6+dfsg-3_all.deb
|
2025-05-14 20:24
|
71.1K
|
acl2-infix_8.3dfsg-2_amd64.deb
|
2021-01-27 21:57
|
478.8K
|
acl2-infix_8.3dfsg-2_arm64.deb
|
2021-01-28 15:43
|
469.4K
|
acl2-infix_8.3dfsg-2_armhf.deb
|
2021-01-28 06:42
|
478.3K
|
acl2-infix_8.3dfsg-2_i386.deb
|
2021-01-27 22:22
|
484.8K
|
acl2-infix_8.5dfsg-5_amd64.deb
|
2023-01-16 20:15
|
464.1K
|
acl2-infix_8.5dfsg-5_arm64.deb
|
2023-01-17 21:13
|
460.7K
|
acl2-infix_8.5dfsg-5_armhf.deb
|
2023-01-17 11:32
|
472.4K
|
acl2-infix_8.5dfsg-5_i386.deb
|
2023-01-16 15:16
|
477.5K
|
acl2-infix_8.6+dfsg-2_amd64.deb
|
2025-04-27 19:40
|
866.0K
|
acl2-infix_8.6+dfsg-2_arm64.deb
|
2025-04-27 19:56
|
833.8K
|
acl2-infix_8.6+dfsg-2_armhf.deb
|
2025-04-28 17:17
|
845.5K
|
acl2-infix_8.6+dfsg-2_i386.deb
|
2025-04-27 19:25
|
852.2K
|
acl2-infix_8.6+dfsg-3_amd64.deb
|
2025-05-14 20:40
|
864.8K
|
acl2-infix_8.6+dfsg-3_arm64.deb
|
2025-05-15 13:47
|
833.5K
|
acl2-infix_8.6+dfsg-3_armhf.deb
|
2025-05-14 22:17
|
846.4K
|
acl2-infix_8.6+dfsg-3_i386.deb
|
2025-05-14 22:27
|
852.5K
|
acl2-source_8.3dfsg-2_all.deb
|
2021-01-28 02:25
|
3.2M
|
acl2-source_8.5dfsg-5_all.deb
|
2023-01-16 14:55
|
3.4M
|
acl2-source_8.6+dfsg-2_all.deb
|
2025-04-27 19:56
|
3.8M
|
acl2-source_8.6+dfsg-3_all.deb
|
2025-05-14 20:24
|
3.8M
|
acl2_8.3dfsg-2.debian.tar.xz
|
2021-01-27 14:34
|
223.0K
|
acl2_8.3dfsg-2.dsc
|
2021-01-27 14:34
|
2.2K
|
acl2_8.3dfsg-2_amd64.deb
|
2021-01-27 21:57
|
20.5M
|
acl2_8.3dfsg-2_arm64.deb
|
2021-01-28 15:43
|
19.0M
|
acl2_8.3dfsg-2_armhf.deb
|
2021-01-28 06:42
|
17.7M
|
acl2_8.3dfsg-2_i386.deb
|
2021-01-27 22:22
|
18.6M
|
acl2_8.3dfsg.orig.tar.gz
|
2020-08-24 02:39
|
111.8M
|
acl2_8.5dfsg-5.debian.tar.xz
|
2023-01-16 02:00
|
305.6K
|
acl2_8.5dfsg-5.dsc
|
2023-01-16 02:00
|
2.2K
|
acl2_8.5dfsg-5_amd64.deb
|
2023-01-16 20:15
|
22.3M
|
acl2_8.5dfsg-5_arm64.deb
|
2023-01-17 21:13
|
20.6M
|
acl2_8.5dfsg-5_armhf.deb
|
2023-01-17 11:32
|
18.7M
|
acl2_8.5dfsg-5_i386.deb
|
2023-01-16 15:16
|
19.4M
|
acl2_8.5dfsg.orig.tar.gz
|
2022-07-27 14:13
|
213.2M
|
acl2_8.6+dfsg-2.debian.tar.xz
|
2025-04-27 12:54
|
434.7K
|
acl2_8.6+dfsg-2.dsc
|
2025-04-27 12:54
|
2.2K
|
acl2_8.6+dfsg-2_amd64.deb
|
2025-04-27 19:40
|
35.2M
|
acl2_8.6+dfsg-2_arm64.deb
|
2025-04-27 19:56
|
34.9M
|
acl2_8.6+dfsg-2_armhf.deb
|
2025-04-28 17:17
|
36.6M
|
acl2_8.6+dfsg-2_i386.deb
|
2025-04-27 19:25
|
38.8M
|
acl2_8.6+dfsg-3.debian.tar.xz
|
2025-05-14 14:10
|
694.5K
|
acl2_8.6+dfsg-3.dsc
|
2025-05-14 14:10
|
2.2K
|
acl2_8.6+dfsg-3_amd64.deb
|
2025-05-14 20:40
|
35.4M
|
acl2_8.6+dfsg-3_arm64.deb
|
2025-05-15 13:47
|
36.4M
|
acl2_8.6+dfsg-3_armhf.deb
|
2025-05-14 22:17
|
38.2M
|
acl2_8.6+dfsg-3_i386.deb
|
2025-05-14 22:27
|
39.2M
|
acl2_8.6+dfsg.orig.tar.gz
|
2025-04-26 21:21
|
229.2M
|
elpa-acl2_8.5dfsg-5_all.deb
|
2023-01-16 14:55
|
69.0K
|
elpa-acl2_8.6+dfsg-2_all.deb
|
2025-04-27 19:56
|
76.4K
|
elpa-acl2_8.6+dfsg-3_all.deb
|
2025-05-14 20:24
|
76.6K
|