summaryrefslogtreecommitdiff
path: root/sci-mathematics/prover9/files
ModeNameSize
-rw-r--r--LADR-2009-11A-manpages.patch13832logplain