summaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* sci-mathematics/alt-ergo: Adding alt-ergo 1.30Tupone Alfredo2017-10-141-0/+16
Package-Manager: Portage-2.3.8, Repoman-2.3.3