CVS: cvs.openbsd.org: ports

[Christian Weisgerber]

CVSROOT:        /cvs
Module name:    ports
Changes by:     na...@cvs.openbsd.org   2020/07/08 14:55:25

Modified files:
        devel/angr/py-z3-solver: Makefile 

Log message:
this port has an independent version number, restore the dropped revision