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

Felix Yan felixonmars at archlinux.org
Mon May 25 19:03:51 UTC 2020


    Date: Monday, May 25, 2020 @ 19:03:51
  Author: felixonmars
Revision: 634917

upgpkg: coq 8.11.2-1

Modified:
  coq/trunk/PKGBUILD

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

Modified: PKGBUILD
===================================================================
--- PKGBUILD	2020-05-25 19:02:59 UTC (rev 634916)
+++ PKGBUILD	2020-05-25 19:03:51 UTC (rev 634917)
@@ -6,7 +6,7 @@
 # Contributor: William J. Bowman <bluephoenix47 at gmail.com>
 
 pkgname=('coq' 'coqide' 'coq-doc')
-pkgver=8.11.1
+pkgver=8.11.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" "0002-Sphinx-3-support.patch")
-sha512sums=('974f09268ca729b525884e02e3179837e31f8001a2c244f138a36a7984329324083e66d07526bba89acaed656eb7711e2c5b257517309d0479839c5d1ac96aa5'
+sha512sums=('f8ab307b8e39ffda5f6984e187c1f8de1cb6dec5c322726dbbe535ee611683cfeeb9cee3e11ad83f5e44e843fc51e7e2d50b4ea69ab42fde38aaf3d0cf2dea3c'
             '1bcbe09593f90c89f27db97a910b934cdb3af566ca14db887f2f720faedc35922e4048ba833abbb96128cfc1c8dc023843f528c53f488fc8bc68eaeb83fd7658')
 
 prepare() {


More information about the arch-commits mailing list