/[gentoo-x86]/sci-mathematics/prover9 |
Anonymous Access: cvs -d :pserver:anonymous@anoncvs.gentoo.org:/var/cvsroot co gentoo-x86/sci-mathematics/prover9
Developer Access: cvs -d :ext:${USER}@cvs.gentoo.org:/var/cvsroot co gentoo-x86/sci-mathematics/prover9
More Information: http://anoncvs.gentoo.org/
Files shown: | 4 |
File | Rev. | Age | Author | Last log entry | |
---|---|---|---|---|---|
Parent Directory | |||||
files/ | (from /) | ||||
ChangeLog | 1.6 | 3 years | jlec | sci-mathematics/prover9: Fix breakage due to dropping make target, #497530; Resp… | |
Manifest | 1.6 | 3 years | jlec | sci-mathematics/prover9: Fix breakage due to dropping make target, #497530; Resp… | |
metadata.xml | 1.4 | 3 years | jlec | sci-mathematics/prover9: Punt base.eclass; bump to EAPI=5; drop unnecessary (R)D… | |
prover9-2009.11a.ebuild | 1.4 | 3 years | jlec | sci-mathematics/prover9: Fix breakage due to dropping make target, #497530; Resp… |
ViewVC Help | |
Powered by ViewVC 1.1.20 |