Update to 1.12.2

1 files changed, 6 insertions, 6 deletions

diff --git a/PKGBUILD b/PKGBUILD
index f15c9cc6ca87..758ba8f725b9 100755
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -4,24 +4,24 @@
 # Contributor(s): Formal Mind
 # Contributor(s): Heinrich-Heine-University
 
-_major_version='1.9'
-_minor_version='3'
+_major_version='1.12'
+_minor_version='2'
 
 pkgname='prob'
 pkgver=${_major_version}.${_minor_version}
-pkgrel=3
+pkgrel=1
 pkgdesc="ProB Animator and Model Checker"
 arch=('x86_64')
 url="https://www3.hhu.de/stups/prob/"
 license=('EPL 1.0')
-depends=('tk85'
-         'tcl85'
+depends=('tk>=8.5.0'
+         'tcl>=8.5.0'
          '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=('cb18f35657af81db39413b8e2033f729')
+md5sums_x86_64=('a8e033178bc132975e2c9eb52ecc2cd9')
 
 
 package() {