diff options
| author | Jorai Rijsdijk | 2019-09-13 15:09:38 +0200 |
|---|---|---|
| committer | Jorai Rijsdijk | 2019-09-13 15:09:44 +0200 |
| commit | 3fdc53b17e5350b5acaf1d874d766143dea7d59d (patch) | |
| tree | c271024b8cb5b9123b12bb248fbc089139a0c0ac /.SRCINFO | |
| parent | 32b71df3eed0d168d99c76a806c3c799b00a1c5d (diff) | |
| download | aur-3fdc53b17e5350b5acaf1d874d766143dea7d59d.tar.gz | |
Update to version 201908.0
Diffstat (limited to '.SRCINFO')
| -rw-r--r-- | .SRCINFO | 6 |
1 files changed, 3 insertions, 3 deletions
@@ -1,6 +1,6 @@ pkgbase = mcrl2 pkgdesc = A formal specification language with an associated toolset. - pkgver = 201808.0 + pkgver = 201908.0 pkgrel = 1 url = http://www.mcrl2.org install = mcrl2.install @@ -12,8 +12,8 @@ pkgbase = mcrl2 depends = boost depends = qt5-base depends = glu - source = http://mcrl2.org/download/release/mcrl2-201808.0.tar.gz - sha256sums = cf5d75f512a92d3f56b5899f4f226f9225404452afba88e838c660c7e14a8018 + source = http://mcrl2.org/download/release/mcrl2-201908.0.tar.gz + sha256sums = 5f3b48392a1ab283617dd279e5ba45f5b29ca7f30c94c86bf8f1b9d2047d9dc4 pkgname = mcrl2 |