summaryrefslogtreecommitdiff
path: root/sci-mathematics/cvc3/files
Commit message (Expand)AuthorAge
* sci-mathematics/cvc3: Add a patch to fix compiling with GCC 6Matthew Dawson2016-10-30
* proj/gentoo: Initial commitRobin H. Johnson2015-08-08