Index of /macports/packages/acl2/

Name Size Date
📁 ../ - -
📄 acl2-8.3_0.darwin_11.x86_64.tbz2 145299161 bytes 2021-04-17 20:27:51
📄 acl2-8.3_0.darwin_11.x86_64.tbz2.rmd160 512 bytes 2021-04-17 20:27:51
📄 acl2-8.3_0.darwin_12.x86_64.tbz2 145291870 bytes 2021-04-17 20:28:54
📄 acl2-8.3_0.darwin_12.x86_64.tbz2.rmd160 512 bytes 2021-04-17 20:28:54
📄 acl2-8.3_0.darwin_13.x86_64.tbz2 145302366 bytes 2021-04-17 20:26:09
📄 acl2-8.3_0.darwin_13.x86_64.tbz2.rmd160 512 bytes 2021-04-17 20:26:09
📄 acl2-8.3_0.darwin_14.x86_64.tbz2 145300635 bytes 2021-04-17 20:27:54
📄 acl2-8.3_0.darwin_14.x86_64.tbz2.rmd160 512 bytes 2021-04-17 20:27:54
📄 acl2-8.3_0.darwin_15.x86_64.tbz2 145292173 bytes 2021-04-17 20:29:01
📄 acl2-8.3_0.darwin_15.x86_64.tbz2.rmd160 512 bytes 2021-04-17 20:29:01
📄 acl2-8.3_0.darwin_16.x86_64.tbz2 145283890 bytes 2021-04-17 20:28:55
📄 acl2-8.3_0.darwin_16.x86_64.tbz2.rmd160 512 bytes 2021-04-17 20:28:55
📄 acl2-8.3_0.darwin_17.x86_64.tbz2 145602672 bytes 2021-04-17 20:29:15
📄 acl2-8.3_0.darwin_17.x86_64.tbz2.rmd160 512 bytes 2021-04-17 20:29:15
📄 acl2-8.3_0.darwin_18.x86_64.tbz2 145600960 bytes 2021-04-17 20:31:48
📄 acl2-8.3_0.darwin_18.x86_64.tbz2.rmd160 512 bytes 2021-04-17 20:31:48
📄 acl2-8.3_0.darwin_19.x86_64.tbz2 145645730 bytes 2021-04-17 20:27:39
📄 acl2-8.3_0.darwin_19.x86_64.tbz2.rmd160 512 bytes 2021-04-17 20:27:39
📄 acl2-8.3_0.darwin_20.x86_64.tbz2 145644585 bytes 2021-04-17 20:30:21
📄 acl2-8.3_0.darwin_20.x86_64.tbz2.rmd160 512 bytes 2021-04-17 20:30:21
📄 acl2-8.3_0.darwin_21.x86_64.tbz2 146176881 bytes 2022-12-28 01:10:02
📄 acl2-8.3_0.darwin_21.x86_64.tbz2.rmd160 512 bytes 2022-12-28 01:10:02
📄 acl2-8.3_0.darwin_22.x86_64.tbz2 146177692 bytes 2022-12-28 01:34:30
📄 acl2-8.3_0.darwin_22.x86_64.tbz2.rmd160 512 bytes 2022-12-28 01:34:30
📄 acl2-8.3_0.darwin_23.x86_64.tbz2 145833801 bytes 2023-11-12 05:03:45
📄 acl2-8.3_0.darwin_23.x86_64.tbz2.rmd160 512 bytes 2023-11-12 05:03:45
📄 acl2-8.3_0.darwin_24.x86_64.tbz2 145291351 bytes 2024-10-09 17:09:28
📄 acl2-8.3_0.darwin_24.x86_64.tbz2.rmd160 512 bytes 2024-10-09 17:09:28
📄 acl2-8.7_0.darwin_10.x86_64.tbz2 252703329 bytes 2026-04-30 14:56:51
📄 acl2-8.7_0.darwin_10.x86_64.tbz2.rmd160 512 bytes 2026-04-30 14:56:51
📄 acl2-8.7_0.darwin_11.x86_64.tbz2 252727883 bytes 2026-04-30 14:40:48
📄 acl2-8.7_0.darwin_11.x86_64.tbz2.rmd160 512 bytes 2026-04-30 14:40:49
📄 acl2-8.7_0.darwin_12.x86_64.tbz2 252784085 bytes 2026-04-30 15:05:24
📄 acl2-8.7_0.darwin_12.x86_64.tbz2.rmd160 512 bytes 2026-04-30 15:05:24
📄 acl2-8.7_0.darwin_13.x86_64.tbz2 252761730 bytes 2026-04-30 14:49:18
📄 acl2-8.7_0.darwin_13.x86_64.tbz2.rmd160 512 bytes 2026-04-30 14:49:18
📄 acl2-8.7_0.darwin_14.x86_64.tbz2 252623667 bytes 2026-04-30 14:51:46
📄 acl2-8.7_0.darwin_14.x86_64.tbz2.rmd160 512 bytes 2026-04-30 14:51:46
📄 acl2-8.7_0.darwin_15.x86_64.tbz2 252777638 bytes 2026-04-30 15:28:37
📄 acl2-8.7_0.darwin_15.x86_64.tbz2.rmd160 512 bytes 2026-04-30 15:28:37
📄 acl2-8.7_0.darwin_16.x86_64.tbz2 252707012 bytes 2026-04-30 14:45:06
📄 acl2-8.7_0.darwin_16.x86_64.tbz2.rmd160 512 bytes 2026-04-30 14:45:06
📄 acl2-8.7_0.darwin_17.x86_64.tbz2 253800171 bytes 2026-04-30 14:37:36
📄 acl2-8.7_0.darwin_17.x86_64.tbz2.rmd160 512 bytes 2026-04-30 14:37:36
📄 acl2-8.7_0.darwin_18.x86_64.tbz2 253813715 bytes 2026-04-30 15:01:10
📄 acl2-8.7_0.darwin_18.x86_64.tbz2.rmd160 512 bytes 2026-04-30 15:01:10
📄 acl2-8.7_0.darwin_19.x86_64.tbz2 254098671 bytes 2026-04-30 15:31:29
📄 acl2-8.7_0.darwin_19.x86_64.tbz2.rmd160 512 bytes 2026-04-30 15:31:29
📄 acl2-8.7_0.darwin_20.x86_64.tbz2 254067879 bytes 2026-04-30 16:19:18
📄 acl2-8.7_0.darwin_20.x86_64.tbz2.rmd160 512 bytes 2026-04-30 16:19:18
📄 acl2-8.7_0.darwin_21.arm64.tbz2 255464916 bytes 2026-04-30 17:30:25
📄 acl2-8.7_0.darwin_21.arm64.tbz2.rmd160 512 bytes 2026-04-30 17:30:25
📄 acl2-8.7_0.darwin_21.x86_64.tbz2 254110566 bytes 2026-04-30 16:30:33
📄 acl2-8.7_0.darwin_21.x86_64.tbz2.rmd160 512 bytes 2026-04-30 16:30:33
📄 acl2-8.7_0.darwin_23.arm64.tbz2 255473482 bytes 2026-05-01 08:14:31
📄 acl2-8.7_0.darwin_23.arm64.tbz2.rmd160 512 bytes 2026-05-01 08:14:31
📄 acl2-8.7_0.darwin_24.x86_64.tbz2 254071589 bytes 2026-05-01 15:01:06
📄 acl2-8.7_0.darwin_24.x86_64.tbz2.rmd160 512 bytes 2026-05-01 15:01:06
📄 acl2-8.7_0.darwin_25.arm64.tbz2 255465591 bytes 2026-05-02 00:01:38
📄 acl2-8.7_0.darwin_25.arm64.tbz2.rmd160 512 bytes 2026-05-02 00:01:38