diff options
author | Jeroen Robben | 2020-06-20 22:03:43 +0200 |
---|---|---|
committer | Jeroen Robben | 2020-06-20 22:03:43 +0200 |
commit | 835109518747184c31554f16eb1b2a53bef88374 (patch) | |
tree | 75be760b8a443e5c7ada469e6a651364fe7efc39 | |
parent | 52c68063b9ed632d6ed881e9f36e03058b8af39c (diff) | |
download | aur-835109518747184c31554f16eb1b2a53bef88374.tar.gz |
update to 1.9.3
-rwxr-xr-x | PKGBUILD | 7 |
1 files changed, 4 insertions, 3 deletions
@@ -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() { |