Index of ftp://rm.mirror.garr.it/1/macports/packages/coq

[DIR] Parent Directory

-15 -14 -13 -12 -11 -10 -09 -08 -07 -06 -05 -04 -03 -02 -01   page 05 of 06
+01 +02 +03 +04 +05 +06 +07 +08 +09 +10 +11 +12 +13 +14 +15   <- Back | Next page ->

[ ] coq-8.8.0_0.darwin_12.x86_64.tbz2  62.04Mb  April 27 2020 at 19:22  [find mirrors]
[ ] coq-8.8.0_0.darwin_12.x86_64.tbz2.rmd160  512.00b  April 27 2020 at 19:22  [find mirrors]
[ ] coq-8.8.0_0.darwin_13.x86_64.tbz2  61.99Mb  April 27 2020 at 10:30  [find mirrors]
[ ] coq-8.8.0_0.darwin_13.x86_64.tbz2.rmd160  512.00b  April 27 2020 at 10:30  [find mirrors]
[ ] coq-8.8.0_0.darwin_14.x86_64.tbz2  61.51Mb  April 27 2020 at 16:32  [find mirrors]
[ ] coq-8.8.0_0.darwin_14.x86_64.tbz2.rmd160  512.00b  April 27 2020 at 16:32  [find mirrors]
[ ] coq-8.8.0_0.darwin_15.x86_64.tbz2  61.83Mb  April 27 2020 at 10:04  [find mirrors]
[ ] coq-8.8.0_0.darwin_15.x86_64.tbz2.rmd160  512.00b  April 27 2020 at 10:04  [find mirrors]
[ ] coq-8.8.0_0.darwin_16.x86_64.tbz2  61.61Mb  April 27 2020 at 08:59  [find mirrors]
[ ] coq-8.8.0_0.darwin_16.x86_64.tbz2.rmd160  512.00b  April 27 2020 at 08:59  [find mirrors]
[ ] coq-8.8.0_0.darwin_17.x86_64.tbz2  61.61Mb  April 27 2020 at 08:20  [find mirrors]
[ ] coq-8.8.0_0.darwin_17.x86_64.tbz2.rmd160  512.00b  April 27 2020 at 08:20  [find mirrors]
[ ] coq-8.8.1_0.darwin_11.x86_64.tbz2  62.08Mb  November 28 2020 at 15:30  [find mirrors]
[ ] coq-8.8.1_0.darwin_11.x86_64.tbz2.rmd160  512.00b  November 28 2020 at 15:30  [find mirrors]
[ ] coq-8.8.1_0.darwin_12.x86_64.tbz2  62.10Mb  November 28 2020 at 15:30  [find mirrors]
[ ] coq-8.8.1_0.darwin_12.x86_64.tbz2.rmd160  512.00b  November 28 2020 at 15:30  [find mirrors]
[ ] coq-8.8.1_0.darwin_13.x86_64.tbz2  62.05Mb  November 28 2020 at 15:30  [find mirrors]
[ ] coq-8.8.1_0.darwin_13.x86_64.tbz2.rmd160  512.00b  November 28 2020 at 15:30  [find mirrors]
[ ] coq-8.8.1_0.darwin_14.x86_64.tbz2  61.54Mb  November 28 2020 at 15:30  [find mirrors]
[ ] coq-8.8.1_0.darwin_14.x86_64.tbz2.rmd160  512.00b  November 28 2020 at 15:30  [find mirrors]
[ ] coq-8.8.1_0.darwin_15.x86_64.tbz2  61.83Mb  November 28 2020 at 15:30  [find mirrors]
[ ] coq-8.8.1_0.darwin_15.x86_64.tbz2.rmd160  512.00b  November 28 2020 at 15:30  [find mirrors]
[ ] coq-8.8.1_0.darwin_16.x86_64.tbz2  61.66Mb  November 28 2020 at 15:30  [find mirrors]
[ ] coq-8.8.1_0.darwin_16.x86_64.tbz2.rmd160  512.00b  November 28 2020 at 15:30  [find mirrors]
[ ] coq-8.8.1_0.darwin_17.x86_64.tbz2  61.66Mb  November 28 2020 at 15:30  [find mirrors]
[ ] coq-8.8.1_0.darwin_17.x86_64.tbz2.rmd160  512.00b  November 28 2020 at 15:30  [find mirrors]
[ ] coq-8.8.2_0.darwin_11.x86_64.tbz2  62.48Mb  November 28 2020 at 15:30  [find mirrors]
[ ] coq-8.8.2_0.darwin_11.x86_64.tbz2.rmd160  512.00b  November 28 2020 at 15:30  [find mirrors]
[ ] coq-8.8.2_0.darwin_12.x86_64.tbz2  62.52Mb  November 28 2020 at 15:30  [find mirrors]
[ ] coq-8.8.2_0.darwin_12.x86_64.tbz2.rmd160  512.00b  November 28 2020 at 15:30  [find mirrors]

-15 -14 -13 -12 -11 -10 -09 -08 -07 -06 -05 -04 -03 -02 -01   page 05 of 06
+01 +02 +03 +04 +05 +06 +07 +08 +09 +10 +11 +12 +13 +14 +15   <- Back | Next page ->