Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
path: root/sci-mathematics/nusmv
Commit message (Expand)AuthorAgeFilesLines
* remove ptex dep as it is going awayAlexis Ballier2011-10-051-4/+14
* remove ptex dep as it is going awayAlexis Ballier2011-10-054-12/+13
* Version bump.Paweł Hajdan2011-01-013-3/+143
* Remove forced -mcpu=pentium4 from cudd's Makefile. This fixes bug #327425 rep...Paweł Hajdan2010-07-134-14/+29
* RemanifestingSebastien Fabbro2010-06-241-1/+11
* Removed octave-forgeSebastien Fabbro2010-06-241-1/+1
* Version bump, bug #311903.Paweł Hajdan2010-06-224-12/+230
* Added VARTEXFONTS, bug #223077Sebastien Fabbro2010-01-131-2/+12
* Added VARTEXFONTS, bug #223077Sebastien Fabbro2010-01-132-5/+8
* virtual/ghostscript->app-text/ghostscript-gpl: ghostscript-gpl is the only im...Peter Volkov2009-12-261-2/+2
* virtual/ghostscript->app-text/ghostscript-gpl: ghostscript-gpl is the only im...Peter Volkov2009-12-262-3/+7
* Remove virtual/libcPatrick Lauer2009-09-231-12/+2
* Remove virtual/libcPatrick Lauer2009-09-232-4/+6
* Remove app-text/tetex from dependencies, bug 227443.Ulrich Müller2009-05-301-5/+5
* Remove app-text/tetex from dependencies, bug 227443.Ulrich Müller2009-05-302-5/+7
* Add USE flag description to metadata wrt GLEP 56.Ulrich Müller2008-08-061-2/+12
* Add USE flag description to metadata wrt GLEP 56.Ulrich Müller2008-08-062-1/+7
* Switched virtual/tetex -> virtual/latex-base (see bug #222501).Markus Dittrich2008-05-183-15/+21
* Remove all old-style digests from the system and regen the Manifest files.Robin H. Johnson2008-01-312-31/+0
* Redigest for Manifest2Markus Ullmann2007-02-221-10/+10
* Redigest for Manifest2Markus Ullmann2007-02-221-2/+5
* move to sci-mathematics herd.Luis Medinas2006-07-311-9/+25
* 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-026-0/+206