py-angr: update py-angr and dependencies (all from the angr project) to 8.20.1.7

This now only supports python 3.x.

Other changes not documented.

3 files changed, 49 insertions, 13 deletions

diff --git a/math/py-claripy/Makefile b/math/py-claripy/Makefile
index 300b2334b5f..5862aaa0af9 100644
--- a/math/py-claripy/Makefile
+++ b/math/py-claripy/Makefile
@@ -1,18 +1,18 @@
-# $NetBSD: Makefile,v 1.1 2018/03/15 02:24:18 khorben Exp $
+# $NetBSD: Makefile,v 1.2 2020/01/09 14:02:32 wiz Exp $
 
-DISTNAME=	claripy-7.8.2.21
+DISTNAME=	claripy-8.20.1.7
 PKGNAME=	${PYPKGPREFIX}-${EGG_NAME}
 CATEGORIES=	math
 MASTER_SITES=	${MASTER_SITE_GITHUB:=angr/}
 GITHUB_PROJECT=	claripy
-GITHUB_TAG=	74a79e034f87369d26846cb7751276b191319e59
+GITHUB_TAG=	ea20bb80a84aab942f89cffbf035675dc0cf1af4
 
 MAINTAINER=	khorben@defora.org
 HOMEPAGE=	https://github.com/angr/claripy/
 COMMENT=	Abstraction layer for constraint solvers
 LICENSE=	2-clause-bsd
 
-PYTHON_VERSIONS_ACCEPTED=	27
+PYTHON_VERSIONS_INCOMPATIBLE=	27
 
 .include "../../lang/python/egg.mk"
 .include "../../mk/bsd.pkg.mk"
diff --git a/math/py-claripy/PLIST b/math/py-claripy/PLIST
index a143e1ba875..5b6f904fa33 100644
--- a/math/py-claripy/PLIST
+++ b/math/py-claripy/PLIST
@@ -1,4 +1,4 @@
-@comment $NetBSD: PLIST,v 1.1 2018/03/15 02:24:18 khorben Exp $
+@comment $NetBSD: PLIST,v 1.2 2020/01/09 14:02:32 wiz Exp $
 ${PYSITELIB}/${EGG_INFODIR}/PKG-INFO
 ${PYSITELIB}/${EGG_INFODIR}/SOURCES.txt
 ${PYSITELIB}/${EGG_INFODIR}/dependency_links.txt
@@ -31,6 +31,9 @@ ${PYSITELIB}/claripy/ast/fp.pyo
 ${PYSITELIB}/claripy/ast/int.py
 ${PYSITELIB}/claripy/ast/int.pyc
 ${PYSITELIB}/claripy/ast/int.pyo
+${PYSITELIB}/claripy/ast/strings.py
+${PYSITELIB}/claripy/ast/strings.pyc
+${PYSITELIB}/claripy/ast/strings.pyo
 ${PYSITELIB}/claripy/ast/vs.py
 ${PYSITELIB}/claripy/ast/vs.pyc
 ${PYSITELIB}/claripy/ast/vs.pyo
@@ -46,6 +49,24 @@ ${PYSITELIB}/claripy/backends/__init__.pyo
 ${PYSITELIB}/claripy/backends/backend_concrete.py
 ${PYSITELIB}/claripy/backends/backend_concrete.pyc
 ${PYSITELIB}/claripy/backends/backend_concrete.pyo
+${PYSITELIB}/claripy/backends/backend_smtlib.py
+${PYSITELIB}/claripy/backends/backend_smtlib.pyc
+${PYSITELIB}/claripy/backends/backend_smtlib.pyo
+${PYSITELIB}/claripy/backends/backend_smtlib_solvers/__init__.py
+${PYSITELIB}/claripy/backends/backend_smtlib_solvers/__init__.pyc
+${PYSITELIB}/claripy/backends/backend_smtlib_solvers/__init__.pyo
+${PYSITELIB}/claripy/backends/backend_smtlib_solvers/abc_popen.py
+${PYSITELIB}/claripy/backends/backend_smtlib_solvers/abc_popen.pyc
+${PYSITELIB}/claripy/backends/backend_smtlib_solvers/abc_popen.pyo
+${PYSITELIB}/claripy/backends/backend_smtlib_solvers/cvc4_popen.py
+${PYSITELIB}/claripy/backends/backend_smtlib_solvers/cvc4_popen.pyc
+${PYSITELIB}/claripy/backends/backend_smtlib_solvers/cvc4_popen.pyo
+${PYSITELIB}/claripy/backends/backend_smtlib_solvers/z3_popen.py
+${PYSITELIB}/claripy/backends/backend_smtlib_solvers/z3_popen.pyc
+${PYSITELIB}/claripy/backends/backend_smtlib_solvers/z3_popen.pyo
+${PYSITELIB}/claripy/backends/backend_smtlib_solvers/z3str_popen.py
+${PYSITELIB}/claripy/backends/backend_smtlib_solvers/z3str_popen.pyc
+${PYSITELIB}/claripy/backends/backend_smtlib_solvers/z3str_popen.pyo
 ${PYSITELIB}/claripy/backends/backend_vsa.py
 ${PYSITELIB}/claripy/backends/backend_vsa.pyc
 ${PYSITELIB}/claripy/backends/backend_vsa.pyo
@@ -70,6 +91,9 @@ ${PYSITELIB}/claripy/balancer.pyo
 ${PYSITELIB}/claripy/bv.py
 ${PYSITELIB}/claripy/bv.pyc
 ${PYSITELIB}/claripy/bv.pyo
+${PYSITELIB}/claripy/debug.py
+${PYSITELIB}/claripy/debug.pyc
+${PYSITELIB}/claripy/debug.pyo
 ${PYSITELIB}/claripy/errors.py
 ${PYSITELIB}/claripy/errors.pyc
 ${PYSITELIB}/claripy/errors.pyo
@@ -106,6 +130,9 @@ ${PYSITELIB}/claripy/frontend_mixins/debug_mixin.pyo
 ${PYSITELIB}/claripy/frontend_mixins/eager_resolution_mixin.py
 ${PYSITELIB}/claripy/frontend_mixins/eager_resolution_mixin.pyc
 ${PYSITELIB}/claripy/frontend_mixins/eager_resolution_mixin.pyo
+${PYSITELIB}/claripy/frontend_mixins/eval_string_to_ast_mixin.py
+${PYSITELIB}/claripy/frontend_mixins/eval_string_to_ast_mixin.pyc
+${PYSITELIB}/claripy/frontend_mixins/eval_string_to_ast_mixin.pyo
 ${PYSITELIB}/claripy/frontend_mixins/model_cache_mixin.py
 ${PYSITELIB}/claripy/frontend_mixins/model_cache_mixin.pyc
 ${PYSITELIB}/claripy/frontend_mixins/model_cache_mixin.pyo
@@ -118,6 +145,9 @@ ${PYSITELIB}/claripy/frontend_mixins/simplify_helper_mixin.pyo
 ${PYSITELIB}/claripy/frontend_mixins/simplify_skipper_mixin.py
 ${PYSITELIB}/claripy/frontend_mixins/simplify_skipper_mixin.pyc
 ${PYSITELIB}/claripy/frontend_mixins/simplify_skipper_mixin.pyo
+${PYSITELIB}/claripy/frontend_mixins/smtlib_script_dumper_mixin.py
+${PYSITELIB}/claripy/frontend_mixins/smtlib_script_dumper_mixin.pyc
+${PYSITELIB}/claripy/frontend_mixins/smtlib_script_dumper_mixin.pyo
 ${PYSITELIB}/claripy/frontend_mixins/solve_block_mixin.py
 ${PYSITELIB}/claripy/frontend_mixins/solve_block_mixin.pyc
 ${PYSITELIB}/claripy/frontend_mixins/solve_block_mixin.pyo
@@ -148,18 +178,24 @@ ${PYSITELIB}/claripy/operations.pyo
 ${PYSITELIB}/claripy/ops.py
 ${PYSITELIB}/claripy/ops.pyc
 ${PYSITELIB}/claripy/ops.pyo
+${PYSITELIB}/claripy/simplifications.py
+${PYSITELIB}/claripy/simplifications.pyc
+${PYSITELIB}/claripy/simplifications.pyo
+${PYSITELIB}/claripy/smtlib_utils.py
+${PYSITELIB}/claripy/smtlib_utils.pyc
+${PYSITELIB}/claripy/smtlib_utils.pyo
 ${PYSITELIB}/claripy/solvers.py
 ${PYSITELIB}/claripy/solvers.pyc
 ${PYSITELIB}/claripy/solvers.pyo
+${PYSITELIB}/claripy/strings.py
+${PYSITELIB}/claripy/strings.pyc
+${PYSITELIB}/claripy/strings.pyo
 ${PYSITELIB}/claripy/utils/__init__.py
 ${PYSITELIB}/claripy/utils/__init__.pyc
 ${PYSITELIB}/claripy/utils/__init__.pyo
 ${PYSITELIB}/claripy/utils/orderedset.py
 ${PYSITELIB}/claripy/utils/orderedset.pyc
 ${PYSITELIB}/claripy/utils/orderedset.pyo
-${PYSITELIB}/claripy/utils/transition.py
-${PYSITELIB}/claripy/utils/transition.pyc
-${PYSITELIB}/claripy/utils/transition.pyo
 ${PYSITELIB}/claripy/vsa/__init__.py
 ${PYSITELIB}/claripy/vsa/__init__.pyc
 ${PYSITELIB}/claripy/vsa/__init__.pyo
diff --git a/math/py-claripy/distinfo b/math/py-claripy/distinfo
index a080909c854..c3c762e75e6 100644
--- a/math/py-claripy/distinfo
+++ b/math/py-claripy/distinfo
@@ -1,6 +1,6 @@
-$NetBSD: distinfo,v 1.1 2018/03/15 02:24:18 khorben Exp $
+$NetBSD: distinfo,v 1.2 2020/01/09 14:02:32 wiz Exp $
 
-SHA1 (claripy-7.8.2.21-74a79e034f87369d26846cb7751276b191319e59.tar.gz) = 41e3cc5e785fbd962aca9a811d398e1a632e9625
-RMD160 (claripy-7.8.2.21-74a79e034f87369d26846cb7751276b191319e59.tar.gz) = cccfc6f424ffb1b239ed7f811876f435da86fa81
-SHA512 (claripy-7.8.2.21-74a79e034f87369d26846cb7751276b191319e59.tar.gz) = 4c85099cf2e0a9921aed1f52a11760d9cc0992e78798714ca1b3b68fff4f00ef1deddd83d9fc124fd9be8b926733276ddbff5de5848f3e04eef9056a3800300a
-Size (claripy-7.8.2.21-74a79e034f87369d26846cb7751276b191319e59.tar.gz) = 119801 bytes
+SHA1 (claripy-8.20.1.7-ea20bb80a84aab942f89cffbf035675dc0cf1af4.tar.gz) = 41740deb57d5aeb38ac39392b1e361058670f089
+RMD160 (claripy-8.20.1.7-ea20bb80a84aab942f89cffbf035675dc0cf1af4.tar.gz) = 396fe0b706b6be78e46f5475459c8cc1e80f9996
+SHA512 (claripy-8.20.1.7-ea20bb80a84aab942f89cffbf035675dc0cf1af4.tar.gz) = f18458f07dd7a145ba35692b8470e6fd0f792d3c7e245b24933369d7f6b7ee0bf6dfc16b64eb027fa993a6c45ce1ddab8b99db7db83de5f420e10c731f3e03e4
+Size (claripy-8.20.1.7-ea20bb80a84aab942f89cffbf035675dc0cf1af4.tar.gz) = 149530 bytes