From ef30504908beaa13ae934cf3880828870788a261 Mon Sep 17 00:00:00 2001
From: ggrieco-tob <31542053+ggrieco-tob@users.noreply.github.com>
Date: Tue, 28 Aug 2018 18:16:30 -0300
Subject: [PATCH] Fix manticore version

---
 bin/setup.py.in | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/bin/setup.py.in b/bin/setup.py.in
index f1eca5b..b926ffa 100644
--- a/bin/setup.py.in
+++ b/bin/setup.py.in
@@ -30,7 +30,7 @@ setuptools.setup(
     author_email="peter@trailofbits.com",
     license="Apache-2.0",
     keywords="tdd testing symbolic execution",
-    install_requires=['claripy==7.8.6.16','angr==7.8.7.1', 'manticore'],
+    install_requires=['claripy==7.8.6.16','angr==7.8.7.1', 'manticore==0.1.10'],
     entry_points={
         'console_scripts': [
             'deepstate = deepstate.main_manticore:main',