1 files changed, 4 insertions, 2 deletions
diff --git a/.SRCINFO b/.SRCINFO
index 9eaa4f4ba1c2..0ba9fc61fbbe 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,15 +1,17 @@
 # Generated by mksrcinfo v8
-# Wed Nov 22 12:04:58 UTC 2017
+# Mon Nov 27 15:38:31 UTC 2017
 pkgbase = prob
 	pkgdesc = ProB Animator and Model Checker
 	pkgver = 1.7.1
-	pkgrel = 1
+	pkgrel = 2
 	url = http://eclipseclp.org/
 	arch = x86_64
 	license = EPL 1.0
 	depends = tk85
 	depends = tcl85
 	depends = java-runtime
+	optdepends = graphviz: visualizations
+	optdepends = gv: PostScript visualizations
 	source_x86_64 = http://www3.hhu.de/stups/downloads/prob/tcltk/releases/1.7.1/ProB.linux64.tar.gz
 	md5sums_x86_64 = eb74b2991967f0a8ed8669c4186ac1fa