Welcome to the Belnet public FTP server ftp.belnet.be !

This server is located in Brussels, Belgium and operated by Belnet, the
Belgian Education and Research Network. If you have any problem, question or
mirror request, please send them to ftpmaint@belnet.be.

This archive is available through the following means:

HTTP http://ftp.belnet.be (IPv4 + IPv6)
FTP ftp://ftp.belnet.be (IPv4 + IPv6)
RSYNC rsync://rsync.belnet.be (IPv4)

Note: opening too many parallel connections to this host is considered an abuse.
All access is logged.

/ftp.debian.org/debian/pool/main/a/acl2/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
acl2-books-certs_6.5-2_all.deb6.2 MiB2022-Nov-16 20:52
acl2-books-certs_7.2dfsg-3_all.deb52.3 MiB2022-Nov-16 20:52
acl2-books-certs_8.0dfsg-1_all.deb69.9 MiB2022-Nov-16 20:52
acl2-books-certs_8.3dfsg-1_all.deb13.3 KiB2022-Nov-16 20:52
acl2-books-certs_8.3dfsg-2_all.deb138.7 MiB2022-Nov-16 20:52
acl2-books-source_6.5-2_all.deb6.6 MiB2022-Nov-16 20:52
acl2-books-source_7.2dfsg-3_all.deb10.4 MiB2022-Nov-16 20:52
acl2-books-source_8.0dfsg-1_all.deb11.9 MiB2022-Nov-16 20:52
acl2-books-source_8.3dfsg-1_all.deb18.6 MiB2022-Nov-16 20:53
acl2-books-source_8.3dfsg-2_all.deb18.6 MiB2022-Nov-16 20:52
acl2-books_6.5-2_amd64.deb22.1 MiB2022-Nov-16 20:53
acl2-books_6.5-2_armel.deb65.0 MiB2022-Nov-16 20:53
acl2-books_6.5-2_armhf.deb66.7 MiB2022-Nov-16 20:53
acl2-books_6.5-2_i386.deb20.8 MiB2022-Nov-16 20:53
acl2-books_7.2dfsg-3_amd64.deb103.1 MiB2022-Nov-16 20:53
acl2-books_7.2dfsg-3_arm64.deb104.5 MiB2022-Nov-16 20:53
acl2-books_7.2dfsg-3_armel.deb86.3 MiB2022-Nov-16 20:53
acl2-books_7.2dfsg-3_armhf.deb91.9 MiB2022-Nov-16 20:53
acl2-books_7.2dfsg-3_i386.deb86.3 MiB2022-Nov-16 20:53
acl2-books_7.2dfsg-3_mips.deb71.3 MiB2022-Nov-16 20:53
acl2-books_7.2dfsg-3_mips64el.deb108.2 MiB2022-Nov-16 20:53
acl2-books_7.2dfsg-3_mipsel.deb74.2 MiB2022-Nov-16 20:53
acl2-books_7.2dfsg-3_ppc64el.deb98.8 MiB2022-Nov-16 20:53
acl2-books_7.2dfsg-3_s390x.deb101.6 MiB2022-Nov-16 20:53
acl2-books_8.0dfsg-1+b1_armel.deb127.3 MiB2022-Nov-16 20:53
acl2-books_8.0dfsg-1_amd64.deb131.6 MiB2022-Nov-16 20:53
acl2-books_8.0dfsg-1_arm64.deb134.8 MiB2022-Nov-16 20:53
acl2-books_8.0dfsg-1_armhf.deb119.6 MiB2022-Nov-16 20:53
acl2-books_8.0dfsg-1_i386.deb110.6 MiB2022-Nov-16 20:53
acl2-books_8.0dfsg-1_mips.deb126.0 MiB2022-Nov-16 20:53
acl2-books_8.0dfsg-1_mips64el.deb140.0 MiB2022-Nov-16 20:53
acl2-books_8.0dfsg-1_mipsel.deb130.6 MiB2022-Nov-16 20:53
acl2-books_8.0dfsg-1_ppc64el.deb130.5 MiB2022-Nov-16 20:53
acl2-books_8.0dfsg-1_s390x.deb121.8 MiB2022-Nov-16 20:53
acl2-books_8.3dfsg-1_amd64.deb12.7 KiB2022-Nov-16 20:53
acl2-books_8.3dfsg-1_arm64.deb12.7 KiB2022-Nov-16 20:53
acl2-books_8.3dfsg-1_armel.deb12.7 KiB2022-Nov-16 20:53
acl2-books_8.3dfsg-1_armhf.deb12.7 KiB2022-Nov-16 20:53
acl2-books_8.3dfsg-1_i386.deb12.7 KiB2022-Nov-16 20:53
acl2-books_8.3dfsg-1_mips64el.deb12.7 KiB2022-Nov-16 20:53
acl2-books_8.3dfsg-1_mipsel.deb12.6 KiB2022-Nov-16 20:53
acl2-books_8.3dfsg-1_ppc64el.deb12.6 KiB2022-Nov-16 20:53
acl2-books_8.3dfsg-1_s390x.deb12.7 KiB2022-Nov-16 20:53
acl2-books_8.3dfsg-2_amd64.deb241.2 MiB2022-Nov-16 20:52
acl2-books_8.3dfsg-2_arm64.deb236.0 MiB2022-Nov-16 20:52
acl2-books_8.3dfsg-2_armel.deb218.4 MiB2022-Nov-16 20:52
acl2-books_8.3dfsg-2_armhf.deb222.9 MiB2022-Nov-16 20:52
acl2-books_8.3dfsg-2_i386.deb203.9 MiB2022-Nov-16 20:52
acl2-books_8.3dfsg-2_mipsel.deb227.9 MiB2022-Nov-16 20:52
acl2-books_8.3dfsg-2_ppc64el.deb244.8 MiB2022-Nov-16 20:52
acl2-books_8.3dfsg-2_s390x.deb219.0 MiB2022-Nov-16 20:52
acl2-doc_6.5-2_all.deb1.6 MiB2022-Nov-16 20:53
acl2-doc_7.2dfsg-3_all.deb372.3 KiB2022-Nov-16 20:53
acl2-doc_8.0dfsg-1_all.deb392.1 KiB2022-Nov-16 20:53
acl2-doc_8.3dfsg-1_all.deb437.0 KiB2022-Nov-16 20:53
acl2-doc_8.3dfsg-2_all.deb437.1 KiB2022-Nov-16 20:52
acl2-emacs_6.5-2_all.deb59.4 KiB2022-Nov-16 20:53
acl2-emacs_7.2dfsg-3_all.deb62.6 KiB2022-Nov-16 20:53
acl2-emacs_8.0dfsg-1_all.deb66.0 KiB2022-Nov-16 20:53
acl2-emacs_8.3dfsg-1_all.deb67.6 KiB2022-Nov-16 20:53
acl2-emacs_8.3dfsg-2_all.deb67.8 KiB2022-Nov-16 20:52
acl2-infix-source_6.5-2_all.deb77.6 KiB2022-Nov-16 20:53
acl2-infix-source_7.2dfsg-3_all.deb77.0 KiB2022-Nov-16 20:53
acl2-infix-source_8.0dfsg-1_all.deb77.3 KiB2022-Nov-16 20:53
acl2-infix-source_8.3dfsg-1_all.deb77.9 KiB2022-Nov-16 20:53
acl2-infix-source_8.3dfsg-2_all.deb78.0 KiB2022-Nov-16 20:52
acl2-infix_6.5-2_amd64.deb146.5 KiB2022-Nov-16 20:53
acl2-infix_6.5-2_armel.deb402.7 KiB2022-Nov-16 20:53
acl2-infix_6.5-2_armhf.deb424.4 KiB2022-Nov-16 20:53
acl2-infix_6.5-2_i386.deb148.0 KiB2022-Nov-16 20:53
acl2-infix_7.2dfsg-3_amd64.deb409.9 KiB2022-Nov-16 20:53
acl2-infix_7.2dfsg-3_arm64.deb420.2 KiB2022-Nov-16 20:53
acl2-infix_7.2dfsg-3_armel.deb381.8 KiB2022-Nov-16 20:53
acl2-infix_7.2dfsg-3_armhf.deb400.6 KiB2022-Nov-16 20:53
acl2-infix_7.2dfsg-3_i386.deb381.0 KiB2022-Nov-16 20:53
acl2-infix_7.2dfsg-3_mips.deb407.9 KiB2022-Nov-16 20:53
acl2-infix_7.2dfsg-3_mips64el.deb423.7 KiB2022-Nov-16 20:53
acl2-infix_7.2dfsg-3_mipsel.deb426.3 KiB2022-Nov-16 20:53
acl2-infix_7.2dfsg-3_ppc64el.deb412.9 KiB2022-Nov-16 20:53
acl2-infix_7.2dfsg-3_s390x.deb408.3 KiB2022-Nov-16 20:53
acl2-infix_8.0dfsg-1+b1_armel.deb431.8 KiB2022-Nov-16 20:53
acl2-infix_8.0dfsg-1_amd64.deb421.9 KiB2022-Nov-16 20:53
acl2-infix_8.0dfsg-1_arm64.deb432.4 KiB2022-Nov-16 20:53
acl2-infix_8.0dfsg-1_armhf.deb406.5 KiB2022-Nov-16 20:53
acl2-infix_8.0dfsg-1_i386.deb390.0 KiB2022-Nov-16 20:53
acl2-infix_8.0dfsg-1_mips.deb421.1 KiB2022-Nov-16 20:53
acl2-infix_8.0dfsg-1_mips64el.deb439.8 KiB2022-Nov-16 20:53
acl2-infix_8.0dfsg-1_mipsel.deb441.8 KiB2022-Nov-16 20:53
acl2-infix_8.0dfsg-1_ppc64el.deb434.1 KiB2022-Nov-16 20:53
acl2-infix_8.0dfsg-1_s390x.deb397.0 KiB2022-Nov-16 20:53
acl2-infix_8.3dfsg-1_amd64.deb480.4 KiB2022-Nov-16 20:53
acl2-infix_8.3dfsg-1_arm64.deb468.8 KiB2022-Nov-16 20:53
acl2-infix_8.3dfsg-1_armel.deb465.0 KiB2022-Nov-16 20:53
acl2-infix_8.3dfsg-1_armhf.deb443.6 KiB2022-Nov-16 20:53
acl2-infix_8.3dfsg-1_i386.deb485.6 KiB2022-Nov-16 20:53
acl2-infix_8.3dfsg-1_mips64el.deb502.8 KiB2022-Nov-16 20:53
acl2-infix_8.3dfsg-1_mipsel.deb507.2 KiB2022-Nov-16 20:53
acl2-infix_8.3dfsg-1_ppc64el.deb498.3 KiB2022-Nov-16 20:53
acl2-infix_8.3dfsg-1_s390x.deb440.2 KiB2022-Nov-16 20:53
acl2-infix_8.3dfsg-2_amd64.deb478.8 KiB2022-Nov-16 20:52
acl2-infix_8.3dfsg-2_arm64.deb469.4 KiB2022-Nov-16 20:52
acl2-infix_8.3dfsg-2_armel.deb462.9 KiB2022-Nov-16 20:52
acl2-infix_8.3dfsg-2_armhf.deb478.3 KiB2022-Nov-16 20:52
acl2-infix_8.3dfsg-2_i386.deb484.8 KiB2022-Nov-16 20:52
acl2-infix_8.3dfsg-2_mipsel.deb508.9 KiB2022-Nov-16 20:52
acl2-infix_8.3dfsg-2_ppc64el.deb497.9 KiB2022-Nov-16 20:52
acl2-infix_8.3dfsg-2_s390x.deb434.9 KiB2022-Nov-16 20:52
acl2-source_6.5-2_all.deb2.6 MiB2022-Nov-16 20:53
acl2-source_7.2dfsg-3_all.deb2.8 MiB2022-Nov-16 20:53
acl2-source_8.0dfsg-1_all.deb2.9 MiB2022-Nov-16 20:53
acl2-source_8.3dfsg-1_all.deb3.2 MiB2022-Nov-16 20:53
acl2-source_8.3dfsg-2_all.deb3.2 MiB2022-Nov-16 20:52
acl2_6.5-2.debian.tar.xz125.3 KiB2022-Nov-16 20:53
acl2_6.5-2.dsc1.8 KiB2022-Nov-16 20:53
acl2_6.5-2_amd64.deb15.6 MiB2022-Nov-16 20:53
acl2_6.5-2_armel.deb13.1 MiB2022-Nov-16 20:53
acl2_6.5-2_armhf.deb13.5 MiB2022-Nov-16 20:53
acl2_6.5-2_i386.deb13.4 MiB2022-Nov-16 20:53
acl2_6.5.orig-books.tar.gz14.3 MiB2022-Nov-16 20:53
acl2_6.5.orig.tar.gz5.9 MiB2022-Nov-16 20:53
acl2_7.2dfsg-3.debian.tar.xz199.4 KiB2022-Nov-16 20:53
acl2_7.2dfsg-3.dsc2.2 KiB2022-Nov-16 20:53
acl2_7.2dfsg-3_amd64.deb17.3 MiB2022-Nov-16 20:53
acl2_7.2dfsg-3_arm64.deb14.9 MiB2022-Nov-16 20:53
acl2_7.2dfsg-3_armel.deb13.8 MiB2022-Nov-16 20:53
acl2_7.2dfsg-3_armhf.deb14.0 MiB2022-Nov-16 20:53
acl2_7.2dfsg-3_i386.deb14.9 MiB2022-Nov-16 20:53
acl2_7.2dfsg-3_mips.deb15.0 MiB2022-Nov-16 20:53
acl2_7.2dfsg-3_mips64el.deb14.9 MiB2022-Nov-16 20:53
acl2_7.2dfsg-3_mipsel.deb15.1 MiB2022-Nov-16 20:53
acl2_7.2dfsg-3_ppc64el.deb15.6 MiB2022-Nov-16 20:53
acl2_7.2dfsg-3_s390x.deb15.3 MiB2022-Nov-16 20:53
acl2_7.2dfsg.orig.tar.gz61.4 MiB2022-Nov-16 20:53
acl2_8.0dfsg-1+b1_armel.deb16.0 MiB2022-Nov-16 20:53
acl2_8.0dfsg-1.debian.tar.xz200.0 KiB2022-Nov-16 20:53
acl2_8.0dfsg-1.dsc2.2 KiB2022-Nov-16 20:53
acl2_8.0dfsg-1_amd64.deb18.9 MiB2022-Nov-16 20:53
acl2_8.0dfsg-1_arm64.deb17.0 MiB2022-Nov-16 20:53
acl2_8.0dfsg-1_armhf.deb15.4 MiB2022-Nov-16 20:53
acl2_8.0dfsg-1_i386.deb16.2 MiB2022-Nov-16 20:53
acl2_8.0dfsg-1_mips.deb16.5 MiB2022-Nov-16 20:53
acl2_8.0dfsg-1_mips64el.deb16.4 MiB2022-Nov-16 20:53
acl2_8.0dfsg-1_mipsel.deb16.7 MiB2022-Nov-16 20:53
acl2_8.0dfsg-1_ppc64el.deb18.5 MiB2022-Nov-16 20:53
acl2_8.0dfsg-1_s390x.deb17.2 MiB2022-Nov-16 20:53
acl2_8.0dfsg.orig.tar.gz74.0 MiB2022-Nov-16 20:53
acl2_8.3dfsg-1.debian.tar.xz201.2 KiB2022-Nov-16 20:53
acl2_8.3dfsg-1.dsc2.2 KiB2022-Nov-16 20:53
acl2_8.3dfsg-1_amd64.deb20.3 MiB2022-Nov-16 20:53
acl2_8.3dfsg-1_arm64.deb18.7 MiB2022-Nov-16 20:53
acl2_8.3dfsg-1_armel.deb17.3 MiB2022-Nov-16 20:53
acl2_8.3dfsg-1_armhf.deb17.5 MiB2022-Nov-16 20:53
acl2_8.3dfsg-1_i386.deb18.3 MiB2022-Nov-16 20:53
acl2_8.3dfsg-1_mips64el.deb18.1 MiB2022-Nov-16 20:53
acl2_8.3dfsg-1_mipsel.deb19.3 MiB2022-Nov-16 20:53
acl2_8.3dfsg-1_ppc64el.deb20.9 MiB2022-Nov-16 20:53
acl2_8.3dfsg-1_s390x.deb19.5 MiB2022-Nov-16 20:53
acl2_8.3dfsg-2.debian.tar.xz223.0 KiB2022-Nov-16 20:52
acl2_8.3dfsg-2.dsc2.2 KiB2022-Nov-16 20:52
acl2_8.3dfsg-2_amd64.deb20.5 MiB2022-Nov-16 20:52
acl2_8.3dfsg-2_arm64.deb19.0 MiB2022-Nov-16 20:52
acl2_8.3dfsg-2_armel.deb17.6 MiB2022-Nov-16 20:52
acl2_8.3dfsg-2_armhf.deb17.7 MiB2022-Nov-16 20:52
acl2_8.3dfsg-2_i386.deb18.6 MiB2022-Nov-16 20:52
acl2_8.3dfsg-2_mipsel.deb18.8 MiB2022-Nov-16 20:52
acl2_8.3dfsg-2_ppc64el.deb21.6 MiB2022-Nov-16 20:52
acl2_8.3dfsg-2_s390x.deb19.7 MiB2022-Nov-16 20:52
acl2_8.3dfsg.orig.tar.gz111.8 MiB2022-Nov-16 20:53