1 files changed, 6 insertions, 5 deletions
diff --git a/.SRCINFO b/.SRCINFO
index cb88295e4daf..77526d9c8c16 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,17 +1,18 @@
+# Generated by mksrcinfo v8
+# Wed Jul 13 16:06:35 UTC 2016
 pkgbase = saw-script
 	pkgdesc = The SAW scripting language.
-	pkgver = 0.1.1
-	pkgrel = 2
+	pkgver = 0.2
+	pkgrel = 1
 	url = http://saw.galois.com/
 	arch = x86_64
-	arch = i686
 	license = noncommercial
 	depends = cvc4
 	depends = libtinfo
 	depends = java-environment
 	provides = saw-script
-	source = https://github.com/GaloisInc/saw-script/releases/download/v0.1.1-dev/saw-0.1.1-dev-2015-07-31-CentOS6-64.tar.gz
-	md5sums = SKIP
+	source = https://github.com/GaloisInc/saw-script/releases/download/v0.2/saw-0.2-2016-04-12-Ubuntu14.04-64.tar.gz
+	sha512sums = 097e1a9468cc76d3ec31598d9ad120b3d3d49f55ef1399f981eb60b0ccb5283996dfb3e9f41ed209cb11496c7c096b45f774ad84d44592454e23628847742e38
 
 pkgname = saw-script