From dbe31a4b92036cc93303f9b2759e7b4e5c3566da Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@cs.rwth-aachen.de>
Date: Sun, 11 Oct 2020 20:52:27 +0200
Subject: [PATCH] Updated Dockerfile

---
 Dockerfile => binder/Dockerfile | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)
 rename Dockerfile => binder/Dockerfile (91%)

diff --git a/Dockerfile b/binder/Dockerfile
similarity index 91%
rename from Dockerfile
rename to binder/Dockerfile
index f3023a4..998e50a 100644
--- a/Dockerfile
+++ b/binder/Dockerfile
@@ -1,4 +1,4 @@
-FROM movesrwth/stormpy:1.6.0
+FROM movesrwth/stormpy:1.6.2
 MAINTAINER Matthias Volk <matthias.volk@cs.rwth-aachen.de>
 
 
@@ -33,6 +33,7 @@ ENV PATH="$HOME/.local/bin:$PATH"
 ##########
 
 RUN pip install --no-cache-dir notebook==5.7.9
+RUN pip install --no-cache-dir numpy==1.19.0
 
 ##########
 # Copy files for notebooks