[MacPorts] #32627: nusmv: universal variant fails

[MacPorts]

#32627: nusmv: universal variant fails
-------------------------+-----------------------
  Reporter:  ryandesign  |      Owner:  (none)
      Type:  defect      |     Status:  assigned
  Priority:  Normal      |  Milestone:
 Component:  ports       |    Version:  2.0.3
Resolution:              |   Keywords:  universal
      Port:  nusmv       |
-------------------------+-----------------------

Comment (by ryandesign):

 In [changeset:"0679dd1f34c1c54db4c065ad9ee92e24943044d0/macports-ports"
 0679dd1f34c1c54db4c065ad9ee92e24943044d0/macports-ports] (master):
 {{{
 #!ConfigurableCommitTicketReference repository="macports-ports"
 revision="0679dd1f34c1c54db4c065ad9ee92e24943044d0"
 nusmv: Update to 2.6.0

 Closes: https://trac.macports.org/ticket/45839

 Disable universal variant.

 See: https://trac.macports.org/ticket/32627

 Conflicts with libcudd because it installs its own patched version.
 }}}

-- 
Ticket URL: <https://trac.macports.org/ticket/32627#comment:5>
MacPorts <https://www.macports.org/>
Ports system for macOS