Unix-Solutions Logo

mirror.unix-solutions.be

hosted by Unix-Solutions

services: http, https, rsync

Index of /raspbian/raspbian/pool/main/a/acl2

File Last Modified Size
📂 Parent Directory
📄 acl2-books-certs_8.3dfsg-1_all.deb2020-08-24 04:11:0713.34 KB
📄 acl2-books-certs_8.3dfsg-2_all.deb2021-01-28 02:25:23138.65 MB
📄 acl2-books-certs_8.5dfsg-5_all.deb2023-01-16 14:55:57170.11 MB
📄 acl2-books-certs_8.5dfsg-6_all.deb2024-07-28 23:44:1664.16 MB
📄 acl2-books-certs_8.6+dfsg-2_all.deb2025-04-27 19:56:16211.35 MB
📄 acl2-books-certs_8.6+dfsg-3_all.deb2025-05-14 20:24:46211.65 MB
📄 acl2-books-source_8.3dfsg-1_all.deb2020-08-24 04:11:0718.62 MB
📄 acl2-books-source_8.3dfsg-2_all.deb2021-01-28 02:25:2318.63 MB
📄 acl2-books-source_8.5dfsg-5_all.deb2023-01-16 14:55:5723.52 MB
📄 acl2-books-source_8.5dfsg-6_all.deb2024-07-28 23:44:1723.52 MB
📄 acl2-books-source_8.6+dfsg-2_all.deb2025-04-27 19:56:1626.23 MB
📄 acl2-books-source_8.6+dfsg-3_all.deb2025-05-14 20:24:4626.23 MB
📄 acl2-books_8.3dfsg-1_armhf.deb2020-08-29 10:08:1512.65 KB
📄 acl2-books_8.5dfsg-5_armhf.deb2023-01-26 10:08:06265.9 MB
📄 acl2-books_8.5dfsg-6_armhf.deb2024-10-04 10:08:05269.85 MB
📄 acl2-doc_8.3dfsg-1_all.deb2020-08-24 04:11:07436.99 KB
📄 acl2-doc_8.3dfsg-2_all.deb2021-01-28 02:25:23437.12 KB
📄 acl2-doc_8.5dfsg-5_all.deb2023-01-16 14:55:57470.05 KB
📄 acl2-doc_8.5dfsg-6_all.deb2024-07-28 23:44:17470.17 KB
📄 acl2-doc_8.6+dfsg-2_all.deb2025-04-27 19:56:16512.61 KB
📄 acl2-doc_8.6+dfsg-3_all.deb2025-05-14 20:24:46512.84 KB
📄 acl2-emacs_8.3dfsg-1_all.deb2020-08-24 04:11:0767.61 KB
📄 acl2-emacs_8.3dfsg-2_all.deb2021-01-28 02:25:2367.79 KB
📄 acl2-infix-source_8.3dfsg-1_all.deb2020-08-24 04:11:0777.85 KB
📄 acl2-infix-source_8.3dfsg-2_all.deb2021-01-28 02:25:2378.01 KB
📄 acl2-infix-source_8.5dfsg-5_all.deb2023-01-16 14:55:5770.64 KB
📄 acl2-infix-source_8.5dfsg-6_all.deb2024-07-28 23:44:1770.7 KB
📄 acl2-infix-source_8.6+dfsg-2_all.deb2025-04-27 19:56:1670.95 KB
📄 acl2-infix-source_8.6+dfsg-3_all.deb2025-05-14 20:24:4671.13 KB
📄 acl2-infix_8.3dfsg-1_armhf.deb2020-08-29 10:08:15431.45 KB
📄 acl2-infix_8.5dfsg-5_armhf.deb2023-01-26 10:08:06456.99 KB
📄 acl2-infix_8.5dfsg-6_armhf.deb2024-10-04 10:08:05459.15 KB
📄 acl2-source_8.3dfsg-1_all.deb2020-08-24 04:11:073.19 MB
📄 acl2-source_8.3dfsg-2_all.deb2021-01-28 02:25:233.19 MB
📄 acl2-source_8.5dfsg-5_all.deb2023-01-16 14:55:573.42 MB
📄 acl2-source_8.5dfsg-6_all.deb2024-07-28 23:44:173.42 MB
📄 acl2-source_8.6+dfsg-2_all.deb2025-04-27 19:56:163.81 MB
📄 acl2-source_8.6+dfsg-3_all.deb2025-05-14 20:24:463.81 MB
📄 acl2_8.3dfsg-1.debian.tar.xz2020-08-24 02:39:38201.16 KB
📄 acl2_8.3dfsg-1.dsc2020-08-24 02:39:372.2 KB
📄 acl2_8.3dfsg-1_armhf.deb2020-08-29 10:08:1517.27 MB
📄 acl2_8.3dfsg-2.debian.tar.xz2021-01-27 14:34:22222.97 KB
📄 acl2_8.3dfsg-2.dsc2021-01-27 14:34:222.22 KB
📄 acl2_8.3dfsg.orig.tar.gz2020-08-24 02:39:38111.83 MB
📄 acl2_8.5dfsg-5.debian.tar.xz2023-01-16 02:00:06305.56 KB
📄 acl2_8.5dfsg-5.dsc2023-01-16 02:00:062.21 KB
📄 acl2_8.5dfsg-5_armhf.deb2023-01-26 10:08:0618.03 MB
📄 acl2_8.5dfsg-6.debian.tar.xz2024-08-03 04:41:00305.52 KB
📄 acl2_8.5dfsg-6.dsc2024-08-03 04:40:592.21 KB
📄 acl2_8.5dfsg-6_armhf.deb2024-10-04 10:08:0618.15 MB
📄 acl2_8.5dfsg.orig.tar.gz2022-07-27 14:13:36213.19 MB
📄 acl2_8.6+dfsg-2.debian.tar.xz2025-04-27 12:54:28434.7 KB
📄 acl2_8.6+dfsg-2.dsc2025-04-27 12:54:282.23 KB
📄 acl2_8.6+dfsg-3.debian.tar.xz2025-05-14 14:10:11694.53 KB
📄 acl2_8.6+dfsg-3.dsc2025-05-14 14:10:112.23 KB
📄 acl2_8.6+dfsg.orig.tar.gz2025-04-26 21:21:59229.2 MB
📄 elpa-acl2_8.5dfsg-5_all.deb2023-01-16 14:55:5768.97 KB
📄 elpa-acl2_8.5dfsg-6_all.deb2024-07-28 23:44:1769.01 KB
📄 elpa-acl2_8.6+dfsg-2_all.deb2025-04-27 19:56:1676.43 KB
📄 elpa-acl2_8.6+dfsg-3_all.deb2025-05-14 20:24:4676.62 KB