[arch-commits] Commit in coq/trunk (PKGBUILD)

[Felix Yan]

    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