Index of /mirrors/macports-packages/coq/


../
coq-8.8.2_1.darwin_11.x86_64.tbz2                  10-Oct-2018 22:43            67053032
coq-8.8.2_1.darwin_11.x86_64.tbz2.rmd160           10-Oct-2018 22:43                 512
coq-8.8.2_1.darwin_12.x86_64.tbz2                  10-Oct-2018 19:22            67053856
coq-8.8.2_1.darwin_12.x86_64.tbz2.rmd160           10-Oct-2018 19:22                 512
coq-8.8.2_1.darwin_13.x86_64.tbz2                  10-Oct-2018 19:03            66971356
coq-8.8.2_1.darwin_13.x86_64.tbz2.rmd160           10-Oct-2018 19:03                 512
coq-8.8.2_1.darwin_14.x86_64.tbz2                  10-Oct-2018 20:14            66409208
coq-8.8.2_1.darwin_14.x86_64.tbz2.rmd160           10-Oct-2018 20:14                 512
coq-8.8.2_1.darwin_15.x86_64.tbz2                  10-Oct-2018 19:20            66724257
coq-8.8.2_1.darwin_15.x86_64.tbz2.rmd160           10-Oct-2018 19:20                 512
coq-8.8.2_1.darwin_16.x86_64.tbz2                  11-Oct-2018 00:43            66544934
coq-8.8.2_1.darwin_16.x86_64.tbz2.rmd160           11-Oct-2018 00:43                 512
coq-8.8.2_1.darwin_17.x86_64.tbz2                  10-Oct-2018 23:48            66557079
coq-8.8.2_1.darwin_17.x86_64.tbz2.rmd160           10-Oct-2018 23:48                 512
coq-8.8.2_1.darwin_18.x86_64.tbz2                  11-Oct-2018 09:56            67117963
coq-8.8.2_1.darwin_18.x86_64.tbz2.rmd160           11-Oct-2018 09:56                 512