[arch-commits] Commit in coq/trunk (PKGBUILD)
Baptiste Jonglez
zorun at archlinux.org
Mon Oct 1 00:52:23 UTC 2018
Date: Monday, October 1, 2018 @ 00:52:22
Author: zorun
Revision: 388718
upgpkg: coq 8.8.2-1
Modified:
coq/trunk/PKGBUILD
----------+
PKGBUILD | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
Modified: PKGBUILD
===================================================================
--- PKGBUILD 2018-09-30 23:33:49 UTC (rev 388717)
+++ PKGBUILD 2018-10-01 00:52:22 UTC (rev 388718)
@@ -6,8 +6,8 @@
# Contributor: William J. Bowman <bluephoenix47 at gmail.com>
pkgname=('coq' 'coqide' 'coq-doc')
-pkgver=8.8.1
-pkgrel=3
+pkgver=8.8.2
+pkgrel=1
pkgdesc='Formal proof management system'
arch=('x86_64')
url='https://coq.inria.fr/'
@@ -23,7 +23,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=('706fdc196ca4b8f27dae834426d926cd7d2c8b215af8cbb2653a0bda088068ed9f492cf8f11d123a1f2166b26f86e91a84765e53beb20172dc530f6dd796d8d4')
+sha512sums=('b0f0480fe052fced6016014cf1872d4e004b0dacb779927376d797c279aca9d5f6f4ed3d0f5ee5d42748bbd5c29b43f7a69748564a12a116bcc7ba3b052d8954')
prepare() {
gendesk -f -n --pkgname "coqide" \
More information about the arch-commits
mailing list