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 <[email protected]> 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"
