Index of ftp://www.las.ic.unicamp.br/pub/gentoo-portage/sci-mathematics/coq/files
Parent Directory
coq-8.4_p1-camlp4.patch
594.00b
January 15 2013
coq-8.4_p5-do-not-install-revision.patch
695.00b
February 15 2015 at 06:46
coq-8.4_p5-hevea.patch
546.00b
February 15 2015 at 06:46
coq-8.4_p5-no-clean-before-test.patch
383.00b
February 15 2015 at 06:46
coqide.desktop
241.00b
August 24 2012
![[DIR]](/icons/back.gif){kind=icon}
Parent Directory![[ ]](/icons/unknown.gif){kind=icon}
coq-8.4_p1-camlp4.patch coq-8.4_p5-do-not-install-revision.patch coq-8.4_p5-hevea.patch coq-8.4_p5-no-clean-before-test.patch coqide.desktop