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