summarylogtreecommitdiffstats
diff options
context:
space:
mode:
Diffstat
-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