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

Felix Yan felixonmars at archlinux.org
Thu Dec 26 00:10:45 UTC 2019


    Date: Thursday, December 26, 2019 @ 00:10:43
  Author: felixonmars
Revision: 541536

upgpkg: coq 8.10.2-1

Modified:
  coq/trunk/PKGBUILD

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

Modified: PKGBUILD
===================================================================
--- PKGBUILD	2019-12-26 00:10:24 UTC (rev 541535)
+++ PKGBUILD	2019-12-26 00:10:43 UTC (rev 541536)
@@ -6,7 +6,7 @@
 # Contributor: William J. Bowman <bluephoenix47 at gmail.com>
 
 pkgname=('coq' 'coqide' 'coq-doc')
-pkgver=8.10.1
+pkgver=8.10.2
 pkgrel=1
 pkgdesc='Formal proof management system'
 arch=('x86_64')
@@ -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=('5c6a20e283c351a4b0ecdb393fb77cfc9b72b474453c99c95f52a70da47dd72fff7229c2ef92d61aadade8f2ed6e03c1a7740d0fa2fcc87ea72659f95eceb2dc')
+sha512sums=('80df91b64efc9907480388ec479362ee21067c64436da720989d6d1645ffc2f2230ae5c13069c55842da3baa7facbd143c2190d1d64d8c87935802000a02156f')
 
 prepare() {
   gendesk -f -n --pkgname "coqide" \


More information about the arch-commits mailing list