[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