Updated to 1.6.4-3

* Incompatible with Coq 8.8, so far

2 files changed, 4 insertions, 3 deletions

diff --git a/.SRCINFO b/.SRCINFO
index 6703f1dd8f28..7b15e2d5b811 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,12 +1,13 @@
 pkgbase = mathcomp
 	pkgdesc = The entire mathematical components library for Coq.
 	pkgver = 1.6.4
-	pkgrel = 2
+	pkgrel = 3
 	url = https://math-comp.github.io/math-comp/
 	arch = i686
 	arch = x86_64
 	license = GPL
 	depends = coq>=8.5
+	depends = coq<=8.8
 	source = mathcomp-1.6.4.tar.gz::https://github.com/math-comp/math-comp/tarball/mathcomp-1.6.4
 	sha256sums = 8595c208ed1f5589552de498ef2c043b577228bd3c048775fa51cea90c603adb
 	sha512sums = 972cbaf36653ea30c77c876095bac8aa779b36fa18f0c7f753933569fe8e9663cd57c1b4e49cbe5cbdb1cadf1415b57426d4ecbe318d1e24b2a3b5966fe194a6
diff --git a/PKGBUILD b/PKGBUILD
index 6d9c0bb5beed..809731a825dd 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -2,12 +2,12 @@
 
 pkgname=mathcomp
 pkgver=1.6.4
-pkgrel=2
+pkgrel=3
 pkgdesc="The entire mathematical components library for Coq."
 url="https://math-comp.github.io/math-comp/"
 arch=('i686' 'x86_64')
 license=('GPL')
-depends=('coq>=8.5') # Works with 8.4pl6, 8.5pl3, 8.6.0, and 8.7 but don't quite know how to say that
+depends=('coq>=8.5' 'coq<=8.8') # Works with 8.4pl6, 8.5pl3, 8.6.0, and 8.7 but don't quite know how to say that
 source=(mathcomp-$pkgver.tar.gz::https://github.com/math-comp/math-comp/tarball/mathcomp-$pkgver)
 sha256sums=('8595c208ed1f5589552de498ef2c043b577228bd3c048775fa51cea90c603adb')
 sha512sums=('972cbaf36653ea30c77c876095bac8aa779b36fa18f0c7f753933569fe8e9663cd57c1b4e49cbe5cbdb1cadf1415b57426d4ecbe318d1e24b2a3b5966fe194a6')