[MacPorts] #41925: Error:command execution failed NuSMV & wget ( to a different path.)

[MacPorts]

#41925: Error:command execution failed NuSMV  & wget ( to a different path.)
--------------------------------+--------------------------------
  Reporter:  yuwakashi_santa@…  |      Owner:  macports-tickets@…
      Type:  defect             |     Status:  closed
  Priority:  Normal             |  Milestone:
 Component:  ports              |    Version:  2.2.1
Resolution:  worksforme         |   Keywords:
      Port:                     |
--------------------------------+--------------------------------
Changes (by ryandesign@…):

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


Comment:

 I didn't understand how you resolved the issue, but I'm glad you got
 things working.

-- 
Ticket URL: <https://trac.macports.org/ticket/41925#comment:3>
MacPorts <http://www.macports.org/>
Ports system for OS X