Date: Tuesday, December 6, 2022 @ 11:57:50
Author: arojas
Revision: 1356738
upgpkg: coq 8.16.1-1: Update to 8.16.1
Modified:
coq/trunk/PKGBUILD
----------+
PKGBUILD | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
Modified: PKGBUILD
===================================================================
--- PKGBUILD 2022-12-06 11:38:23 UTC (rev 1356737)
+++ PKGBUILD 2022-12-06 11:57:50 UTC (rev 1356738)
@@ -8,8 +8,8 @@
pkgbase=coq
pkgname=("${pkgbase}" "${pkgbase}ide" "${pkgbase}-doc")
-pkgver=8.16.0
-pkgrel=2
+pkgver=8.16.1
+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=('f324b68efcec0680a52c92d6e2fdd340a0e360e7d56d7fc3b4b781af3bec923d2fa2fdbb139b07d2253568a657a09c0d3da4cd5bdf984a6ab913e606056df4b3')
+sha512sums=('e9c82f1a180c2e3946628e8e039999a1841397a5b4cd77f158de69876fa43b5c0f61ce76c510cc2b2f646a489110aea59da452b88ddd7850d1eab4105f1382f5')
build() {
# generate a desktop file
