Download mirrors for acl2-books-source_3.3-1.1_all.deb (2.44 MB):

2007-04-07  ftp://ftp.int-evry.fr/mirror1/ubuntu.com/ubuntu-cd/.debian-mirror/pool/main/a/acl2/acl2-books-source_3.3-1.1_all.deb
2008-04-05  ftp://ftp.efrei.fr/pub/mirrors/linux/distributions/debian/pool/main/a/acl2/acl2-books-source_3.3-1.1_all.deb
2008-04-05  ftp://ftp.cstone.net/debian/pool/main/a/acl2/acl2-books-source_3.3-1.1_all.deb
2008-04-05  ftp://ftp.debian.hu/debian/pool/main/a/acl2/acl2-books-source_3.3-1.1_all.deb
2008-04-05  ftp://ftp.itb.ac.id/pub/debian/pool/main/a/acl2/acl2-books-source_3.3-1.1_all.deb
2008-04-05  ftp://ftp.uvigo.es/pub/linux/distribuciones/debian/pool/main/a/acl2/acl2-books-source_3.3-1.1_all.deb
2008-04-05  ftp://ftp.task.gda.pl/vol/zfs/ftp.debian.org/pub/debian/pool/main/a/acl2/acl2-books-source_3.3-1.1_all.deb
2008-04-05  ftp://ftp.lip6.fr/pub/linux/distributions/debian/pool/main/a/acl2/acl2-books-source_3.3-1.1_all.deb
2008-04-05  ftp://133.24.255.161/mirror3/debian/pool/main/a/acl2/acl2-books-source_3.3-1.1_all.deb
2008-04-05  ftp://ftp.ur.ru/debian/pool/main/a/acl2/acl2-books-source_3.3-1.1_all.deb