Index of ftp://www.hensa.ac.uk/sites/packages.macports.org/acl2

Parent Directory

acl2-8.2_0.darwin_10.i386.tbz2	105.72Mb	August 24 2019	[find mirrors]
acl2-8.2_0.darwin_10.i386.tbz2.rmd160	512.00b	August 24 2019	[find mirrors]
acl2-8.2_0.darwin_10.x86_64.tbz2	104.56Mb	January 27 2020	[find mirrors]
acl2-8.2_0.darwin_10.x86_64.tbz2.rmd160	512.00b	January 27 2020	[find mirrors]
acl2-8.2_0.darwin_11.x86_64.tbz2	104.22Mb	August 24 2019	[find mirrors]
acl2-8.2_0.darwin_11.x86_64.tbz2.rmd160	512.00b	August 24 2019	[find mirrors]
acl2-8.2_0.darwin_12.x86_64.tbz2	104.23Mb	August 24 2019	[find mirrors]
acl2-8.2_0.darwin_12.x86_64.tbz2.rmd160	512.00b	August 24 2019	[find mirrors]
acl2-8.2_0.darwin_13.x86_64.tbz2	104.23Mb	August 24 2019	[find mirrors]
acl2-8.2_0.darwin_13.x86_64.tbz2.rmd160	512.00b	August 24 2019	[find mirrors]
acl2-8.2_0.darwin_14.x86_64.tbz2	104.23Mb	August 24 2019	[find mirrors]
acl2-8.2_0.darwin_14.x86_64.tbz2.rmd160	512.00b	August 24 2019	[find mirrors]
acl2-8.2_0.darwin_15.x86_64.tbz2	104.23Mb	August 24 2019	[find mirrors]
acl2-8.2_0.darwin_15.x86_64.tbz2.rmd160	512.00b	August 24 2019	[find mirrors]
acl2-8.2_0.darwin_16.x86_64.tbz2	104.23Mb	August 24 2019	[find mirrors]
acl2-8.2_0.darwin_16.x86_64.tbz2.rmd160	512.00b	August 24 2019	[find mirrors]
acl2-8.2_0.darwin_17.x86_64.tbz2	104.23Mb	August 24 2019	[find mirrors]
acl2-8.2_0.darwin_17.x86_64.tbz2.rmd160	512.00b	August 24 2019	[find mirrors]
acl2-8.2_0.darwin_18.x86_64.tbz2	104.63Mb	August 24 2019	[find mirrors]
acl2-8.2_0.darwin_18.x86_64.tbz2.rmd160	512.00b	August 24 2019	[find mirrors]
acl2-8.2_0.darwin_19.x86_64.tbz2	104.74Mb	January 3 2020	[find mirrors]
acl2-8.2_0.darwin_19.x86_64.tbz2.rmd160	512.00b	January 3 2020	[find mirrors]
acl2-8.2_0.darwin_20.x86_64.tbz2	104.81Mb	January 2 2021 at 13:51	[find mirrors]
acl2-8.2_0.darwin_20.x86_64.tbz2.rmd160	512.00b	January 2 2021 at 13:51	[find mirrors]