CVSROOT: /cvs Module name: ports Changes by: [email protected] 2026/02/14 09:33:50
Modified files:
math/z3 : Makefile distinfo
Log message:
math/z3: update to 4.15.8
- CVS: cvs.openbsd.org: ports Stuart Henderson
- CVS: cvs.openbsd.org: ports Robert Nagy
- CVS: cvs.openbsd.org: ports Stuart Henderson
- CVS: cvs.openbsd.org: ports Stuart Henderson
- CVS: cvs.openbsd.org: ports Rafael Sadowski
- CVS: cvs.openbsd.org: ports Rafael Sadowski
- CVS: cvs.openbsd.org: ports Stuart Henderson
- CVS: cvs.openbsd.org: ports Pascal Stumpf
- CVS: cvs.openbsd.org: ports Pascal Stumpf
- CVS: cvs.openbsd.org: ports Daniel Dickman
- CVS: cvs.openbsd.org: ports Kirill A . Korinsky
- CVS: cvs.openbsd.org: ports Robert Nagy
- CVS: cvs.openbsd.org: ports Klemens Nanni
- CVS: cvs.openbsd.org: ports Stuart Henderson
