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

[ ] acl2-infix_7.1-1_i386.deb  142.15Kb  June 2 2015  [find mirrors]
[ ] acl2-infix_7.1-1_powerpc.deb  132.75Kb  June 2 2015  [find mirrors]
[ ] acl2-infix_7.2dfsg-2_amd64.deb  392.30Kb  May 5 2016  [find mirrors]
[ ] acl2-infix_7.2dfsg-2_arm64.deb  405.75Kb  May 9 2016  [find mirrors]
[ ] acl2-infix_7.2dfsg-2_armhf.deb  382.46Kb  May 5 2016  [find mirrors]
[ ] acl2-infix_7.2dfsg-2_i386.deb  369.11Kb  May 5 2016  [find mirrors]
[ ] acl2-infix_7.2dfsg-2_s390x.deb  381.29Kb  May 5 2016  [find mirrors]
[ ] acl2-infix_8.0dfsg-1_amd64.deb  414.21Kb  January 14 2018  [find mirrors]
[ ] acl2-infix_8.0dfsg-1_arm64.deb  420.51Kb  January 22 2018  [find mirrors]
[ ] acl2-infix_8.0dfsg-1_armhf.deb  400.18Kb  January 21 2018  [find mirrors]
[ ] acl2-infix_8.0dfsg-1build1_amd64.deb  470.89Kb  January 15 2019  [find mirrors]
[ ] acl2-infix_8.0dfsg-1build1_arm64.deb  459.29Kb  January 16 2019  [find mirrors]
[ ] acl2-infix_8.0dfsg-1build1_armhf.deb  461.48Kb  January 16 2019  [find mirrors]
[ ] acl2-infix_8.0dfsg-1build1_i386.deb  434.25Kb  January 15 2019  [find mirrors]
[ ] acl2-infix_8.0dfsg-1build1_s390x.deb  431.07Kb  January 15 2019  [find mirrors]
[ ] acl2-infix_8.0dfsg-1_i386.deb  381.12Kb  January 14 2018  [find mirrors]
[ ] acl2-infix_8.0dfsg-1_ppc64el.deb  464.24Kb  January 31 2018  [find mirrors]
[ ] acl2-infix_8.0dfsg-1_s390x.deb  377.97Kb  January 23 2018  [find mirrors]
[ ] acl2-infix_8.1dfsg-3_amd64.deb  471.55Kb  April 21 2019  [find mirrors]
[ ] acl2-infix_8.1dfsg-3_arm64.deb  457.52Kb  April 22 2019  [find mirrors]
[ ] acl2-infix_8.1dfsg-3_armhf.deb  445.03Kb  April 22 2019  [find mirrors]
[ ] acl2-infix_8.1dfsg-3_i386.deb  474.80Kb  April 21 2019  [find mirrors]
[ ] acl2-infix_8.1dfsg-3_ppc64el.deb  486.13Kb  April 21 2019  [find mirrors]
[ ] acl2-infix_8.1dfsg-3_s390x.deb  429.07Kb  April 21 2019  [find mirrors]
[ ] acl2-infix_8.2dfsg-3build1_amd64.deb  469.87Kb  March 23 2020 at 13:24  [find mirrors]
[ ] acl2-infix_8.2dfsg-3build1_arm64.deb  460.85Kb  March 24 2020 at 08:48  [find mirrors]
[ ] acl2-infix_8.2dfsg-3build1_armhf.deb  447.12Kb  March 24 2020 at 08:18  [find mirrors]
[ ] acl2-infix_8.2dfsg-3build1_ppc64el.deb  485.64Kb  March 23 2020 at 15:18  [find mirrors]
[ ] acl2-infix_8.2dfsg-3build1_s390x.deb  434.56Kb  March 23 2020 at 12:14  [find mirrors]
[ ] acl2-infix-source_4.2-1_all.deb  79.68Kb  September 2 2011  [find mirrors]

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