1 files changed, 5 insertions, 7 deletions

diff --git a/.SRCINFO b/.SRCINFO
index f9e2438f8d13..d42692a121ca 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,21 +1,19 @@
-# Generated by mksrcinfo v8
-# Wed Oct 18 17:08:01 UTC 2017
 pkgbase = cvc4-git
 	pkgdesc = An automatic theorem prover for SMT problems.
-	pkgver = 1.5.r189.g382813c77
+	pkgver = 1.6.r709.g219bc5991
 	pkgrel = 1
-	url = http://cvc4.cs.nyu.edu/web/
+	url = http://cvc4.cs.stanford.edu
 	arch = x86_64
 	arch = i686
 	license = BSD
-	makedepends = automake
 	makedepends = git
 	makedepends = gcc
 	makedepends = make
 	makedepends = bash
+	makedepends = cmake
 	depends = gmp
-	depends = boost
-	depends = libantlr3c
+	depends = java-runtime
+	depends = python2
 	provides = cvc4
 	conflicts = cvc4
 	source = git://github.com/CVC4/CVC4.git