Skip to content

Commit

Permalink
Update version to 9.0.9792 [ci skip]
Browse files Browse the repository at this point in the history
  • Loading branch information
angr-bot committed Sep 7, 2021
1 parent f7fe6cb commit dd68868
Show file tree
Hide file tree
Showing 2 changed files with 3 additions and 3 deletions.
2 changes: 1 addition & 1 deletion angrmanagement/__init__.py
Original file line number Diff line number Diff line change
@@ -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
Expand Down
4 changes: 2 additions & 2 deletions setup.py
Original file line number Diff line number Diff line change
Expand Up @@ -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',
Expand All @@ -30,7 +30,7 @@
]
},
install_requires=[
'angr==9.0.gitrolling',
'angr==9.0.9792',
'websocket-client',
'qtconsole',
'ipython',
Expand Down

0 comments on commit dd68868

Please sign in to comment.