Index of ftp://mirror.atlantic.net/ubuntu/pool/universe/a/acl2

[DIR] Parent Directory

-15 -14 -13 -12 -11 -10 -09 -08 -07 -06 -05 -04 -03 -02 -01   page 02 of 06
+01 +02 +03 +04 +05 +06 +07 +08 +09 +10 +11 +12 +13 +14 +15   <- Back | Next page ->

[ ] acl2_7.2dfsg-2_s390x.deb  16.52Mb  May 5 2016  [find mirrors]
[ GZ] acl2_7.2dfsg.orig.tar.gz  61.43Mb  April 26 2016  [find mirrors]
[ ] acl2_8.0dfsg-1_amd64.deb  18.79Mb  January 14 2018  [find mirrors]
[ ] acl2_8.0dfsg-1_arm64.deb  16.91Mb  January 22 2018  [find mirrors]
[ ] acl2_8.0dfsg-1_armhf.deb  15.43Mb  January 21 2018  [find mirrors]
[ ] acl2_8.0dfsg-1build1_amd64.deb  18.70Mb  January 15 2019  [find mirrors]
[ ] acl2_8.0dfsg-1build1_arm64.deb  17.94Mb  January 16 2019  [find mirrors]
[ ] acl2_8.0dfsg-1build1_armhf.deb  16.00Mb  January 16 2019  [find mirrors]
[ ] acl2_8.0dfsg-1build1.debian.tar.xz  200.01Kb  January 15 2019  [find mirrors]
[ ] acl2_8.0dfsg-1build1.dsc  2.24Kb  January 15 2019  [find mirrors]
[ ] acl2_8.0dfsg-1build1_i386.deb  16.70Mb  January 15 2019  [find mirrors]
[ ] acl2_8.0dfsg-1build1_s390x.deb  18.63Mb  January 15 2019  [find mirrors]
[ ] acl2_8.0dfsg-1.debian.tar.xz  199.96Kb  January 13 2018  [find mirrors]
[ ] acl2_8.0dfsg-1.dsc  2.19Kb  January 13 2018  [find mirrors]
[ ] acl2_8.0dfsg-1_i386.deb  16.21Mb  January 14 2018  [find mirrors]
[ ] acl2_8.0dfsg-1_ppc64el.deb  18.65Mb  January 31 2018  [find mirrors]
[ ] acl2_8.0dfsg-1_s390x.deb  17.83Mb  January 23 2018  [find mirrors]
[ GZ] acl2_8.0dfsg.orig.tar.gz  74.04Mb  January 13 2018  [find mirrors]
[ ] acl2_8.1dfsg-3_amd64.deb  19.40Mb  April 21 2019 at 19:43  [find mirrors]
[ ] acl2_8.1dfsg-3_arm64.deb  18.58Mb  April 22 2019 at 12:23  [find mirrors]
[ ] acl2_8.1dfsg-3_armhf.deb  16.88Mb  April 22 2019 at 09:43  [find mirrors]
[ ] acl2_8.1dfsg-3.debian.tar.xz  200.35Kb  April 21 2019 at 11:46  [find mirrors]
[ ] acl2_8.1dfsg-3.dsc  2.19Kb  April 21 2019 at 11:46  [find mirrors]
[ ] acl2_8.1dfsg-3_i386.deb  17.88Mb  April 21 2019 at 23:31  [find mirrors]
[ ] acl2_8.1dfsg-3_ppc64el.deb  19.28Mb  April 21 2019 at 23:48  [find mirrors]
[ ] acl2_8.1dfsg-3_s390x.deb  18.19Mb  April 21 2019 at 19:28  [find mirrors]
[ GZ] acl2_8.1dfsg.orig.tar.gz  75.31Mb  April 21 2019 at 11:46  [find mirrors]
[ ] acl2-books_4.2-1_amd64.deb  39.43Mb  September 2 2011  [find mirrors]
[ ] acl2-books_4.2-1_armel.deb  34.43Mb  September 5 2011  [find mirrors]
[ ] acl2-books_4.2-1_armhf.deb  33.04Mb  February 2 2012  [find mirrors]

-15 -14 -13 -12 -11 -10 -09 -08 -07 -06 -05 -04 -03 -02 -01   page 02 of 06
+01 +02 +03 +04 +05 +06 +07 +08 +09 +10 +11 +12 +13 +14 +15   <- Back | Next page ->