Index of /macports-packages/acl2/

../
acl2-8.7_0.darwin_10.x86_64.tbz2                   30-Apr-2026 14:56           252703329
acl2-8.7_0.darwin_10.x86_64.tbz2.rmd160            30-Apr-2026 14:56                 512
acl2-8.7_0.darwin_11.x86_64.tbz2                   30-Apr-2026 14:40           252727883
acl2-8.7_0.darwin_11.x86_64.tbz2.rmd160            30-Apr-2026 14:40                 512
acl2-8.7_0.darwin_12.x86_64.tbz2                   30-Apr-2026 15:05           252784085
acl2-8.7_0.darwin_12.x86_64.tbz2.rmd160            30-Apr-2026 15:05                 512
acl2-8.7_0.darwin_13.x86_64.tbz2                   30-Apr-2026 14:49           252761730
acl2-8.7_0.darwin_13.x86_64.tbz2.rmd160            30-Apr-2026 14:49                 512
acl2-8.7_0.darwin_14.x86_64.tbz2                   30-Apr-2026 14:51           252623667
acl2-8.7_0.darwin_14.x86_64.tbz2.rmd160            30-Apr-2026 14:51                 512
acl2-8.7_0.darwin_15.x86_64.tbz2                   30-Apr-2026 15:28           252777638
acl2-8.7_0.darwin_15.x86_64.tbz2.rmd160            30-Apr-2026 15:28                 512
acl2-8.7_0.darwin_16.x86_64.tbz2                   30-Apr-2026 14:45           252707012
acl2-8.7_0.darwin_16.x86_64.tbz2.rmd160            30-Apr-2026 14:45                 512
acl2-8.7_0.darwin_17.x86_64.tbz2                   30-Apr-2026 14:37           253800171
acl2-8.7_0.darwin_17.x86_64.tbz2.rmd160            30-Apr-2026 14:37                 512
acl2-8.7_0.darwin_18.x86_64.tbz2                   30-Apr-2026 15:01           253813715
acl2-8.7_0.darwin_18.x86_64.tbz2.rmd160            30-Apr-2026 15:01                 512
acl2-8.7_0.darwin_19.x86_64.tbz2                   30-Apr-2026 15:31           254098671
acl2-8.7_0.darwin_19.x86_64.tbz2.rmd160            30-Apr-2026 15:31                 512
acl2-8.7_0.darwin_20.arm64.tbz2                    06-May-2026 12:37           255525807
acl2-8.7_0.darwin_20.arm64.tbz2.rmd160             06-May-2026 12:37                 512
acl2-8.7_0.darwin_20.x86_64.tbz2                   30-Apr-2026 16:19           254067879
acl2-8.7_0.darwin_20.x86_64.tbz2.rmd160            30-Apr-2026 16:19                 512
acl2-8.7_0.darwin_21.arm64.tbz2                    30-Apr-2026 17:30           255464916
acl2-8.7_0.darwin_21.arm64.tbz2.rmd160             30-Apr-2026 17:30                 512
acl2-8.7_0.darwin_21.x86_64.tbz2                   30-Apr-2026 16:30           254110566
acl2-8.7_0.darwin_21.x86_64.tbz2.rmd160            30-Apr-2026 16:30                 512
acl2-8.7_0.darwin_22.arm64.tbz2                    02-May-2026 18:02           255515692
acl2-8.7_0.darwin_22.arm64.tbz2.rmd160             02-May-2026 18:02                 512
acl2-8.7_0.darwin_22.x86_64.tbz2                   03-May-2026 03:31           254102839
acl2-8.7_0.darwin_22.x86_64.tbz2.rmd160            03-May-2026 03:31                 512
acl2-8.7_0.darwin_23.arm64.tbz2                    01-May-2026 08:14           255473482
acl2-8.7_0.darwin_23.arm64.tbz2.rmd160             01-May-2026 08:14                 512
acl2-8.7_0.darwin_23.x86_64.tbz2                   02-May-2026 02:43           254080198
acl2-8.7_0.darwin_23.x86_64.tbz2.rmd160            02-May-2026 02:43                 512
acl2-8.7_0.darwin_24.arm64.tbz2                    03-May-2026 18:02           255442228
acl2-8.7_0.darwin_24.arm64.tbz2.rmd160             03-May-2026 18:02                 512
acl2-8.7_0.darwin_24.x86_64.tbz2                   01-May-2026 15:01           254071589
acl2-8.7_0.darwin_24.x86_64.tbz2.rmd160            01-May-2026 15:01                 512
acl2-8.7_0.darwin_25.arm64.tbz2                    02-May-2026 00:01           255465591
acl2-8.7_0.darwin_25.arm64.tbz2.rmd160             02-May-2026 00:01                 512