Index of /acl2/

Icon  Name                                    Last modified      Size  
[PARENTDIR] Parent Directory - [   ] acl2-8.2_0.darwin_10.i386.tbz2 2019-08-24 12:35 106M [   ] acl2-8.2_0.darwin_10.i386.tbz2.rmd160 2019-08-24 12:35 512 [   ] acl2-8.2_0.darwin_10.x86_64.tbz2 2020-01-27 05:40 105M [   ] acl2-8.2_0.darwin_10.x86_64.tbz2.rmd160 2020-01-27 05:40 512 [   ] acl2-8.2_0.darwin_11.x86_64.tbz2 2019-08-24 12:38 104M [   ] acl2-8.2_0.darwin_11.x86_64.tbz2.rmd160 2019-08-24 12:38 512 [   ] acl2-8.2_0.darwin_12.x86_64.tbz2 2019-08-24 12:34 104M [   ] acl2-8.2_0.darwin_12.x86_64.tbz2.rmd160 2019-08-24 12:34 512 [   ] acl2-8.2_0.darwin_13.x86_64.tbz2 2019-08-24 14:13 104M [   ] acl2-8.2_0.darwin_13.x86_64.tbz2.rmd160 2019-08-24 14:13 512 [   ] acl2-8.2_0.darwin_14.x86_64.tbz2 2019-08-24 16:09 104M [   ] acl2-8.2_0.darwin_14.x86_64.tbz2.rmd160 2019-08-24 16:09 512 [   ] acl2-8.2_0.darwin_15.x86_64.tbz2 2019-08-24 12:34 104M [   ] acl2-8.2_0.darwin_15.x86_64.tbz2.rmd160 2019-08-24 12:34 512 [   ] acl2-8.2_0.darwin_16.x86_64.tbz2 2019-08-24 15:28 104M [   ] acl2-8.2_0.darwin_16.x86_64.tbz2.rmd160 2019-08-24 15:28 512 [   ] acl2-8.2_0.darwin_17.x86_64.tbz2 2019-08-24 13:48 104M [   ] acl2-8.2_0.darwin_17.x86_64.tbz2.rmd160 2019-08-24 13:48 512 [   ] acl2-8.2_0.darwin_18.x86_64.tbz2 2019-08-24 13:55 105M [   ] acl2-8.2_0.darwin_18.x86_64.tbz2.rmd160 2019-08-24 13:55 512 [   ] acl2-8.2_0.darwin_19.x86_64.tbz2 2020-01-03 23:43 105M [   ] acl2-8.2_0.darwin_19.x86_64.tbz2.rmd160 2020-01-03 23:43 512