summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authorNikolaos Bezirgiannis2015-10-06 14:36:54 +0200
committerNikolaos Bezirgiannis2015-10-06 14:36:54 +0200
commit5df525bf3cc0adc55cb2f43188506cfba331d9a1 (patch)
tree07ca313409ee71a0736a26468f6b76d320fb130a
parentc4363f8d5c138291bc70a8e907d0daa5b2fbe4b4 (diff)
downloadaur-5df525bf3cc0adc55cb2f43188506cfba331d9a1.tar.gz
Add new SRCINFO
-rw-r--r--.SRCINFO2
1 files changed, 1 insertions, 1 deletions
diff --git a/.SRCINFO b/.SRCINFO
index e83ade3443da..22499a8a86bd 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,7 +1,7 @@
pkgbase = mcrl2
pkgdesc = A formal specification language with an associated toolset.
pkgver = 201409.1
- pkgrel = 1
+ pkgrel = 2
url = http://www.mcrl2.org
install = mcrl2.install
arch = i686