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

Konstantin Gizdov kgizdov at gemini.archlinux.org
Sun Sep 4 16:01:03 UTC 2022


    Date: Sunday, September 4, 2022 @ 16:00:56
  Author: kgizdov
Revision: 1292838

upgpkg: coq 8.15.2-1

Modified:
  coq/trunk/PKGBUILD

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

Modified: PKGBUILD
===================================================================
--- PKGBUILD	2022-09-04 14:54:22 UTC (rev 1292837)
+++ PKGBUILD	2022-09-04 16:00:56 UTC (rev 1292838)
@@ -8,8 +8,8 @@
 
 pkgbase=coq
 pkgname=("${pkgbase}" "${pkgbase}ide" "${pkgbase}-doc")
-pkgver=8.15.0
-pkgrel=3
+pkgver=8.15.2
+pkgrel=1
 pkgdesc='Formal proof management system'
 arch=('x86_64')
 url='https://coq.inria.fr/'
@@ -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=('be6c799b6635875255f7288b9bae5f9108660308f299823155d41353e96fbed4e41e1fc8896fe9653c095da740a80dbf5a1add6b28d279eb7b65365eeaff54ab')
+sha512sums=('6a5487912dedb6e54145bf3f177a091cffe13429ba2f73db7c1cc241fe10e86340c968e19cefba7d680facce55f4e914cbd16a317264b109a6f9a01ec822a8c5')
 
 build() {
   # generate a desktop file



More information about the arch-commits mailing list