2 files changed, 7 insertions, 3 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
 
diff --git a/PKGBUILD b/PKGBUILD
index 7d2abd0b951c..31fec1f3531d 100755
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -8,7 +8,7 @@ _minor_version='1'
 
 pkgname='prob'
 pkgver=${_major_version}.${_minor_version}
-pkgrel=1
+pkgrel=2
 pkgdesc="ProB Animator and Model Checker"
 arch=('x86_64')
 url="http://eclipseclp.org/"
@@ -16,6 +16,8 @@ license=('EPL 1.0')
 depends=('tk85'
          'tcl85'
          'java-runtime')
+optdepends=('graphviz: visualizations'
+            'gv: PostScript visualizations')
 
 source_x86_64=("http://www3.hhu.de/stups/downloads/prob/tcltk/releases/${_major_version}.${_minor_version}/ProB.linux64.tar.gz")
 md5sums_x86_64=('eb74b2991967f0a8ed8669c4186ac1fa')