Index of /acl2/

 Name                                    Last modified      Size  
 Parent Directory                                             -   
 acl2-8.7_0.darwin_10.x86_64.tbz2        2026-04-30 15:56  241M  
 acl2-8.7_0.darwin_10.x86_64.tbz2.rmd160 2026-04-30 15:56  512   
 acl2-8.7_0.darwin_11.x86_64.tbz2        2026-04-30 15:40  241M  
 acl2-8.7_0.darwin_11.x86_64.tbz2.rmd160 2026-04-30 15:40  512   
 acl2-8.7_0.darwin_12.x86_64.tbz2        2026-04-30 16:05  241M  
 acl2-8.7_0.darwin_12.x86_64.tbz2.rmd160 2026-04-30 16:05  512   
 acl2-8.7_0.darwin_13.x86_64.tbz2        2026-04-30 15:49  241M  
 acl2-8.7_0.darwin_13.x86_64.tbz2.rmd160 2026-04-30 15:49  512   
 acl2-8.7_0.darwin_14.x86_64.tbz2        2026-04-30 15:51  241M  
 acl2-8.7_0.darwin_14.x86_64.tbz2.rmd160 2026-04-30 15:51  512   
 acl2-8.7_0.darwin_15.x86_64.tbz2        2026-04-30 16:28  241M  
 acl2-8.7_0.darwin_15.x86_64.tbz2.rmd160 2026-04-30 16:28  512   
 acl2-8.7_0.darwin_16.x86_64.tbz2        2026-04-30 15:45  241M  
 acl2-8.7_0.darwin_16.x86_64.tbz2.rmd160 2026-04-30 15:45  512   
 acl2-8.7_0.darwin_17.x86_64.tbz2        2026-04-30 15:37  242M  
 acl2-8.7_0.darwin_17.x86_64.tbz2.rmd160 2026-04-30 15:37  512   
 acl2-8.7_0.darwin_18.x86_64.tbz2        2026-04-30 16:01  242M  
 acl2-8.7_0.darwin_18.x86_64.tbz2.rmd160 2026-04-30 16:01  512   
 acl2-8.7_0.darwin_19.x86_64.tbz2        2026-04-30 16:31  242M  
 acl2-8.7_0.darwin_19.x86_64.tbz2.rmd160 2026-04-30 16:31  512   
 acl2-8.7_0.darwin_20.arm64.tbz2         2026-05-06 13:37  244M  
 acl2-8.7_0.darwin_20.arm64.tbz2.rmd160  2026-05-06 13:37  512   
 acl2-8.7_0.darwin_20.x86_64.tbz2        2026-04-30 17:19  242M  
 acl2-8.7_0.darwin_20.x86_64.tbz2.rmd160 2026-04-30 17:19  512   
 acl2-8.7_0.darwin_21.arm64.tbz2         2026-04-30 18:30  244M  
 acl2-8.7_0.darwin_21.arm64.tbz2.rmd160  2026-04-30 18:30  512   
 acl2-8.7_0.darwin_21.x86_64.tbz2        2026-04-30 17:30  242M  
 acl2-8.7_0.darwin_21.x86_64.tbz2.rmd160 2026-04-30 17:30  512   
 acl2-8.7_0.darwin_22.arm64.tbz2         2026-05-02 19:02  244M  
 acl2-8.7_0.darwin_22.arm64.tbz2.rmd160  2026-05-02 19:02  512   
 acl2-8.7_0.darwin_22.x86_64.tbz2        2026-05-03 04:31  242M  
 acl2-8.7_0.darwin_22.x86_64.tbz2.rmd160 2026-05-03 04:31  512   
 acl2-8.7_0.darwin_23.arm64.tbz2         2026-05-01 09:14  244M  
 acl2-8.7_0.darwin_23.arm64.tbz2.rmd160  2026-05-01 09:14  512   
 acl2-8.7_0.darwin_23.x86_64.tbz2        2026-05-02 03:43  242M  
 acl2-8.7_0.darwin_23.x86_64.tbz2.rmd160 2026-05-02 03:43  512   
 acl2-8.7_0.darwin_24.arm64.tbz2         2026-05-03 19:02  244M  
 acl2-8.7_0.darwin_24.arm64.tbz2.rmd160  2026-05-03 19:02  512   
 acl2-8.7_0.darwin_24.x86_64.tbz2        2026-05-01 16:01  242M  
 acl2-8.7_0.darwin_24.x86_64.tbz2.rmd160 2026-05-01 16:01  512   
 acl2-8.7_0.darwin_25.arm64.tbz2         2026-05-02 01:01  244M  
 acl2-8.7_0.darwin_25.arm64.tbz2.rmd160  2026-05-02 01:01  512