summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* sci-mathematics/nusmv: version bump to 2.6.0 + EAPI bumpGerhard Bräunlich2016-09-241-0/+81