1 files changed, 1 insertions, 3 deletions

diff --git a/.SRCINFO b/.SRCINFO
index 7295a8634169..292025be7467 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,8 +1,6 @@
-# Generated by mksrcinfo v8
-# Tue Dec 13 11:20:24 UTC 2016
 pkgbase = z3-stable-git
 	pkgdesc = Z3 is a high-performance theorem prover being developed at Microsoft Research (built from Github)
-	pkgver = 4.5.0.gc1480b4
+	pkgver = 4.8.4.g05663592e
 	pkgrel = 1
 	url = https://github.com/Z3Prover/z3
 	arch = i686