CVS: cvs.openbsd.org: ports

[Stuart Henderson]

CVSROOT:        /cvs
Module name:    ports
Changes by:     st...@cvs.openbsd.org   2023/02/25 04:09:17

Modified files:
        math/py-pysmt  : Makefile 

Log message:
remove obsolete RDEP on py-six