Subject: CVS commit: pkgsrc/devel/deepstate
From: Adam Ciarcinski
Date: 2023-05-11 11:56:03
Message id: 20230511095603.6B29BFA87@cvs.NetBSD.org
Log Message:
deepstate: depends on math/py-z3; bump revision
Files:
RevisionActionfile
1.11modifypkgsrc/devel/deepstate/Makefile