CVS: cvs.openbsd.org: ports

[Stuart Henderson]

CVSROOT:        /cvs
Module name:    ports
Changes by:     st...@cvs.openbsd.org   2026/03/02 07:50:43

Modified files:
        math/py-pysmt  : Makefile distinfo 
        math/py-pysmt/pkg: PLIST 

Log message:
update to py3-PySMT-0.9.6