From 83e9a0a80a70a54ce51b31dca0fe4b2c5c89fffe Mon Sep 17 00:00:00 2001
From: Sebastien Goasguen <runseb@gmail.com>
Date: Wed, 4 Mar 2015 13:43:25 +0100
Subject: [PATCH] Fix marvin version in Dockerfile

---
 Dockerfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Dockerfile b/Dockerfile
index ed2ca4887b7..66862cce95a 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -30,7 +30,7 @@ RUN (/usr/bin/mysqld_safe &); \
     sleep 3; \
     mvn -Pdeveloper -pl developer -Ddeploydb; \
     mvn -Pdeveloper -pl developer -Ddeploydb-simulator; \
-    pip install tools/marvin/dist/Marvin-0.1.0.tar.gz
+    pip install tools/marvin/dist/Marvin-4.6.0-SNAPSHOT.tar.gz
 
 EXPOSE 8080