[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