瀏覽代碼

Merge pull request #1075 from achlipala/master

Ur/Web: Update version
Hamilton Turner 11 年之前
父節點
當前提交
3d8566e8bd
共有 1 個文件被更改,包括 3 次插入3 次删除
  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