diff options
| -rw-r--r-- | .SRCINFO | 4 | ||||
| -rw-r--r-- | .gitignore | 2 | ||||
| -rw-r--r-- | PKGBUILD | 4 |
3 files changed, 5 insertions, 5 deletions
@@ -1,8 +1,8 @@ # Generated by mksrcinfo v8 -# Thu Oct 19 15:27:25 UTC 2017 +# Sat Oct 12 12:09:38 UTC 2019 pkgbase = mathcomp-git pkgdesc = The Mathematical Components Library for the Coq system. - pkgver = 20170913 + pkgver = 20191007 pkgrel = 1 url = https://math-comp.github.io/math-comp/ arch = i686 diff --git a/.gitignore b/.gitignore index a6289c1c9dbb..11046d3c70fe 100644 --- a/.gitignore +++ b/.gitignore @@ -1,6 +1,6 @@ /pkg /src -*-git/ +*.sig *.bz2 *.gz *.tar @@ -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 } |