id summary reporter owner description type status priority milestone component version resolution keywords cc port 60488 py-z3 depends on nonexistent py38-z3 port ryandesign landonf "py-z3 depends on py38-z3 which does not exist: {{{ $ port deps py-z3 Full Name: py-z3 @4.8.7_0 Build Dependencies: cmake, ninja Library Dependencies: z3, py38-z3 $ port deps py38-z3 Error: Port py38-z3 not found }}} This is probably happening because of the unusual way in which the z3 port uses the python portgroup and the fact that the python portgroup recently [changeset:820ff7bdc6f9019c73214e80b1180dff02e173ff/macports-ports changed its default python version from 37 to 38]. The fix would be to set `python.default_version 37` in the py-z3 subport (before you set its dependencies). Or if you want to add a py38-z3 subport, set `python.default_version 38` (to guard against a future time when the python portgroup once again changes its default to a version that's not in the port)." defect closed Normal ports 2.6.2 fixed z3