From 979bc4646cab997ec8ae095e5af9380bbb6de35d Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@cs.rwth-aachen.de>
Date: Thu, 7 Dec 2017 17:47:39 +0100
Subject: [PATCH] Increased version numbers of dependencies

---
 setup.py | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/setup.py b/setup.py
index 831610c..6aba669 100755
--- a/setup.py
+++ b/setup.py
@@ -15,7 +15,7 @@ if sys.version_info[0] == 2:
     sys.exit('Sorry, Python 2.x is not supported')
 
 # Minimal storm version required
-storm_min_version = "1.1.0"
+storm_min_version = "1.2.0"
 
 
 class CMakeExtension(Extension):
@@ -225,7 +225,7 @@ setup(
                  ],
     cmdclass={'build_ext': CMakeBuild, 'test': PyTest},
     zip_safe=False,
-    install_requires=['pycarl>=2.0.1'],
+    install_requires=['pycarl>=2.0.2'],
     setup_requires=['pytest-runner'],
     tests_require=['pytest'],
     python_requires='>=3',