summarylogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--.SRCINFO6
-rw-r--r--PKGBUILD4
2 files changed, 5 insertions, 5 deletions
diff --git a/.SRCINFO b/.SRCINFO
index ae5a04bd0195..9aecc9999cd9 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,9 +1,9 @@
# Generated by mksrcinfo v8
-# Sat Jan 7 18:07:56 UTC 2017
+# Sat Jan 7 19:22:35 UTC 2017
pkgbase = ssreflect
- pkgdesc = A set of extensions to the scripting language of Coq.
+ pkgdesc = The ssreflect unit of the mathematical components library for Coq.
pkgver = 1.6.1
- pkgrel = 1
+ pkgrel = 2
url = https://math-comp.github.io/math-comp/
arch = i686
arch = x86_64
diff --git a/PKGBUILD b/PKGBUILD
index 4ad9a320fc93..0c26d6767792 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -8,8 +8,8 @@
pkgname=ssreflect
pkgver=1.6.1
-pkgrel=1
-pkgdesc="A set of extensions to the scripting language of Coq."
+pkgrel=2
+pkgdesc="The ssreflect unit of the mathematical components library for Coq."
url="https://math-comp.github.io/math-comp/"
arch=('i686' 'x86_64')
license=('GPL')