|
📁 ../
|
- |
- |
|
📄 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 |