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

[Baptiste Jonglez]

    Date: Wednesday, January 23, 2019 @ 21:16:11
  Author: zorun
Revision: 427402

upgpkg: coq 8.9.0-1

Modified:
  coq/trunk/PKGBUILD

----------+
 PKGBUILD |    7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

Modified: PKGBUILD
===================================================================
--- PKGBUILD	2019-01-23 21:14:14 UTC (rev 427401)
+++ PKGBUILD	2019-01-23 21:16:11 UTC (rev 427402)
@@ -6,8 +6,8 @@
 # Contributor: William J. Bowman <bluephoenix47 at gmail.com>
 
 pkgname=('coq' 'coqide' 'coq-doc')
-pkgver=8.8.2
-pkgrel=2
+pkgver=8.9.0
+pkgrel=1
 pkgdesc='Formal proof management system'
 arch=('x86_64')
 url='https://coq.inria.fr/'
@@ -23,7 +23,7 @@
              'python' 'python-sphinx' 'python-sphinx_rtd_theme' 'python-pexpect'
              'python-beautifulsoup4' 'python-sphinxcontrib-bibtex' 'python-antlr4')
 source=("coq-${pkgver}.tar.gz::https://github.com/coq/coq/archive/V${pkgver}.tar.gz")
-sha512sums=('b0f0480fe052fced6016014cf1872d4e004b0dacb779927376d797c279aca9d5f6f4ed3d0f5ee5d42748bbd5c29b43f7a69748564a12a116bcc7ba3b052d8954')
+sha512sums=('42b2e0ae669c06803b6b527a194d78675de18869f6342fc8afc49cfc94f3e98ca0c3b4fd52d3af8c5ce66c6efb1c665ac0d65e992ad29c3f432e244f98ec2ca1')
 
 prepare() {
   gendesk -f -n --pkgname "coqide" \
@@ -77,6 +77,7 @@
 
   # Remove toploop files installed by "install-ide-toploop" in the main package
   rm -f "${pkgdir}/usr/lib/coq/toploop"/coqidetop.{cma,cmxs}
+  rm -f "${pkgdir}/usr/bin"/coqidetop{,.opt}
   # In coq 8.7 this file is installed both by install-coq and install-coqide, remove the duplicate.
   rm -f "${pkgdir}/usr/lib/coq/vernac/topfmt.cmi"