Index of ftp://kebo.vlsm.org/ubuntu/pool/universe/a/acl2

[DIR] Parent Directory

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

[ ] acl2_8.2dfsg-3build1.debian.tar.xz  201.20Kb  March 23 2020 at 07:00  [find mirrors]
[ ] acl2_8.2dfsg-3build1.dsc  2.24Kb  March 23 2020 at 07:00  [find mirrors]
[ ] acl2_8.2dfsg-3build1_ppc64el.deb  20.88Mb  March 23 2020 at 15:18  [find mirrors]
[ ] acl2_8.2dfsg-3build1_s390x.deb  20.13Mb  March 23 2020 at 12:14  [find mirrors]
[ GZ] acl2_8.2dfsg.orig.tar.gz  76.92Mb  December 19 2019 at 23:13  [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]
[ ] acl2-books_4.2-1_i386.deb  34.41Mb  September 2 2011  [find mirrors]
[ ] acl2-books_4.2-1_powerpc.deb  44.76Mb  May 15 2011  [find mirrors]
[ ] acl2-books_6.3-5_amd64.deb  40.12Mb  October 24 2013  [find mirrors]
[ ] acl2-books_6.3-5_armhf.deb  108.10Mb  October 23 2013  [find mirrors]
[ ] acl2-books_6.3-5_i386.deb  35.81Mb  October 24 2013  [find mirrors]
[ ] acl2-books_6.3-5_powerpc.deb  37.67Mb  October 22 2013  [find mirrors]
[ ] acl2-books_7.1-1_amd64.deb  18.70Mb  June 27 2015  [find mirrors]
[ ] acl2-books_7.1-1_arm64.deb  18.68Mb  June 2 2015  [find mirrors]
[ ] acl2-books_7.1-1_armhf.deb  59.53Mb  June 2 2015  [find mirrors]
[ ] acl2-books_7.1-1_i386.deb  17.74Mb  June 2 2015  [find mirrors]
[ ] acl2-books_7.1-1_powerpc.deb  15.41Mb  June 2 2015  [find mirrors]
[ ] acl2-books_7.2dfsg-2_amd64.deb  101.59Mb  May 5 2016  [find mirrors]
[ ] acl2-books_7.2dfsg-2_arm64.deb  103.73Mb  May 9 2016  [find mirrors]
[ ] acl2-books_7.2dfsg-2_armhf.deb  87.43Mb  May 5 2016  [find mirrors]
[ ] acl2-books_7.2dfsg-2_i386.deb  88.35Mb  May 5 2016  [find mirrors]
[ ] acl2-books_7.2dfsg-2_s390x.deb  101.73Mb  May 5 2016  [find mirrors]
[ ] acl2-books_8.0dfsg-1_amd64.deb  131.69Mb  January 14 2018  [find mirrors]
[ ] acl2-books_8.0dfsg-1_arm64.deb  134.72Mb  January 22 2018  [find mirrors]
[ ] acl2-books_8.0dfsg-1_armhf.deb  115.66Mb  January 21 2018  [find mirrors]
[ ] acl2-books_8.0dfsg-1build1_amd64.deb  144.93Mb  January 15 2019  [find mirrors]
[ ] acl2-books_8.0dfsg-1build1_arm64.deb  142.16Mb  January 16 2019  [find mirrors]
[ ] acl2-books_8.0dfsg-1build1_armhf.deb  133.10Mb  January 16 2019  [find mirrors]

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