[MacPorts] #63158: z3 @4.8.11_1: requires macOS 10.13

[MacPorts]

#63158: z3 @4.8.11_1: requires macOS 10.13
--------------------------+----------------------
 Reporter:  chrstphrchvz  |      Owner:  landonf
     Type:  defect        |     Status:  assigned
 Priority:  Normal        |  Milestone:
Component:  ports         |    Version:  2.7.1
 Keywords:                |       Port:  z3
--------------------------+----------------------
 The update to 4.8.11 appears to have dropped support for macOS 10.12:
 https://build.macports.org/builders/ports-10.12_x86_64-builder/builds/149604/steps
 /install-port/logs/stdio

 {{{
 error: 'get<unsigned int, int, ast *, symbol, zstring *, rational *,
 double, unsigned int>' is unavailable: introduced in macOS 10.13
 }}}

 I personally do not use this port, but are others interested in this port
 supporting macOS 10.12 (or earlier)?

-- 
Ticket URL: <https://trac.macports.org/ticket/63158>
MacPorts <https://www.macports.org/>
Ports system for macOS