summaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* sci-mathematics/nusmv: Drop unnessecary dieJustin Lecher2012-04-251-3/+3
| | | | (Portage version: 2.2.0_alpha101/cvs/Linux x86_64)
* remove ptex dep as it is going awayAlexis Ballier2011-10-051-4/+3
| | | | (Portage version: 2.2.0_alpha61/cvs/Linux x86_64)
* Remove forced -mcpu=pentium4 from cudd's Makefile. This fixes bug #327425 ↵Paweł Hajdan2010-07-131-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.Paweł Hajdan2010-06-221-0/+127
(Portage version: 2.1.8.3/cvs/Linux i686)