Index of /macports/packages/coq/

Name Size Date
📁 ../ - -
📄 coq-8.13.2_0.darwin_13.x86_64.tbz2 96000491 bytes 2021-04-02 00:24:23
📄 coq-8.13.2_0.darwin_13.x86_64.tbz2.rmd160 512 bytes 2021-04-02 00:24:23
📄 coq-8.13.2_0.darwin_14.x86_64.tbz2 95655015 bytes 2021-04-02 00:52:45
📄 coq-8.13.2_0.darwin_14.x86_64.tbz2.rmd160 512 bytes 2021-04-02 00:52:45
📄 coq-8.13.2_0.darwin_15.x86_64.tbz2 96963394 bytes 2021-04-02 04:59:50
📄 coq-8.13.2_0.darwin_15.x86_64.tbz2.rmd160 512 bytes 2021-04-02 04:59:50
📄 coq-8.13.2_0.darwin_16.x86_64.tbz2 96146928 bytes 2021-04-03 21:37:56
📄 coq-8.13.2_0.darwin_16.x86_64.tbz2.rmd160 512 bytes 2021-04-03 21:37:56
📄 coq-8.13.2_0.darwin_17.x86_64.tbz2 96294570 bytes 2021-04-03 21:46:25
📄 coq-8.13.2_0.darwin_17.x86_64.tbz2.rmd160 512 bytes 2021-04-03 21:46:25
📄 coq-8.13.2_0.darwin_18.x86_64.tbz2 96256646 bytes 2021-04-02 22:17:45
📄 coq-8.13.2_0.darwin_18.x86_64.tbz2.rmd160 512 bytes 2021-04-02 22:17:45
📄 coq-8.13.2_0.darwin_19.x86_64.tbz2 96285673 bytes 2021-04-08 01:27:04
📄 coq-8.13.2_0.darwin_19.x86_64.tbz2.rmd160 512 bytes 2021-04-08 01:27:04
📄 coq-8.13.2_0.darwin_20.arm64.tbz2 101584211 bytes 2021-06-09 06:07:16
📄 coq-8.13.2_0.darwin_20.arm64.tbz2.rmd160 512 bytes 2021-06-09 06:07:16
📄 coq-8.13.2_0.darwin_20.x86_64.tbz2 96295782 bytes 2021-06-09 07:42:26
📄 coq-8.13.2_0.darwin_20.x86_64.tbz2.rmd160 512 bytes 2021-06-09 07:42:26
📄 coq-8.13.2_0.darwin_21.arm64.tbz2 101632395 bytes 2021-11-22 01:40:19
📄 coq-8.13.2_0.darwin_21.arm64.tbz2.rmd160 512 bytes 2021-11-22 01:40:19
📄 coq-8.13.2_0.darwin_21.x86_64.tbz2 96212165 bytes 2022-01-14 13:59:10
📄 coq-8.13.2_0.darwin_21.x86_64.tbz2.rmd160 512 bytes 2022-01-14 13:59:10
📄 coq-8.13.2_0.darwin_22.arm64.tbz2 101596992 bytes 2023-03-06 14:09:46
📄 coq-8.13.2_0.darwin_22.arm64.tbz2.rmd160 512 bytes 2023-03-06 14:09:46
📄 coq-8.13.2_0.darwin_22.x86_64.tbz2 96040839 bytes 2023-01-01 14:23:05
📄 coq-8.13.2_0.darwin_22.x86_64.tbz2.rmd160 512 bytes 2023-01-01 14:23:05
📄 coq-8.13.2_0.darwin_23.arm64.tbz2 102239460 bytes 2024-01-16 15:55:36
📄 coq-8.13.2_0.darwin_23.arm64.tbz2.rmd160 512 bytes 2024-01-16 15:55:36
📄 coq-8.13.2_0.darwin_23.x86_64.tbz2 97419511 bytes 2023-11-14 03:18:59
📄 coq-8.13.2_0.darwin_23.x86_64.tbz2.rmd160 512 bytes 2023-11-14 03:18:59
📄 coq-8.13.2_0.darwin_24.arm64.tbz2 102673687 bytes 2025-03-06 12:00:02
📄 coq-8.13.2_0.darwin_24.arm64.tbz2.rmd160 512 bytes 2025-03-06 12:00:02
📄 coq-8.13.2_0.darwin_24.x86_64.tbz2 97555231 bytes 2024-10-08 07:54:22
📄 coq-8.13.2_0.darwin_24.x86_64.tbz2.rmd160 512 bytes 2024-10-08 07:54:22