summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* sci-mathematics/cvc3: Add a patch to fix compiling with GCC 6Matthew Dawson2016-10-301-0/+2
* sci-mathematics/cvc3: Bump EAPI to 6Matthew Dawson2016-10-301-0/+140