cpet/openbsd-ports
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

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

Browse Source
This commit is contained in:
naddy 2020-07-08 20:55:25 +00:00
parent 8f86a4fa1a
commit 25bd1311b4
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
devel/angr/py-z3-solver/Makefile
View File

@ -1,9 +1,10 @@
# $OpenBSD: Makefile,v 1.8 2020/07/07 14:51:52 kn Exp $
# $OpenBSD: Makefile,v 1.9 2020/07/08 20:55:25 naddy Exp $
COMMENT = efficient SMT solver library (angr fork)
ANGR_PYTHON_MODULE = z3-solver
MODPY_EGG_VERSION = 4.8.8.0
REVISION = 0
CATEGORIES += math