[NLUUG]

Welcome to ftp.nluug.nl

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

/ftp/pub/os/Linux/distr/deepin/pool/main/a/acl2/
File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
acl2-source_8.0dfsg-1_all.deb2.9 MiB2022-Apr-11 02:56
acl2-books_8.0dfsg-1_i386.deb110.6 MiB2022-Apr-11 02:57
acl2_8.0dfsg-1_i386.deb16.2 MiB2022-Apr-11 03:02
acl2-infix_8.0dfsg-1_i386.deb390.0 KiB2022-Apr-11 03:06
acl2-infix-source_8.0dfsg-1_all.deb77.3 KiB2022-Apr-11 03:10
acl2-books_8.0dfsg-1_amd64.deb131.6 MiB2022-Apr-11 03:13
acl2-emacs_8.0dfsg-1_all.deb66.0 KiB2022-Apr-11 03:17
acl2-doc_8.0dfsg-1_all.deb392.1 KiB2022-Apr-11 03:20
acl2_8.0dfsg-1_amd64.deb18.9 MiB2022-Apr-11 03:30
acl2-books-certs_8.0dfsg-1_all.deb69.9 MiB2022-Apr-11 03:40
acl2-books-source_8.0dfsg-1_all.deb11.9 MiB2022-Apr-11 03:43
acl2-infix_8.0dfsg-1_amd64.deb421.9 KiB2022-Apr-11 03:44
acl2_8.0dfsg-1.debian.tar.xz200.0 KiB2022-Apr-11 03:44
acl2_8.0dfsg-1.dsc2.2 KiB2022-Apr-11 03:44
acl2_8.0dfsg.orig.tar.gz74.0 MiB2022-Apr-11 03:44

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