From eab10b038c1dfd6f4a1f15d83b5afea3d080a503 Mon Sep 17 00:00:00 2001 From: Gerd Heber Date: Mon, 4 Jul 2016 18:36:07 -0400 Subject: [PATCH] SBCL 1.3.7 --- Dockerfile | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/Dockerfile b/Dockerfile index f266f53..e61bfd3 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.5/sbcl-1.3.5-x86-64-linux-binary.tar.bz2 \ - && tar -jxvf sbcl-1.3.5-x86-64-linux-binary.tar.bz2 \ - && cd sbcl-1.3.5-x86-64-linux \ +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 \ && sh install.sh # Quicklisp