소스 검색

Merge pull request #1921 from achlipala/master

Upgrade Ur/Web version
ssmith-techempower 9 년 전
부모
커밋
117203e83c
1개의 변경된 파일1개의 추가작업 그리고 1개의 파일을 삭제
  1. 1 1
      frameworks/Ur/urweb/setup.sh

+ 1 - 1
frameworks/Ur/urweb/setup.sh

@@ -1,6 +1,6 @@
 #!/bin/bash
 
-VERSION=20150520
+VERSION=20160213
 COMPILER=${IROOT}/urweb
 
 RETCODE=$(fw_exists ${COMPILER}.installed)