Index of ftp://www.las.ic.unicamp.br/pub/debian.d/debian/pool/main/a/acl2/

[DIR] Parent Directory

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

[ ] acl2-books_4.3-3_mips.deb  16.16Mb  April 21 2012  [find mirrors]
[ ] acl2-books_4.3-3_mipsel.deb  15.43Mb  April 26 2012  [find mirrors]
[ ] acl2-books_4.3-3_powerpc.deb  15.18Mb  April 21 2012  [find mirrors]
[ ] acl2-books_4.3-3_s390.deb  13.05Mb  April 20 2012  [find mirrors]
[ ] acl2-books_4.3-3_s390x.deb  14.81Mb  April 21 2012  [find mirrors]
[ ] acl2-books_4.3-3_sparc.deb  14.84Mb  April 21 2012  [find mirrors]
[ ] acl2-books_6.5-2_amd64.deb  22.06Mb  September 8 2014 at 14:35  [find mirrors]
[ ] acl2-books_6.5-2_arm64.deb  21.84Mb  September 16 2014 at 23:00  [find mirrors]
[ ] acl2-books_6.5-2_armel.deb  64.96Mb  September 9 2014 at 11:25  [find mirrors]
[ ] acl2-books_6.5-2_armhf.deb  66.72Mb  September 12 2014 at 10:12  [find mirrors]
[ ] acl2-books_6.5-2_i386.deb  20.79Mb  September 8 2014 at 21:44  [find mirrors]
[ ] acl2-books_6.5-2_kfreebsd-amd64.deb  22.09Mb  September 9 2014 at 06:43  [find mirrors]
[ ] acl2-books_6.5-2_kfreebsd-i386.deb  17.88Mb  September 9 2014 at 10:04  [find mirrors]
[ ] acl2-books_6.5-2_mips.deb  19.97Mb  October 2 2014 at 23:44  [find mirrors]
[ ] acl2-books_6.5-2_mipsel.deb  20.41Mb  September 28 2014 at 20:37  [find mirrors]
[ ] acl2-books_6.5-2_powerpc.deb  18.12Mb  September 8 2014 at 17:57  [find mirrors]
[ ] acl2-books_6.5-2_ppc64el.deb  19.10Mb  September 9 2014 at 04:07  [find mirrors]
[ ] acl2-books_6.5-2_s390x.deb  19.82Mb  September 9 2014 at 00:46  [find mirrors]
[ ] acl2-books_6.5-2~bpo70+1_amd64.deb  47.39Mb  January 14 2015 at 16:26  [find mirrors]
[ ] acl2-books_6.5-5_armhf.deb  67.13Mb  November 1 2014 at 17:11  [find mirrors]
[ ] acl2-books_6.5-5_powerpc.deb  18.24Mb  October 27 2014 at 19:40  [find mirrors]
[ ] acl2-books_6.5-5_s390x.deb  19.98Mb  October 27 2014 at 18:30  [find mirrors]
[ ] acl2-books_6.5-5_sparc.deb  19.24Mb  October 28 2014 at 10:19  [find mirrors]
[ ] acl2-books_7.0-1_amd64.deb  24.23Mb  January 27 2015 at 02:50  [find mirrors]
[ ] acl2-books_7.0-1_arm64.deb  23.94Mb  January 27 2015 at 22:13  [find mirrors]
[ ] acl2-books_7.0-1_armel.deb  73.47Mb  January 28 2015 at 06:12  [find mirrors]
[ ] acl2-books_7.0-1_i386.deb  22.62Mb  January 27 2015 at 10:12  [find mirrors]
[ ] acl2-books_7.0-1_kfreebsd-amd64.deb  23.97Mb  January 27 2015 at 14:18  [find mirrors]
[ ] acl2-books_7.0-1_kfreebsd-i386.deb  17.85Mb  January 27 2015 at 11:42  [find mirrors]
[ ] acl2-books_7.0-1_mips.deb  17.60Mb  January 28 2015 at 19:26  [find mirrors]

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