Parent directory/ | - | - |
coq-8.13.2_0.darwin_13.x86_64.tbz2 | 91.6 MiB | 02 Apr 2021 00:24:23 +0000 |
coq-8.13.2_0.darwin_13.x86_64.tbz2.rmd160 | 512 B | 02 Apr 2021 00:24:23 +0000 |
coq-8.13.2_0.darwin_14.x86_64.tbz2 | 91.2 MiB | 02 Apr 2021 00:52:45 +0000 |
coq-8.13.2_0.darwin_14.x86_64.tbz2.rmd160 | 512 B | 02 Apr 2021 00:52:45 +0000 |
coq-8.13.2_0.darwin_15.x86_64.tbz2 | 92.5 MiB | 02 Apr 2021 04:59:50 +0000 |
coq-8.13.2_0.darwin_15.x86_64.tbz2.rmd160 | 512 B | 02 Apr 2021 04:59:50 +0000 |
coq-8.13.2_0.darwin_16.x86_64.tbz2 | 91.7 MiB | 03 Apr 2021 21:37:56 +0000 |
coq-8.13.2_0.darwin_16.x86_64.tbz2.rmd160 | 512 B | 03 Apr 2021 21:37:56 +0000 |
coq-8.13.2_0.darwin_17.x86_64.tbz2 | 91.8 MiB | 03 Apr 2021 21:46:25 +0000 |
coq-8.13.2_0.darwin_17.x86_64.tbz2.rmd160 | 512 B | 03 Apr 2021 21:46:25 +0000 |
coq-8.13.2_0.darwin_18.x86_64.tbz2 | 91.8 MiB | 02 Apr 2021 22:17:45 +0000 |
coq-8.13.2_0.darwin_18.x86_64.tbz2.rmd160 | 512 B | 02 Apr 2021 22:17:45 +0000 |
coq-8.13.2_0.darwin_19.x86_64.tbz2 | 91.8 MiB | 08 Apr 2021 01:27:04 +0000 |
coq-8.13.2_0.darwin_19.x86_64.tbz2.rmd160 | 512 B | 08 Apr 2021 01:27:04 +0000 |
coq-8.13.2_0.darwin_20.arm64.tbz2 | 96.9 MiB | 09 Jun 2021 06:07:16 +0000 |
coq-8.13.2_0.darwin_20.arm64.tbz2.rmd160 | 512 B | 09 Jun 2021 06:07:16 +0000 |
coq-8.13.2_0.darwin_20.x86_64.tbz2 | 91.8 MiB | 09 Jun 2021 07:42:26 +0000 |
coq-8.13.2_0.darwin_20.x86_64.tbz2.rmd160 | 512 B | 09 Jun 2021 07:42:26 +0000 |
coq-8.13.2_0.darwin_21.arm64.tbz2 | 96.9 MiB | 22 Nov 2021 01:40:19 +0000 |
coq-8.13.2_0.darwin_21.arm64.tbz2.rmd160 | 512 B | 22 Nov 2021 01:40:19 +0000 |
coq-8.13.2_0.darwin_21.x86_64.tbz2 | 91.8 MiB | 14 Jan 2022 13:59:10 +0000 |
coq-8.13.2_0.darwin_21.x86_64.tbz2.rmd160 | 512 B | 14 Jan 2022 13:59:10 +0000 |
coq-8.13.2_0.darwin_22.arm64.tbz2 | 96.9 MiB | 06 Mar 2023 14:09:46 +0000 |
coq-8.13.2_0.darwin_22.arm64.tbz2.rmd160 | 512 B | 06 Mar 2023 14:09:46 +0000 |
coq-8.13.2_0.darwin_22.x86_64.tbz2 | 91.6 MiB | 01 Jan 2023 14:23:05 +0000 |
coq-8.13.2_0.darwin_22.x86_64.tbz2.rmd160 | 512 B | 01 Jan 2023 14:23:05 +0000 |
coq-8.13.2_0.darwin_23.arm64.tbz2 | 97.5 MiB | 16 Jan 2024 15:55:36 +0000 |
coq-8.13.2_0.darwin_23.arm64.tbz2.rmd160 | 512 B | 16 Jan 2024 15:55:36 +0000 |
coq-8.13.2_0.darwin_23.x86_64.tbz2 | 92.9 MiB | 14 Nov 2023 03:18:59 +0000 |
coq-8.13.2_0.darwin_23.x86_64.tbz2.rmd160 | 512 B | 14 Nov 2023 03:18:59 +0000 |