[MacPorts] #66932: nusmv install failed

[MacPorts]

#66932: nusmv install failed
------------------------------+--------------------
  Reporter:  phillipabennett  |      Owner:  (none)
      Type:  defect           |     Status:  new
  Priority:  Normal           |  Milestone:
 Component:  ports            |    Version:
Resolution:                   |   Keywords:
      Port:  nusmv            |
------------------------------+--------------------
Changes (by phillipabennett):

 * Attachment "main.log" added.


-- 
Ticket URL: <https://trac.macports.org/ticket/66932>
MacPorts <https://www.macports.org/>
Ports system for macOS