[MacPorts] #66932: nusmv @2.6.0_1 build failed
MacPorts
noreply at macports.org
Tue Feb 21 03:24:02 UTC 2023
#66932: nusmv @2.6.0_1 build failed
------------------------------+------------------------
Reporter: phillipabennett | Owner: ryandesign
Type: defect | Status: closed
Priority: Normal | Milestone:
Component: ports | Version:
Resolution: fixed | Keywords:
Port: nusmv |
------------------------------+------------------------
Changes (by ryandesign):
* status: new => closed
* owner: (none) => ryandesign
* resolution: => fixed
Comment:
In [changeset:"360347a799f7f4859a32c482e8d0e8428894ac9e/macports-ports"
360347a799f7f4859a32c482e8d0e8428894ac9e/macports-ports] (master):
{{{
#!ConfigurableCommitTicketReference repository="macports-ports"
revision="360347a799f7f4859a32c482e8d0e8428894ac9e"
nusmv: Ensure python 2 is used for the build
Closes: https://trac.macports.org/ticket/66932
}}}
--
Ticket URL: <https://trac.macports.org/ticket/66932#comment:3>
MacPorts <https://www.macports.org/>
Ports system for macOS
More information about the macports-tickets
mailing list