summarylogtreecommitdiffstats
path: root/.SRCINFO
diff options
context:
space:
mode:
Diffstat (limited to '.SRCINFO')
-rw-r--r--.SRCINFO2
1 files changed, 1 insertions, 1 deletions
diff --git a/.SRCINFO b/.SRCINFO
index 0a682995c4e0..2b29e38b97f5 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,7 +1,7 @@
pkgbase = spin
pkgdesc = Tool for the formal verification of distributed software systems
pkgver = 6.5.2
- pkgrel = 1
+ pkgrel = 2
url = https://spinroot.com/
arch = i686
arch = x86_64