CVS: cvs.openbsd.org: ports

[Stuart Henderson]

CVSROOT:        /cvs
Module name:    ports
Changes by:     st...@cvs.openbsd.org   2026/03/03 01:38:41

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

Log message:
regen plist, missed in last minute change before commit