[arch-commits] Commit in coq/trunk (PKGBUILD)

[Baptiste Jonglez]

    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 <bluephoenix47 at gmail.com>
 
 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() {