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 <bluephoeni...@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() {