Index of ftp://bo.mirror.garr.it/1/macports/distfiles/coq

[DIR] Parent Directory

[ GZ] coq-8.4pl3.tar.gz  3.88Mb  March 8 2020  [find mirrors]
[ GZ] coq-8.4pl4.tar.gz  3.88Mb  March 8 2020  [find mirrors]
[ GZ] coq-8.4pl5.tar.gz  3.88Mb  November 30 2014  [find mirrors]
[ GZ] coq-8.4pl6.tar.gz  3.91Mb  March 8 2020  [find mirrors]
[ GZ] coq-8.5pl1.tar.gz  5.12Mb  April 27 2016  [find mirrors]
[ GZ] coq-8.5pl2.tar.gz  5.08Mb  March 8 2020  [find mirrors]
[ GZ] coq-8.5pl3.tar.gz  5.09Mb  November 12 2016  [find mirrors]
[ GZ] coq-8.5.tar.gz  5.10Mb  March 8 2020  [find mirrors]
[ GZ] coq-8.8.0.tar.gz  5.65Mb  April 27 2019 at 08:07  [find mirrors]
[ GZ] coq-8.8.1.tar.gz  5.66Mb  March 8 2020 at 22:38  [find mirrors]
[ GZ] coq-8.8.2.tar.gz  5.68Mb  March 8 2020 at 22:38  [find mirrors]