Date: Friday, February 16, 2018 @ 09:00:00 Author: zorun Revision: 294969
upgpkg: coq 8.7.2-1 Modified: coq/trunk/PKGBUILD ----------+ PKGBUILD | 15 ++++----------- 1 file changed, 4 insertions(+), 11 deletions(-) Modified: PKGBUILD =================================================================== --- PKGBUILD 2018-02-16 07:58:56 UTC (rev 294968) +++ PKGBUILD 2018-02-16 09:00:00 UTC (rev 294969) @@ -6,8 +6,8 @@ # Contributor: William J. Bowman <[email protected]> pkgname=('coq' 'coqide' 'coq-doc') -pkgver=8.7.1 -pkgrel=3 +pkgver=8.7.2 +pkgrel=1 pkgdesc='Formal proof management system' arch=('x86_64') url='https://coq.inria.fr/' @@ -20,12 +20,8 @@ 'texlive-bin' 'texlive-latexextra' 'texlive-pictures' # coq-doc 'texlive-fontsextra' 'texlive-science' 'fig2dev' 'imagemagick' 'hevea' 'ghostscript') -source=("coq-${pkgver}.tar.gz::https://github.com/coq/coq/archive/V${pkgver}.tar.gz"; - "Makefile-plugins-micromega-and-nsatz-depend-on-unix-.patch" - "fix-num-build.patch") -sha512sums=('43ef086de93bf99f94d74b9827dd16c79f4d24f5dd4332ee53bbd4588941cb602a64672638a3b3a56bfb612e4dbf7b2a3b5fd4921182dabbbe96e4fef07455b5' - 'e974c2bbe15e177341a71518c0e02051ae82fc33c669c91c2d49562feb9dcb9fc1c4f59512bcbe3388b05ca486d066356390a4cef0799122c96422d1656383fb' - '328723f14f5f07c93f0eff6e7468baf6034ce0ef4ae7c2a5d59ca0a774cab0eeddd444e2f511fbf2abc1e5c71560efedb46c75ec45cf070e42b2a22ae18fd4c6') +source=("coq-${pkgver}.tar.gz::https://github.com/coq/coq/archive/V${pkgver}.tar.gz";) +sha512sums=('6117ef243c62805996a21952016acaaf21db6d1b539fc813c19c897e100f45cde2bee7c9fb045b269a241b79306c656969ca8051e3212ea2090f6d7c1afad5a8') prepare() { gendesk -f -n --pkgname "coqide" \ @@ -33,9 +29,6 @@ --pkgdesc "Graphical interface for the Coq proof assistant" \ --categories "Development;Science;Math;IDE;GTK" cd "$srcdir/coq-$pkgver" - # Necessary since OCaml 4.06: Num is now a separate library. - patch -p1 < "$srcdir/Makefile-plugins-micromega-and-nsatz-depend-on-unix-.patch" - patch -p1 < "$srcdir/fix-num-build.patch" } build() {
