Migrating rungs to gs-weblang-cli repository

mumuki · Jan 27, 2017 · 31a9150 · 31a9150
1 parent 9e80fcb
commit 31a9150
Show file tree

Hide file tree

Showing 3 changed files with 4 additions and 4 deletions.
diff --git a/.travis.yml b/.travis.yml
@@ -1,6 +1,6 @@
 language: haskell
 before_install:
-- wget https://github.com/mumuki/rungs/releases/download/v0.0.1/rungs-ubuntu64 -O rungs
+- wget https://github.com/gobstones/gs-weblang-cli/releases/download/v1.3.3/rungs-ubuntu64 -O rungs
 - chmod u+x rungs
 - sudo mv rungs /usr/bin/rungs
 - cabal install alex

diff --git a/README.md b/README.md
@@ -242,10 +242,10 @@ sudo apt-get install alex
 sudo apt-get install happy
 ```
 
-Mulang uses the `rungs` command to parse the Gobstones language - if you don't install it, Gobstones tests will fail:
+Mulang uses the rungs` command to parse the Gobstones language - if you don't install it, Gobstones tests will fail:
 
 ```
-wget https://github.com/mumuki/rungs/releases/download/v0.0.1/rungs-ubuntu64 -O rungs
+wget https://github.com/gobstones/gs-weblang-cli/releases/download/v1.3.3/rungs-ubuntu64 -O rungs
 chmod u+x rungs
 sudo mv rungs /usr/bin/rungs
 ```

diff --git a/mulang.cabal b/mulang.cabal
@@ -1,5 +1,5 @@
 name:                mulang
-version:             0.2.8.0
+version:             0.3.2.0
 synopsis:            The Mu Language, a non-computable extended Lambda Calculus
 -- description:
 license:             MIT