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 3e28d2e7946d..6703f1dd8f28 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,7 +1,7 @@
pkgbase = mathcomp
pkgdesc = The entire mathematical components library for Coq.
pkgver = 1.6.4
- pkgrel = 1
+ pkgrel = 2
url = https://math-comp.github.io/math-comp/
arch = i686
arch = x86_64