CVSROOT: /cvs Module name: ports Changes by: [email protected] 2026/02/09 16:31:25
Modified files:
math/z3 : Makefile distinfo
math/z3/patches: patch-scripts_mk_util_py
Log message:
math/z3: update to 4.15.7
- CVS: cvs.openbsd.org: ports Frederic Cambus
- CVS: cvs.openbsd.org: ports Stuart Henderson
- CVS: cvs.openbsd.org: ports Frederic Cambus
- CVS: cvs.openbsd.org: ports Matthias Kilian
- CVS: cvs.openbsd.org: ports Matthias Kilian
- CVS: cvs.openbsd.org: ports Bjorn Ketelaars
- CVS: cvs.openbsd.org: ports Bjorn Ketelaars
- CVS: cvs.openbsd.org: ports Robert Nagy
- CVS: cvs.openbsd.org: ports Pascal Stumpf
- CVS: cvs.openbsd.org: ports Frederic Cambus
- CVS: cvs.openbsd.org: ports Kirill A . Korinsky
- CVS: cvs.openbsd.org: ports Anthony J . Bentley
- CVS: cvs.openbsd.org: ports Kirill A . Korinsky
- CVS: cvs.openbsd.org: ports Kurt Miller
- CVS: cvs.openbsd.org: ports Stuart Henderson
- CVS: cvs.openbsd.org: ports Antoine Jacoutot
- CVS: cvs.openbsd.org: ports Sebastian Reitenbach
- CVS: cvs.openbsd.org: ports Paco Esteban
- CVS: cvs.openbsd.org: ports Sebastian Reitenbach
