From f3ee3f4e355abe1f5abba1c7932c0f48877ec3a7 Mon Sep 17 00:00:00 2001
From: Greg Hendershott <greghendershott@gmail.com>
Date: Tue, 2 Jul 2013 15:17:07 -0400
Subject: [PATCH] Use Racket installer for Ubuntu 64-bit

---
 install-racket.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/install-racket.sh b/install-racket.sh
index 218498d..bc64933 100644
--- a/install-racket.sh
+++ b/install-racket.sh
@@ -1,11 +1,11 @@
 VERSION=5.3.5
-URL="http://download.racket-lang.org/installers/$VERSION/racket/racket-$VERSION-bin-x86_64-linux-f14.sh"
+URL="http://download.racket-lang.org/installers/$VERSION/racket/racket-$VERSION-bin-x86_64-linux-ubuntu-precise.sh"
 INSTALL="./racket-$VERSION.sh"
 
 echo "Downloading $URL to $INSTALL..."
 curl -o $INSTALL $URL
 
-echo "Running Racket installer"
+echo "Running Racket installer..."
 chmod u+rx "$INSTALL"
 "$INSTALL" <<EOF
 no