From 7b5b450b1f67ed318fc6c43d9071fa0ac3e61409 Mon Sep 17 00:00:00 2001
From: Gerd Heber <gheber@hdfgroup.org>
Date: Thu, 24 Nov 2016 03:08:00 -0500
Subject: [PATCH] Updated Docker config.

---
 Dockerfile | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/Dockerfile b/Dockerfile
index e61bfd3..6c465c4 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -11,9 +11,9 @@ RUN DEBIAN_FRONTEND=noninteractive apt-get install texlive-generic-recommended
 
 # SBCL
 
-RUN wget -nv http://downloads.sourceforge.net/project/sbcl/sbcl/1.3.7/sbcl-1.3.7-x86-64-linux-binary.tar.bz2 \
- && tar -jxvf sbcl-1.3.7-x86-64-linux-binary.tar.bz2 \
- && cd sbcl-1.3.7-x86-64-linux \
+RUN wget -nv http://downloads.sourceforge.net/project/sbcl/sbcl/1.3.11/sbcl-1.3.11-x86-64-linux-binary.tar.bz2 \
+ && tar -jxvf sbcl-1.3.11-x86-64-linux-binary.tar.bz2 \
+ && cd sbcl-1.3.11-x86-64-linux \
  && sh install.sh
 
 # Quicklisp