[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:  closed          
  Priority:  Normal                      |   Milestone:                  
 Component:  ports                       |     Version:  2.0.3           
Resolution:  fixed                       |    Keywords:                  
      Port:  nusmv                       |  
-----------------------------------------+----------------------------------
Changes (by ryandesign@…):

  * status:  new => closed
  * resolution:  => fixed


Comment:

 Thanks for testing. r88225.

-- 
Ticket URL: <https://trac.macports.org/ticket/32600#comment:6>
MacPorts <http://www.macports.org/>
Ports system for Mac OS