diff --git a/angrmanagement/__init__.py b/angrmanagement/__init__.py index 52b3196e3..0ef72ea0c 100644 --- a/angrmanagement/__init__.py +++ b/angrmanagement/__init__.py @@ -1,4 +1,4 @@ -__version__ = (9, 0, "gitrolling") +__version__ = (9, 0, 9792) # Hack used to work around the slow-responsiveness issue with the GUI # PySide2 5.14.2 solves this problem but it introduces other bugs diff --git a/setup.py b/setup.py index 25eff10e0..8c1a9018f 100644 --- a/setup.py +++ b/setup.py @@ -13,7 +13,7 @@ setup( name='angr-management', - version='9.0.gitrolling', + version='9.0.9792', python_requires='>=3.6', description='GUI for angr', url='https://github.com/angr/angr-management', @@ -30,7 +30,7 @@ ] }, install_requires=[ - 'angr==9.0.gitrolling', + 'angr==9.0.9792', 'websocket-client', 'qtconsole', 'ipython',