Index of /macports/packages/coq/

File NameFile SizeDate
Parent directory/--
coq-8.13.2_0.darwin_13.x86_64.tbz2 92M02-Apr-2021 00:24
coq-8.13.2_0.darwin_13.x86_64.tbz2.rmd160 51202-Apr-2021 00:24
coq-8.13.2_0.darwin_14.x86_64.tbz2 91M02-Apr-2021 00:52
coq-8.13.2_0.darwin_14.x86_64.tbz2.rmd160 51202-Apr-2021 00:52
coq-8.13.2_0.darwin_15.x86_64.tbz2 92M02-Apr-2021 04:59
coq-8.13.2_0.darwin_15.x86_64.tbz2.rmd160 51202-Apr-2021 04:59
coq-8.13.2_0.darwin_16.x86_64.tbz2 92M03-Apr-2021 21:37
coq-8.13.2_0.darwin_16.x86_64.tbz2.rmd160 51203-Apr-2021 21:37
coq-8.13.2_0.darwin_17.x86_64.tbz2 92M03-Apr-2021 21:46
coq-8.13.2_0.darwin_17.x86_64.tbz2.rmd160 51203-Apr-2021 21:46
coq-8.13.2_0.darwin_18.x86_64.tbz2 92M02-Apr-2021 22:17
coq-8.13.2_0.darwin_18.x86_64.tbz2.rmd160 51202-Apr-2021 22:17
coq-8.13.2_0.darwin_19.x86_64.tbz2 92M08-Apr-2021 01:27
coq-8.13.2_0.darwin_19.x86_64.tbz2.rmd160 51208-Apr-2021 01:27
coq-8.13.2_0.darwin_20.arm64.tbz2 97M09-Jun-2021 06:07
coq-8.13.2_0.darwin_20.arm64.tbz2.rmd160 51209-Jun-2021 06:07
coq-8.13.2_0.darwin_20.x86_64.tbz2 92M09-Jun-2021 07:42
coq-8.13.2_0.darwin_20.x86_64.tbz2.rmd160 51209-Jun-2021 07:42
coq-8.13.2_0.darwin_21.arm64.tbz2 97M22-Nov-2021 01:40
coq-8.13.2_0.darwin_21.arm64.tbz2.rmd160 51222-Nov-2021 01:40
coq-8.13.2_0.darwin_21.x86_64.tbz2 92M14-Jan-2022 13:59
coq-8.13.2_0.darwin_21.x86_64.tbz2.rmd160 51214-Jan-2022 13:59
coq-8.13.2_0.darwin_22.arm64.tbz2 97M06-Mar-2023 14:09
coq-8.13.2_0.darwin_22.arm64.tbz2.rmd160 51206-Mar-2023 14:09
coq-8.13.2_0.darwin_22.x86_64.tbz2 92M01-Jan-2023 14:23
coq-8.13.2_0.darwin_22.x86_64.tbz2.rmd160 51201-Jan-2023 14:23
coq-8.13.2_0.darwin_23.arm64.tbz2 98M16-Jan-2024 15:55
coq-8.13.2_0.darwin_23.arm64.tbz2.rmd160 51216-Jan-2024 15:55
coq-8.13.2_0.darwin_23.x86_64.tbz2 93M14-Nov-2023 03:18
coq-8.13.2_0.darwin_23.x86_64.tbz2.rmd160 51214-Nov-2023 03:18