summaryrefslogtreecommitdiff
path: root/sci-mathematics/alt-ergo
ModeNameSize
-rw-r--r--Manifest906logplain
-rw-r--r--alt-ergo-1.30.ebuild733logplain
-rw-r--r--metadata.xml670logplain