diff options
| author | Jeroen Robben | 2024-04-10 12:31:51 -0300 |
|---|---|---|
| committer | Jeroen Robben | 2024-04-10 12:31:51 -0300 |
| commit | 566df065e7889639e8e54b9b4afbbdb9d8b929db (patch) | |
| tree | 69dabdb6a8fbe3fe233fad3b41cc31223e5ae3b0 | |
| parent | cce411dcaeadbb1ed418ca53f70b45915a55da05 (diff) | |
| download | aur-566df065e7889639e8e54b9b4afbbdb9d8b929db.tar.gz | |
Update to 1.13.0
| -rw-r--r-- | .SRCINFO | 6 |
1 files changed, 3 insertions, 3 deletions
@@ -1,6 +1,6 @@ pkgbase = prob pkgdesc = ProB Animator and Model Checker - pkgver = 1.12.2 + pkgver = 1.13.0 pkgrel = 1 url = https://www3.hhu.de/stups/prob/ arch = x86_64 @@ -10,8 +10,8 @@ pkgbase = prob depends = java-runtime optdepends = graphviz: visualizations optdepends = gv: PostScript visualizations - source_x86_64 = http://www3.hhu.de/stups/downloads/prob/tcltk/releases/1.12.2/ProB.linux64.tar.gz - md5sums_x86_64 = a8e033178bc132975e2c9eb52ecc2cd9 + source_x86_64 = http://www3.hhu.de/stups/downloads/prob/tcltk/releases/1.13.0/ProB.linux64.tar.gz + md5sums_x86_64 = c2ca46e1b7343948e974a8a8f852bd4e pkgname = prob |