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

[Baptiste Jonglez]

    Date: Saturday, December 16, 2017 @ 22:53:55
  Author: zorun
Revision: 274620

upgpkg: coq 8.7.1-1

Modified:
  coq/trunk/PKGBUILD

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

Modified: PKGBUILD
===================================================================
--- PKGBUILD	2017-12-16 22:48:53 UTC (rev 274619)
+++ PKGBUILD	2017-12-16 22:53:55 UTC (rev 274620)
@@ -6,7 +6,7 @@
 # Contributor: William J. Bowman <bluephoenix47 at gmail.com>
 
 pkgname=('coq' 'coqide' 'coq-doc')
-pkgver=8.7.0
+pkgver=8.7.1
 pkgrel=1
 pkgdesc='Formal proof management system'
 arch=('x86_64')
@@ -21,7 +21,7 @@
              'texlive-fontsextra' 'texlive-science'
              'fig2dev' 'imagemagick' 'hevea' 'ghostscript')
 source=("coq-${pkgver}.tar.gz::https://github.com/coq/coq/archive/V${pkgver}.tar.gz")
-sha512sums=('c806881d1ab823d9c2d748aa2d7fd3faaa0f6395536942ad214c68658b2688e6c57941947a440ddb69bf1436249067eefd866ecb1d9e4c5e774e3218c80a6fc2')
+sha512sums=('43ef086de93bf99f94d74b9827dd16c79f4d24f5dd4332ee53bbd4588941cb602a64672638a3b3a56bfb612e4dbf7b2a3b5fd4921182dabbbe96e4fef07455b5')
 
 prepare() {
   gendesk -f -n --pkgname "coqide" \