Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
path: root/sci-mathematics/eprover
ModeNameSize
-rw-r--r--Manifest312logplain
-rw-r--r--eprover-3.0_pre008.ebuild1513logplain
-rw-r--r--metadata.xml1534logplain