[MacPorts] #60488: py-z3 depends on nonexistent py38-z3 port
MacPorts
noreply at macports.org
Sat Jun 13 06:01:26 UTC 2020
#60488: py-z3 depends on nonexistent py38-z3 port
-------------------------+---------------------
Reporter: ryandesign | Owner: landonf
Type: defect | Status: closed
Priority: Normal | Milestone:
Component: ports | Version: 2.6.2
Resolution: fixed | Keywords:
Port: z3 |
-------------------------+---------------------
Changes (by ryandesign):
* status: assigned => closed
* resolution: => fixed
Comment:
In [changeset:"015a32d7c2511e5e89591d4529816fadfef6b348/macports-ports"
015a32d7c2511e5e89591d4529816fadfef6b348/macports-ports] (master):
{{{
#!ConfigurableCommitTicketReference repository="macports-ports"
revision="015a32d7c2511e5e89591d4529816fadfef6b348"
z3: Fix py-z3 so it depends on py37-z3 again
Closes: https://trac.macports.org/ticket/60488
}}}
--
Ticket URL: <https://trac.macports.org/ticket/60488#comment:1>
MacPorts <https://www.macports.org/>
Ports system for macOS
More information about the macports-tickets
mailing list