diff options
author | Jorai Rijsdijk | 2017-09-29 13:34:58 +0200 |
---|---|---|
committer | Jorai Rijsdijk | 2017-09-29 13:34:58 +0200 |
commit | d5718c7c631d307a8b5704d801f0249508fb8275 (patch) | |
tree | 2da2763f2fac6795f412cab981ea241acc1bb635 | |
parent | 0ade0141d603e4bee6d82b7218e76f3f4f8b2e6d (diff) | |
download | aur-d5718c7c631d307a8b5704d801f0249508fb8275.tar.gz |
Update SRCINFO
-rw-r--r-- | .SRCINFO | 11 |
1 files changed, 6 insertions, 5 deletions
@@ -1,18 +1,19 @@ pkgbase = mcrl2 pkgdesc = A formal specification language with an associated toolset. - pkgver = 201409.1 - pkgrel = 2 + pkgver = 201707.1 + pkgrel = 1 url = http://www.mcrl2.org install = mcrl2.install arch = i686 arch = x86_64 license = custom makedepends = cmake + makedepends = gcc depends = boost - depends = qt4 + depends = qt5-base depends = glu - source = http://mcrl2.org/download/release/mcrl2-201409.1.tar.gz - md5sums = 32818c4111aa406033e865c30ac7862b + source = http://mcrl2.org/download/release/mcrl2-201707.1.tar.gz + sha256sums = 9504efd8fa4fe60b4072c709b14da3f776ba9eb48fe51f0cbce188a3244910b1 pkgname = mcrl2 |