Merge pull request TechEmpower#1581 from achlipala/master

hamiltont · hamiltont · commit 3f90fc7c2306 · 2015-05-04T23:10:41.000-04:00
Ur/Web: version bump
diff --git a/frameworks/Ur/urweb/install.sh b/frameworks/Ur/urweb/install.sh
@@ -1,6 +1,6 @@
 #!/bin/bash
 
-VERSION=20150103
+VERSION=20150412
 COMPILER=${IROOT}/urweb
 
 RETCODE=$(fw_exists $COMPILER)
