[NLUUG]

Welcome to ftp.nluug.nl

The large public mirror server for open source projects hosted by NLUUG and Surfnet

/os/Linux/distr/deepin/beige/pool/community/a/acl2/
File Name  ↓ File Size  ↓ Date  ↓ 
./-2025-Aug-04 09:41
../-2025-Dec-08 02:52
acl2-books-certs_8.6+dfsg-2_all.deb200.4 MiB2025-Jul-16 01:05
acl2-books-source_8.6+dfsg-2_all.deb26.2 MiB2025-Jul-16 01:06
acl2-books_8.6+dfsg-2_amd64.deb415.5 MiB2025-Jul-16 01:06
acl2-books_8.6+dfsg-2_arm64.deb415.7 MiB2025-Jul-16 01:05
acl2-books_8.6+dfsg-2_i386.deb358.4 MiB2025-Jul-16 01:05
acl2-books_8.6+dfsg-2_loong64.deb524.9 MiB2025-Jul-16 01:07
acl2-books_8.6+dfsg-2_riscv64.deb922.6 MiB2025-Jul-16 01:07
acl2-doc_8.6+dfsg-2_all.deb512.6 KiB2025-Jul-16 01:06
acl2-infix-source_8.6+dfsg-2_all.deb70.9 KiB2025-Jul-16 01:05
acl2-infix_8.6+dfsg-2_amd64.deb856.4 KiB2025-Jul-16 01:05
acl2-infix_8.6+dfsg-2_arm64.deb831.4 KiB2025-Jul-16 01:06
acl2-infix_8.6+dfsg-2_i386.deb853.5 KiB2025-Jul-16 01:05
acl2-infix_8.6+dfsg-2_loong64.deb1.0 MiB2025-Jul-16 01:05
acl2-infix_8.6+dfsg-2_riscv64.deb1.8 MiB2025-Jul-16 01:07
acl2-source_8.6+dfsg-2_all.deb3.8 MiB2025-Jul-16 01:06
acl2_8.6+dfsg-2.debian.tar.xz434.8 KiB2025-Jul-18 07:28
acl2_8.6+dfsg-2.dsc1.4 KiB2025-Jul-18 07:28
acl2_8.6+dfsg-2_amd64.deb35.6 MiB2025-Jul-16 01:05
acl2_8.6+dfsg-2_arm64.deb35.1 MiB2025-Jul-16 01:06
acl2_8.6+dfsg-2_i386.deb38.6 MiB2025-Jul-16 01:06
acl2_8.6+dfsg-2_loong64.deb35.3 MiB2025-Jul-16 01:07
acl2_8.6+dfsg-2_riscv64.deb34.6 MiB2025-Jul-16 01:06
acl2_8.6+dfsg.orig.tar.gz229.2 MiB2025-Jul-18 07:28
elpa-acl2_8.6+dfsg-2_all.deb76.3 KiB2025-Jul-16 01:05

NLUUG - Open Systems. Open Standards
Become a member and get discounts on conferences and more, see the NLUUG website!