Index of /packages/acl2/

../
acl2-8.2_0.darwin_10.i386.tbz2                     24-Aug-2019 11:35           110851190
acl2-8.2_0.darwin_10.i386.tbz2.rmd160              24-Aug-2019 11:35                 512
acl2-8.2_0.darwin_10.x86_64.tbz2                   27-Jan-2020 05:40           109643529
acl2-8.2_0.darwin_10.x86_64.tbz2.rmd160            27-Jan-2020 05:40                 512
acl2-8.2_0.darwin_11.x86_64.tbz2                   24-Aug-2019 11:38           109277764
acl2-8.2_0.darwin_11.x86_64.tbz2.rmd160            24-Aug-2019 11:38                 512
acl2-8.2_0.darwin_12.x86_64.tbz2                   24-Aug-2019 11:34           109296103
acl2-8.2_0.darwin_12.x86_64.tbz2.rmd160            24-Aug-2019 11:34                 512
acl2-8.2_0.darwin_13.x86_64.tbz2                   24-Aug-2019 13:13           109294338
acl2-8.2_0.darwin_13.x86_64.tbz2.rmd160            24-Aug-2019 13:13                 512
acl2-8.2_0.darwin_14.x86_64.tbz2                   24-Aug-2019 15:09           109294714
acl2-8.2_0.darwin_14.x86_64.tbz2.rmd160            24-Aug-2019 15:09                 512
acl2-8.2_0.darwin_15.x86_64.tbz2                   24-Aug-2019 11:34           109288180
acl2-8.2_0.darwin_15.x86_64.tbz2.rmd160            24-Aug-2019 11:34                 512
acl2-8.2_0.darwin_16.x86_64.tbz2                   24-Aug-2019 14:28           109289025
acl2-8.2_0.darwin_16.x86_64.tbz2.rmd160            24-Aug-2019 14:28                 512
acl2-8.2_0.darwin_17.x86_64.tbz2                   24-Aug-2019 12:48           109288184
acl2-8.2_0.darwin_17.x86_64.tbz2.rmd160            24-Aug-2019 12:48                 512
acl2-8.2_0.darwin_18.x86_64.tbz2                   24-Aug-2019 12:55           109712091
acl2-8.2_0.darwin_18.x86_64.tbz2.rmd160            24-Aug-2019 12:55                 512
acl2-8.2_0.darwin_19.x86_64.tbz2                   03-Jan-2020 23:43           109827992
acl2-8.2_0.darwin_19.x86_64.tbz2.rmd160            03-Jan-2020 23:43                 512