1 files changed, 2 insertions, 2 deletions
diff --git a/PKGBUILD b/PKGBUILD
index b19fb1ec11bf..7c4d01ff8ad0 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -1,7 +1,7 @@
 # Maintainer: Mort Yao <soi@mort.ninja>
 
 pkgname=mathcomp-git
-pkgver=20170913
+pkgver=20191007
 pkgrel=1
 pkgdesc="The Mathematical Components Library for the Coq system."
 url="https://math-comp.github.io/math-comp/"
@@ -28,5 +28,5 @@ build() {
 package() {
   cd "$srcdir/$pkgname/mathcomp"
 
-  make DSTROOT="$pkgdir/usr/lib/coq/" install
+  make DSTROOT="$pkgdir" install
 }