Index of /macports/packages/coq/


../
coq-8.13.2_0.darwin_13.x86_64.tbz2                                                                                       02-Apr-2021 00:24     92M
coq-8.13.2_0.darwin_13.x86_64.tbz2.rmd160                                                                                02-Apr-2021 00:24     512
coq-8.13.2_0.darwin_14.x86_64.tbz2                                                                                       02-Apr-2021 00:52     91M
coq-8.13.2_0.darwin_14.x86_64.tbz2.rmd160                                                                                02-Apr-2021 00:52     512
coq-8.13.2_0.darwin_15.x86_64.tbz2                                                                                       02-Apr-2021 04:59     92M
coq-8.13.2_0.darwin_15.x86_64.tbz2.rmd160                                                                                02-Apr-2021 04:59     512
coq-8.13.2_0.darwin_16.x86_64.tbz2                                                                                       03-Apr-2021 21:37     92M
coq-8.13.2_0.darwin_16.x86_64.tbz2.rmd160                                                                                03-Apr-2021 21:37     512
coq-8.13.2_0.darwin_17.x86_64.tbz2                                                                                       03-Apr-2021 21:46     92M
coq-8.13.2_0.darwin_17.x86_64.tbz2.rmd160                                                                                03-Apr-2021 21:46     512
coq-8.13.2_0.darwin_18.x86_64.tbz2                                                                                       02-Apr-2021 22:17     92M
coq-8.13.2_0.darwin_18.x86_64.tbz2.rmd160                                                                                02-Apr-2021 22:17     512
coq-8.13.2_0.darwin_19.x86_64.tbz2                                                                                       08-Apr-2021 01:27     92M
coq-8.13.2_0.darwin_19.x86_64.tbz2.rmd160                                                                                08-Apr-2021 01:27     512
coq-8.13.2_0.darwin_20.arm64.tbz2                                                                                        09-Jun-2021 06:07     97M
coq-8.13.2_0.darwin_20.arm64.tbz2.rmd160                                                                                 09-Jun-2021 06:07     512
coq-8.13.2_0.darwin_20.x86_64.tbz2                                                                                       09-Jun-2021 07:42     92M
coq-8.13.2_0.darwin_20.x86_64.tbz2.rmd160                                                                                09-Jun-2021 07:42     512
coq-8.13.2_0.darwin_21.arm64.tbz2                                                                                        22-Nov-2021 01:40     97M
coq-8.13.2_0.darwin_21.arm64.tbz2.rmd160                                                                                 22-Nov-2021 01:40     512
coq-8.13.2_0.darwin_21.x86_64.tbz2                                                                                       14-Jan-2022 13:59     92M
coq-8.13.2_0.darwin_21.x86_64.tbz2.rmd160                                                                                14-Jan-2022 13:59     512
coq-8.13.2_0.darwin_22.arm64.tbz2                                                                                        06-Mar-2023 14:09     97M
coq-8.13.2_0.darwin_22.arm64.tbz2.rmd160                                                                                 06-Mar-2023 14:09     512
coq-8.13.2_0.darwin_22.x86_64.tbz2                                                                                       01-Jan-2023 14:23     92M
coq-8.13.2_0.darwin_22.x86_64.tbz2.rmd160                                                                                01-Jan-2023 14:23     512
coq-8.13.2_0.darwin_23.arm64.tbz2                                                                                        16-Jan-2024 15:55     98M
coq-8.13.2_0.darwin_23.arm64.tbz2.rmd160                                                                                 16-Jan-2024 15:55     512
coq-8.13.2_0.darwin_23.x86_64.tbz2                                                                                       14-Nov-2023 03:18     93M
coq-8.13.2_0.darwin_23.x86_64.tbz2.rmd160                                                                                14-Nov-2023 03:18     512