[arch-commits] Commit in coq/trunk (PKGBUILD)
Felix Yan
felixonmars at archlinux.org
Fri May 28 15:46:06 UTC 2021
Date: Friday, May 28, 2021 @ 15:46:06
Author: felixonmars
Revision: 949957
upgpkg: coq 8.13.2-1
Modified:
coq/trunk/PKGBUILD
----------+
PKGBUILD | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
Modified: PKGBUILD
===================================================================
--- PKGBUILD 2021-05-28 15:46:00 UTC (rev 949956)
+++ PKGBUILD 2021-05-28 15:46:06 UTC (rev 949957)
@@ -8,7 +8,7 @@
pkgbase=coq
pkgname=("${pkgbase}" "${pkgbase}ide" "${pkgbase}-doc")
-pkgver=8.13.1
+pkgver=8.13.2
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' 'python-antlr4')
source=("coq-${pkgver}.tar.gz::https://github.com/coq/coq/archive/V${pkgver}.tar.gz")
-sha512sums=('21544d4177aa40b98daeeaa45684786141eb049b20399ef863a6e1f886d425bee16653b94bd2bb1b3e73eefa6986348eeefaf0c746a75bd4660e4a7417e0b538')
+sha512sums=('d5c16689a3a08d9be58e15d502e5c9bbe13ce8b9755334d1c096307260a804eeb59116c3a7b5fd85910e7f468ee728c69d04735769998a6e6369bf5352f5ec05')
build() {
# generate a desktop file
More information about the arch-commits
mailing list