/[gentoo-x86]/sci-mathematics/prover9
Gentoo

Index of /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  8 months  jlec  sci-mathematics/prover9: Fix breakage due to dropping make target, #497530; Resp…
Manifest  1.6  8 months  jlec  sci-mathematics/prover9: Fix breakage due to dropping make target, #497530; Resp…
metadata.xml  1.4  8 months  jlec  sci-mathematics/prover9: Punt base.eclass; bump to EAPI=5; drop unnecessary (R)D…
prover9-2009.11a.ebuild  1.4  8 months  jlec  sci-mathematics/prover9: Fix breakage due to dropping make target, #497530; Resp…

Sticky Tag:

  ViewVC Help
Powered by ViewVC 1.1.20