#32600: nusmv @2.5.4 install error on Mac OS X 10.7.2 -----------------------------------------+---------------------------------- Reporter: merteminkalender@… | Owner: mww@… Type: defect | Status: reopened Priority: Normal | Milestone: Component: ports | Version: 2.0.3 Resolution: | Keywords: Port: nusmv | -----------------------------------------+---------------------------------- Changes (by jeremyhu@…): * status: closed => reopened * resolution: fixed => Comment: Reopening. We need to figure out what's really going wrong here. -- Ticket URL: <https://trac.macports.org/ticket/32600#comment:7> MacPorts <http://www.macports.org/> Ports system for Mac OS