Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | sci-mathematics/nusmv: Drop unnessecary die | 2012-04-25 | 1 | -3/+3 | |
| | | | | (Portage version: 2.2.0_alpha101/cvs/Linux x86_64) | ||||
* | remove ptex dep as it is going away | 2011-10-05 | 1 | -4/+3 | |
| | | | | (Portage version: 2.2.0_alpha61/cvs/Linux x86_64) | ||||
* | Remove forced -mcpu=pentium4 from cudd's Makefile. This fixes bug #327425 ↵ | 2010-07-13 | 1 | -1/+8 | |
| | | | | | | reported by Christopher Head <chris2k01@hotmail.com>. Also, added code to use correct Makefile for 64-bit systems. (Portage version: 2.1.8.3/cvs/Linux i686) | ||||
* | Version bump, bug #311903. | 2010-06-22 | 1 | -0/+127 | |
(Portage version: 2.1.8.3/cvs/Linux i686) |