[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