port | maintainer | build environment | category | date | urls |
---|---|---|---|---|---|
math/py-z3-solver@py39 | [email protected] | main-powerpc-default | build | 2024-03-03 07:37 | log report port detail FreshPorts |
math/py-z3-solver@py39 | [email protected] | 140releng-powerpc-quarterly | build | 2024-02-19 20:39 | log report port detail FreshPorts |
math/py-z3-solver@py39 | [email protected] | main-powerpc-default | build | 2024-01-29 09:36 | log report port detail FreshPorts |
math/py-z3-solver@py39 | [email protected] | 140releng-powerpc-quarterly | build | 2024-01-17 11:40 | log report port detail FreshPorts |