macports/macports-ports
0
0
Fork 0
mirror of https://github.com/macports/macports-ports.git synced 2026-07-12 18:20:25 -07:00
Code Issues Packages Projects Releases Wiki Activity
Files
master
macports-ports/math/z3
T
History
Ryan Goulden 6dc6dd063e z3: add py31[3,4] subports 
The binding just works against the latest python versions.
2025-12-08 22:02:15 -05:00
..
files
z3-fstar-legacy: fix build with clang >= 19
2025-07-28 19:33:24 -06:00
Portfile
z3: add py31[3,4] subports
2025-12-08 22:02:15 -05:00