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

[Baptiste Jonglez]

    Date: Friday, June 29, 2018 @ 20:50:46
  Author: zorun
Revision: 347779

upgpkg: coq 8.8.1-1

Modified:
  coq/trunk/PKGBUILD

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

Modified: PKGBUILD
===================================================================
--- PKGBUILD	2018-06-29 20:28:35 UTC (rev 347778)
+++ PKGBUILD	2018-06-29 20:50:46 UTC (rev 347779)
@@ -6,8 +6,8 @@
 # Contributor: William J. Bowman <bluephoenix47 at gmail.com>
 
 pkgname=('coq' 'coqide' 'coq-doc')
-pkgver=8.8.0
-pkgrel=2
+pkgver=8.8.1
+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=('04ce3bca407a2b4c686e0ff14709516fabffc5256ee311ce90f8e5320ca03a0e557bac82b865b0ce31b17fd763db16194ce3b07e9a13398ac30745a7030ac982')
+sha512sums=('706fdc196ca4b8f27dae834426d926cd7d2c8b215af8cbb2653a0bda088068ed9f492cf8f11d123a1f2166b26f86e91a84765e53beb20172dc530f6dd796d8d4')
 
 prepare() {
   gendesk -f -n --pkgname "coqide" \