Index of ftp://bo.mirror.garr.it/1/macports/packages/acl2

[DIR] Parent Directory

[ ] acl2-8.0_0.darwin_11.x86_64.tbz2  99.01Mb  April 25 2019 at 21:47
[ ] acl2-8.0_0.darwin_11.x86_64.tbz2.rmd160  512.00b  April 25 2019 at 21:47
[ ] acl2-8.0_0.darwin_12.x86_64.tbz2  99.01Mb  April 25 2019 at 21:42
[ ] acl2-8.0_0.darwin_12.x86_64.tbz2.rmd160  512.00b  April 25 2019 at 21:42
[ ] acl2-8.0_0.darwin_13.x86_64.tbz2  99.01Mb  April 25 2019 at 21:41
[ ] acl2-8.0_0.darwin_13.x86_64.tbz2.rmd160  512.00b  April 25 2019 at 21:41
[ ] acl2-8.0_0.darwin_14.x86_64.tbz2  99.01Mb  April 25 2019 at 21:47
[ ] acl2-8.0_0.darwin_14.x86_64.tbz2.rmd160  512.00b  April 25 2019 at 21:47
[ ] acl2-8.0_0.darwin_15.x86_64.tbz2  99.02Mb  April 25 2019 at 21:51
[ ] acl2-8.0_0.darwin_15.x86_64.tbz2.rmd160  512.00b  April 25 2019 at 21:51
[ ] acl2-8.0_0.darwin_16.x86_64.tbz2  99.01Mb  April 25 2019 at 21:48
[ ] acl2-8.0_0.darwin_16.x86_64.tbz2.rmd160  512.00b  April 25 2019 at 21:48
[ ] acl2-8.0_0.darwin_17.x86_64.tbz2  99.02Mb  April 25 2019 at 21:44
[ ] acl2-8.0_0.darwin_17.x86_64.tbz2.rmd160  512.00b  April 25 2019 at 21:44
[ ] acl2-8.1_0.darwin_11.x86_64.tbz2  102.78Mb  March 8 2020 at 22:38
[ ] acl2-8.1_0.darwin_11.x86_64.tbz2.rmd160  512.00b  March 8 2020 at 22:38
[ ] acl2-8.1_0.darwin_12.x86_64.tbz2  102.78Mb  March 8 2020 at 22:38
[ ] acl2-8.1_0.darwin_12.x86_64.tbz2.rmd160  512.00b  March 8 2020 at 22:38
[ ] acl2-8.1_0.darwin_13.x86_64.tbz2  102.78Mb  March 8 2020 at 22:38
[ ] acl2-8.1_0.darwin_13.x86_64.tbz2.rmd160  512.00b  March 8 2020 at 22:38
[ ] acl2-8.1_0.darwin_14.x86_64.tbz2  102.79Mb  March 8 2020 at 22:38
[ ] acl2-8.1_0.darwin_14.x86_64.tbz2.rmd160  512.00b  March 8 2020 at 22:38
[ ] acl2-8.1_0.darwin_15.x86_64.tbz2  102.79Mb  March 8 2020 at 22:38
[ ] acl2-8.1_0.darwin_15.x86_64.tbz2.rmd160  512.00b  March 8 2020 at 22:38
[ ] acl2-8.1_0.darwin_16.x86_64.tbz2  102.78Mb  March 8 2020 at 22:38
[ ] acl2-8.1_0.darwin_16.x86_64.tbz2.rmd160  512.00b  March 8 2020 at 22:38
[ ] acl2-8.1_0.darwin_17.x86_64.tbz2  102.78Mb  March 8 2020 at 22:38
[ ] acl2-8.1_0.darwin_17.x86_64.tbz2.rmd160  512.00b  March 8 2020 at 22:38