diff options
| -rw-r--r-- | www/GetStarted.html | 5 |
1 files 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> |