summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authorJeroen Robben2020-06-20 22:03:43 +0200
committerJeroen Robben2020-06-20 22:03:43 +0200
commit835109518747184c31554f16eb1b2a53bef88374 (patch)
tree75be760b8a443e5c7ada469e6a651364fe7efc39
parent52c68063b9ed632d6ed881e9f36e03058b8af39c (diff)
downloadaur-835109518747184c31554f16eb1b2a53bef88374.tar.gz
update to 1.9.3
-rwxr-xr-xPKGBUILD7
1 files changed, 4 insertions, 3 deletions
diff --git a/PKGBUILD b/PKGBUILD
index 4edc0fb5f8ab..f15c9cc6ca87 100755
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -1,10 +1,11 @@
+# Maintainer: Jrnr601 <jeroen at robben dot io>
# Maintainer: DenBrahe <denbrahe at hotmail dot com>
# Contributor(s): Michael Leuschel and others
# Contributor(s): Formal Mind
# Contributor(s): Heinrich-Heine-University
-_major_version='1.7'
-_minor_version='1'
+_major_version='1.9'
+_minor_version='3'
pkgname='prob'
pkgver=${_major_version}.${_minor_version}
@@ -20,7 +21,7 @@ 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')
+md5sums_x86_64=('cb18f35657af81db39413b8e2033f729')
package() {