From 2cb962226744cb5d51ad701920f18bb2ef0ce5dd Mon Sep 17 00:00:00 2001
From: Cristian Cadar <cristic@cs.stanford.edu>
Date: Wed, 18 Jan 2012 19:16:34 +0000
Subject: Updated uclibc archives to work with current installation
 instructions.

git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@148405 91177308-0d34-0410-b5e6-96231b3b80d8
---
 www/GetStarted.html | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/www/GetStarted.html b/www/GetStarted.html
index 7c2e60de..7ce750cc 100644
--- a/www/GetStarted.html
+++ b/www/GetStarted.html
@@ -157,9 +157,10 @@ library.</p>
         which has been modified slightly for use with KLEE.  
 	<ul>
 	  <li>A version that works on 32-bit Linux can be found
-	  here: <a href="http://t1.minormatter.com/~ddunbar/klee-uclibc-0.01.tgz">klee-uclibc-0.01.tgz</a></li>
+	  <a href="http://www.doc.ic.ac.uk/~cristic/klee/klee-uclibc-i386.html">here</a>
+	  </li>
 	  <li>A version that works on 64-bit Linux can be found
-	  here: <a href="http://www.doc.ic.ac.uk/~cristic/klee-uclibc-0.01-x64.tgz">klee-uclibc-0.01-x64.tgz</a>
+	    <a href="http://www.doc.ic.ac.uk/~cristic/klee/klee-uclibc-x64.html">here</a>
 	  </li>
 	</ul>
       </li>
-- 
cgit 1.4.1