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

z3: add py31[3,4] subports

Browse Source 
The binding just works against the latest python versions.
This commit is contained in:
Ryan Goulden
2025-12-08 19:02:15 -08:00
committed by GitHub
parent f95c935707
commit 6dc6dd063e
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
math/z3/Portfile
+1 -1
View File
@@ -386,7 +386,7 @@ if {${subport} eq "${name}-fstar" || ${subport} eq "${name}-fstar-legacy"} {
}
}
set pyversions {310 311 312}
set pyversions {310 311 312 313 314}
# Create a top-level Python binding metaport
subport py-${name} {