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

[Konstantin Gizdov]

    Date: Monday, September 5, 2022 @ 21:40:35
  Author: kgizdov
Revision: 1293379

upgpkg: coq 8.16.0-1

Modified:
  coq/trunk/PKGBUILD

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

Modified: PKGBUILD
===================================================================
--- PKGBUILD	2022-09-05 21:40:34 UTC (rev 1293378)
+++ PKGBUILD	2022-09-05 21:40:35 UTC (rev 1293379)
@@ -8,7 +8,7 @@
 
 pkgbase=coq
 pkgname=("${pkgbase}" "${pkgbase}ide" "${pkgbase}-doc")
-pkgver=8.15.2
+pkgver=8.16.0
 pkgrel=1
 pkgdesc='Formal proof management system'
 arch=('x86_64')
@@ -25,7 +25,7 @@
              'python' 'python-sphinx' 'python-sphinx_rtd_theme' 'python-pexpect'
              'python-beautifulsoup4' 'python-sphinxcontrib-bibtex' 'antlr4' 'python-antlr4')
 source=("coq-${pkgver}.tar.gz::https://github.com/coq/coq/archive/V${pkgver}.tar.gz")
-sha512sums=('6a5487912dedb6e54145bf3f177a091cffe13429ba2f73db7c1cc241fe10e86340c968e19cefba7d680facce55f4e914cbd16a317264b109a6f9a01ec822a8c5')
+sha512sums=('f324b68efcec0680a52c92d6e2fdd340a0e360e7d56d7fc3b4b781af3bec923d2fa2fdbb139b07d2253568a657a09c0d3da4cd5bdf984a6ab913e606056df4b3')
 
 build() {
   # generate a desktop file