[MacPorts] #32600: nusmv @2.5.4 install error on Mac OS X 10.7.2

[MacPorts]

#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