CVS: cvs.openbsd.org: ports

Kirill A. Korinsky <[email protected]> Sat, 18 Jul 2026 16:22:28 -0600 (MDT)

Newsgroups	gmane.os.openbsd.ports.cvs
Message-ID	<[email protected]>

CVSROOT:	/cvs
Module name:	ports
Changes by:	[email protected]	2026/07/18 16:22:28

Modified files:
	math/z3        : Makefile distinfo 
	math/z3/pkg    : PLIST 

Log message:
math/z3: update to 5.0.0

lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.