Index of ftp://ftp7.FreeBSD.org/sites/distfiles.macports.org/coq

[DIR] Parent Directory

[ GZ] coq-8.13.1.tar.gz  6.63Mb  March 4 2021 at 16:36  [find mirrors]
[ GZ] coq-8.4pl3.tar.gz  3.88Mb  December 22 2013  [find mirrors]
[ GZ] coq-8.4pl4.tar.gz  3.88Mb  May 21 2014  [find mirrors]
[ GZ] coq-8.4pl5.tar.gz  3.88Mb  November 30 2014  [find mirrors]
[ GZ] coq-8.4pl6.tar.gz  3.91Mb  June 19 2015  [find mirrors]
[ GZ] coq-8.5.tar.gz  5.10Mb  January 25 2016  [find mirrors]
[ GZ] coq-8.5pl1.tar.gz  5.12Mb  April 27 2016  [find mirrors]
[ GZ] coq-8.5pl2.tar.gz  5.08Mb  July 20 2016  [find mirrors]
[ GZ] coq-8.5pl3.tar.gz  5.09Mb  November 12 2016  [find mirrors]
[ GZ] coq-8.8.0.tar.gz  5.65Mb  April 27 2018  [find mirrors]
[ GZ] coq-8.8.1.tar.gz  5.66Mb  July 15 2018  [find mirrors]
[ GZ] coq-8.8.2.tar.gz  5.68Mb  October 1 2018  [find mirrors]