Date: Sunday, December 5, 2021 @ 16:31:56 Author: kgizdov Revision: 1065192
upgpkg: coq 8.14.1-1 Modified: coq/trunk/PKGBUILD ----------+ PKGBUILD | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) Modified: PKGBUILD =================================================================== --- PKGBUILD 2021-12-05 16:21:05 UTC (rev 1065191) +++ PKGBUILD 2021-12-05 16:31:56 UTC (rev 1065192) @@ -8,8 +8,8 @@ pkgbase=coq pkgname=("${pkgbase}" "${pkgbase}ide" "${pkgbase}-doc") -pkgver=8.14.0 -pkgrel=2 +pkgver=8.14.1 +pkgrel=1 pkgdesc='Formal proof management system' arch=('x86_64') url='https://coq.inria.fr/' @@ -27,7 +27,7 @@ 'python' 'python-sphinx' 'python-sphinx_rtd_theme' 'python-pexpect' 'python-beautifulsoup4' 'python-sphinxcontrib-bibtex' 'python-antlr4') source=("coq-${pkgver}.tar.gz::https://github.com/coq/coq/archive/V${pkgver}.tar.gz") -sha512sums=('041b8e8deedefa8b48bf99e87026988b783fcf89ec555ec96c4e64dbf3a230e0b78e8ae9effe6bc738171b58fba725ddafe49abf3a84f332c67f12435c304d5d') +sha512sums=('bd761d1577fc30b5a0c6d220c643f177a7604961961ce3d94bc61659db48338e1fa068e23cd1ceb5eef56b592051e0c85fe43a91c38b16a24eec29e12343b5ee') build() { # generate a desktop file