Index of /app-sci/coq

Anonymous Access: cvs -d :pserver:anonymous@anoncvs.gentoo.org:/var/cvsroot co gentoo-x86/app-sci/coq

Developer Access: cvs -d :ext:${USER}@cvs.gentoo.org:/var/cvsroot co gentoo-x86/app-sci/coq

More Information: http://anoncvs.gentoo.org/

File		Rev.	Age	Author	Last log entry
Parent Directory
files/
ChangeLog (dead)		1.10	8 years	ribosome	Moving to sci-mathematics/coq
Manifest (dead)		1.15	8 years	ribosome	Moving to sci-mathematics/coq
coq-7.4.ebuild (dead)		1.7	8 years	ribosome	Moving to sci-mathematics/coq
coq-8.0-r1.ebuild (dead)		1.4	8 years	ribosome	Moving to sci-mathematics/coq
coq-8.0.ebuild (dead)		1.4	8 years	ribosome	Moving to sci-mathematics/coq
coq-8.0_beta.ebuild (dead)		1.3	8 years	mattam	Update for ocaml-3.08, remove old ebuild.
metadata.xml (dead)		1.2	8 years	ribosome	Moving to sci-mathematics/coq