Browse Source

Update to latest Ur/Web version

Adam Chlipala 11 years ago
parent
commit
e853368fd6
1 changed files with 3 additions and 3 deletions
  1. 3 3
      frameworks/Ur/urweb/install.sh

+ 3 - 3
frameworks/Ur/urweb/install.sh

@@ -3,9 +3,9 @@
 RETCODE=$(fw_exists /usr/local/bin/urweb)
 [ ! "$RETCODE" == 0 ] || { return 0; }
 
-fw_get http://www.impredicative.com/ur/urweb-20140819.tgz
-fw_untar urweb-20140819.tgz
-cd urweb-20140819
+fw_get http://www.impredicative.com/ur/urweb-20140830.tgz
+fw_untar urweb-20140830.tgz
+cd urweb-20140830
 ./configure
 make
 sudo make install