Directory: /macports/packages/coq/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
coq-8.13.2_0.darwin_13.x86_64.tbz291.6 MiB2021-Apr-02 08:24
coq-8.13.2_0.darwin_13.x86_64.tbz2.rmd160512 B2021-Apr-02 08:24
coq-8.13.2_0.darwin_14.x86_64.tbz291.2 MiB2021-Apr-02 08:52
coq-8.13.2_0.darwin_14.x86_64.tbz2.rmd160512 B2021-Apr-02 08:52
coq-8.13.2_0.darwin_15.x86_64.tbz292.5 MiB2021-Apr-02 12:59
coq-8.13.2_0.darwin_15.x86_64.tbz2.rmd160512 B2021-Apr-02 12:59
coq-8.13.2_0.darwin_16.x86_64.tbz291.7 MiB2021-Apr-04 05:37
coq-8.13.2_0.darwin_16.x86_64.tbz2.rmd160512 B2021-Apr-04 05:37
coq-8.13.2_0.darwin_17.x86_64.tbz291.8 MiB2021-Apr-04 05:46
coq-8.13.2_0.darwin_17.x86_64.tbz2.rmd160512 B2021-Apr-04 05:46
coq-8.13.2_0.darwin_18.x86_64.tbz291.8 MiB2021-Apr-03 06:17
coq-8.13.2_0.darwin_18.x86_64.tbz2.rmd160512 B2021-Apr-03 06:17
coq-8.13.2_0.darwin_19.x86_64.tbz291.8 MiB2021-Apr-08 09:27
coq-8.13.2_0.darwin_19.x86_64.tbz2.rmd160512 B2021-Apr-08 09:27
coq-8.13.2_0.darwin_20.arm64.tbz296.9 MiB2021-Jun-09 14:07
coq-8.13.2_0.darwin_20.arm64.tbz2.rmd160512 B2021-Jun-09 14:07
coq-8.13.2_0.darwin_20.x86_64.tbz291.8 MiB2021-Jun-09 15:42
coq-8.13.2_0.darwin_20.x86_64.tbz2.rmd160512 B2021-Jun-09 15:42
coq-8.13.2_0.darwin_21.arm64.tbz296.9 MiB2021-Nov-22 09:40
coq-8.13.2_0.darwin_21.arm64.tbz2.rmd160512 B2021-Nov-22 09:40
coq-8.13.2_0.darwin_21.x86_64.tbz291.8 MiB2022-Jan-14 21:59
coq-8.13.2_0.darwin_21.x86_64.tbz2.rmd160512 B2022-Jan-14 21:59
coq-8.13.2_0.darwin_22.arm64.tbz296.9 MiB2023-Mar-06 22:09
coq-8.13.2_0.darwin_22.arm64.tbz2.rmd160512 B2023-Mar-06 22:09
coq-8.13.2_0.darwin_22.x86_64.tbz291.6 MiB2023-Jan-01 22:23
coq-8.13.2_0.darwin_22.x86_64.tbz2.rmd160512 B2023-Jan-01 22:23
coq-8.13.2_0.darwin_23.arm64.tbz297.5 MiB2024-Jan-16 23:55
coq-8.13.2_0.darwin_23.arm64.tbz2.rmd160512 B2024-Jan-16 23:55
coq-8.13.2_0.darwin_23.x86_64.tbz292.9 MiB2023-Nov-14 11:18
coq-8.13.2_0.darwin_23.x86_64.tbz2.rmd160512 B2023-Nov-14 11:18