Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
path: root/sci-mathematics/nusmv
Commit message (Collapse)AuthorAgeFilesLines
* move to sci-mathematics herd.Luis Medinas2006-07-311-9/+25
| | | | | (Portage version: 2.1.1_pre4) (Signed Manifest commit)
* move to sci-mathematics herd.Luis Medinas2006-07-311-1/+1
| | | | (Portage version: 2.1.1_pre4)
* Initial commit. Ebuild by Robin H. Johnson <robbat2@gentoo.org>. This ebuild ↵Robin H. Johnson2006-04-021-6/+9
| | | | | | may need revisiting when GCC4.2 is closer to final. (Portage version: 2.1_pre7-r3) (Unsigned Manifest commit)
* Initial commit. Ebuild by Robin H. Johnson <robbat2@gentoo.org>. This ebuild ↵Robin H. Johnson2006-04-026-0/+203
may need revisiting when GCC4.2 is closer to final. (Portage version: 2.1_pre7-r3)