From b32fa70d17a233c929ec7b0eaec0384806930117 Mon Sep 17 00:00:00 2001
From: Dwight Guth <dwightguth@runtimeverification.com>
Date: Fri, 21 Nov 2014 13:22:33 -0600
Subject: [PATCH] update readme to refer to correct version in preparation for
 3.4.0 release

---
 INSTALL.md | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/INSTALL.md b/INSTALL.md
index 8da66507a..ffc2690d4 100644
--- a/INSTALL.md
+++ b/INSTALL.md
@@ -6,7 +6,7 @@ do any installation steps not listed explicitly.
 We recommend using Linux or OSX on a computer with at least 1 GB of memory.
 
 On Ubuntu, if the K Framework has already been installed (from here:
-<https://github.com/kframework/k/releases/tag/latest>), the
+<https://github.com/kframework/k/releases/tag/v3.4>), the
 installation process for our C semantics can be summarized as:
 ```
 $ cd ~
@@ -94,7 +94,7 @@ Use the following command if `git` is installed:
 $ git clone --depth=1 https://github.com/kframework/c-semantics.git
 ```
 Otherwise, download the latest stable version from github here:
-<https://github.com/kframework/c-semantics/releases/tag/latest>
+<https://github.com/kframework/c-semantics/releases/tag/v3.4.0>
 
 ### 7. Build our C tool.
 - Ensure `kompile` and `krun` are included in your `$PATH`. For example, if you