[MacPorts] #66676: Z3 SMT solver crashes

[MacPorts]

#66676: Z3 SMT solver crashes
-------------------------+--------------------
  Reporter:  mouse07410  |      Owner:  catap
      Type:  defect      |     Status:  closed
  Priority:  Normal      |  Milestone:
 Component:  ports       |    Version:
Resolution:  fixed       |   Keywords:
      Port:  z3          |
-------------------------+--------------------
Changes (by catap):

 * status:  new => closed
 * owner:  (none) => catap
 * resolution:   => fixed


Comment:

 In [changeset:"c307ae9e65c2b65493fe065083b6274edc0ea37d/macports-ports"
 c307ae9e65c2b65493fe065083b6274edc0ea37d/macports-ports] (master):
 {{{
 #!ConfigurableCommitTicketReference repository="macports-ports"
 revision="c307ae9e65c2b65493fe065083b6274edc0ea37d"
 z3: update to 4.12.1; add py311; remove py27

 Made `port lint --nitpick` almost happy

 Closes: https://trac.macports.org/ticket/66676
 }}}

-- 
Ticket URL: <https://trac.macports.org/ticket/66676#comment:1>
MacPorts <https://www.macports.org/>
Ports system for macOS