summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* sci-mathematics/nusmv: Drop unnessecary dieJustin Lecher2012-04-251-7/+7
* Add USE flag description to metadata wrt GLEP 56.Ulrich Müller2008-08-061-0/+3
* move to sci-mathematics herd.Luis Medinas2006-07-311-1/+1
* Initial commit. Ebuild by Robin H. Johnson <robbat2@gentoo.org>. This ebuild ...Robin H. Johnson2006-04-021-0/+8