diff options
| author | William J. Bowman | 2018-01-07 14:29:03 -0500 |
|---|---|---|
| committer | William J. Bowman | 2018-01-07 14:29:03 -0500 |
| commit | 63f6556168db3ed2a265199ba595ce80f2e07709 (patch) | |
| tree | c42e41048a501ada9aa3934655e2eaa5ef2cdc46 | |
| parent | bdf21a0e18b2c29d063e37656ffaf0f4e0570cf5 (diff) | |
| download | aur-63f6556168db3ed2a265199ba595ce80f2e07709.tar.gz | |
Updated to 1.6.4-1
| -rw-r--r-- | .SRCINFO | 12 | ||||
| -rw-r--r-- | PKGBUILD | 11 |
2 files changed, 10 insertions, 13 deletions
@@ -1,17 +1,15 @@ pkgbase = mathcomp pkgdesc = The entire mathematical components library for Coq. - pkgver = 1.6.1 - pkgrel = 4 + pkgver = 1.6.4 + pkgrel = 1 url = https://math-comp.github.io/math-comp/ arch = i686 arch = x86_64 license = GPL - makedepends = camlp5-transitional>=6.12 - makedepends = ocaml-findlib depends = coq>=8.5 - source = mathcomp-1.6.1.tar.gz::https://github.com/math-comp/math-comp/tarball/mathcomp-1.6.1 - sha256sums = b36883f87bcfdf6e9bfd4ded69c4a1215ff93b0421fabae8c852ccba15043801 - sha512sums = bdafa1445483e5028796e9e9a0c63ecd248f3ac385e3003403f5749fb6454bed2084e75f1982a474f17d7f45ca4a4894ee9f7a4cd708d1fa980639f2e4c1e548 + source = mathcomp-1.6.4.tar.gz::https://github.com/math-comp/math-comp/tarball/mathcomp-1.6.4 + sha256sums = 8595c208ed1f5589552de498ef2c043b577228bd3c048775fa51cea90c603adb + sha512sums = 972cbaf36653ea30c77c876095bac8aa779b36fa18f0c7f753933569fe8e9663cd57c1b4e49cbe5cbdb1cadf1415b57426d4ecbe318d1e24b2a3b5966fe194a6 pkgname = mathcomp @@ -1,17 +1,16 @@ # Maintainer: William J. Bowman <aur@williamjbowman.com> pkgname=mathcomp -pkgver=1.6.1 -pkgrel=4 +pkgver=1.6.4 +pkgrel=1 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, and 8.6.0 but don't quite know how to say that -makedepends=('camlp5-transitional>=6.12' 'ocaml-findlib') +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 source=(mathcomp-$pkgver.tar.gz::https://github.com/math-comp/math-comp/tarball/mathcomp-$pkgver) -sha256sums=('b36883f87bcfdf6e9bfd4ded69c4a1215ff93b0421fabae8c852ccba15043801') -sha512sums=('bdafa1445483e5028796e9e9a0c63ecd248f3ac385e3003403f5749fb6454bed2084e75f1982a474f17d7f45ca4a4894ee9f7a4cd708d1fa980639f2e4c1e548') +sha256sums=('8595c208ed1f5589552de498ef2c043b577228bd3c048775fa51cea90c603adb') +sha512sums=('972cbaf36653ea30c77c876095bac8aa779b36fa18f0c7f753933569fe8e9663cd57c1b4e49cbe5cbdb1cadf1415b57426d4ecbe318d1e24b2a3b5966fe194a6') build() { cd $srcdir/math-comp-math-comp-*/$pkgname |