[MacPorts] #32627: nusmv: universal variant fails
MacPorts
noreply at macports.org
Thu Feb 9 16:08:11 UTC 2017
#32627: nusmv: universal variant fails
-------------------------+-----------------------
Reporter: ryandesign | Owner:
Type: defect | Status: assigned
Priority: Normal | Milestone:
Component: ports | Version: 2.0.3
Resolution: | Keywords: universal
Port: nusmv |
-------------------------+-----------------------
Changes (by mf2k):
* status: new => assigned
* owner: mww@… =>
Comment:
See #53012.
--
Ticket URL: <https://trac.macports.org/ticket/32627#comment:4>
MacPorts <https://www.macports.org/>
Ports system for macOS
More information about the macports-tickets
mailing list