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

[Konstantin Gizdov]

    Date: Sunday, December 5, 2021 @ 16:31:56
  Author: kgizdov
Revision: 1065192

upgpkg: coq 8.14.1-1

Modified:
  coq/trunk/PKGBUILD

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

Modified: PKGBUILD
===================================================================
--- PKGBUILD	2021-12-05 16:21:05 UTC (rev 1065191)
+++ PKGBUILD	2021-12-05 16:31:56 UTC (rev 1065192)
@@ -8,8 +8,8 @@
 
 pkgbase=coq
 pkgname=("${pkgbase}" "${pkgbase}ide" "${pkgbase}-doc")
-pkgver=8.14.0
-pkgrel=2
+pkgver=8.14.1
+pkgrel=1
 pkgdesc='Formal proof management system'
 arch=('x86_64')
 url='https://coq.inria.fr/'
@@ -27,7 +27,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=('041b8e8deedefa8b48bf99e87026988b783fcf89ec555ec96c4e64dbf3a230e0b78e8ae9effe6bc738171b58fba725ddafe49abf3a84f332c67f12435c304d5d')
+sha512sums=('bd761d1577fc30b5a0c6d220c643f177a7604961961ce3d94bc61659db48338e1fa068e23cd1ceb5eef56b592051e0c85fe43a91c38b16a24eec29e12343b5ee')
 
 build() {
   # generate a desktop file