Index of /packages/acl2/


../
acl2-8.0_0.darwin_11.x86_64.tbz2                   25-Apr-2018 19:47           103816003
acl2-8.0_0.darwin_11.x86_64.tbz2.rmd160            25-Apr-2018 19:47                 512
acl2-8.0_0.darwin_12.x86_64.tbz2                   25-Apr-2018 19:42           103816039
acl2-8.0_0.darwin_12.x86_64.tbz2.rmd160            25-Apr-2018 19:42                 512
acl2-8.0_0.darwin_13.x86_64.tbz2                   25-Apr-2018 19:41           103816425
acl2-8.0_0.darwin_13.x86_64.tbz2.rmd160            25-Apr-2018 19:41                 512
acl2-8.0_0.darwin_14.x86_64.tbz2                   25-Apr-2018 19:47           103821015
acl2-8.0_0.darwin_14.x86_64.tbz2.rmd160            25-Apr-2018 19:47                 512
acl2-8.0_0.darwin_15.x86_64.tbz2                   25-Apr-2018 19:51           103824929
acl2-8.0_0.darwin_15.x86_64.tbz2.rmd160            25-Apr-2018 19:51                 512
acl2-8.0_0.darwin_16.x86_64.tbz2                   25-Apr-2018 19:48           103816708
acl2-8.0_0.darwin_16.x86_64.tbz2.rmd160            25-Apr-2018 19:48                 512
acl2-8.0_0.darwin_17.x86_64.tbz2                   25-Apr-2018 19:44           103828217
acl2-8.0_0.darwin_17.x86_64.tbz2.rmd160            25-Apr-2018 19:44                 512
acl2-8.1_0.darwin_11.x86_64.tbz2                   20-Sep-2018 18:20           107775208
acl2-8.1_0.darwin_11.x86_64.tbz2.rmd160            20-Sep-2018 18:20                 512
acl2-8.1_0.darwin_12.x86_64.tbz2                   20-Sep-2018 18:16           107775173
acl2-8.1_0.darwin_12.x86_64.tbz2.rmd160            20-Sep-2018 18:16                 512
acl2-8.1_0.darwin_13.x86_64.tbz2                   20-Sep-2018 18:14           107769451
acl2-8.1_0.darwin_13.x86_64.tbz2.rmd160            20-Sep-2018 18:14                 512
acl2-8.1_0.darwin_14.x86_64.tbz2                   20-Sep-2018 18:21           107779837
acl2-8.1_0.darwin_14.x86_64.tbz2.rmd160            20-Sep-2018 18:21                 512
acl2-8.1_0.darwin_15.x86_64.tbz2                   20-Sep-2018 18:23           107780026
acl2-8.1_0.darwin_15.x86_64.tbz2.rmd160            20-Sep-2018 18:23                 512
acl2-8.1_0.darwin_16.x86_64.tbz2                   20-Sep-2018 18:24           107774108
acl2-8.1_0.darwin_16.x86_64.tbz2.rmd160            20-Sep-2018 18:24                 512
acl2-8.1_0.darwin_17.x86_64.tbz2                   20-Sep-2018 18:22           107777519
acl2-8.1_0.darwin_17.x86_64.tbz2.rmd160            20-Sep-2018 18:22                 512
acl2-8.1_0.darwin_18.x86_64.tbz2                   20-Oct-2018 21:19           108108745
acl2-8.1_0.darwin_18.x86_64.tbz2.rmd160            20-Oct-2018 21:19                 512