Index of /macports/packages/coq/

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