Date: Friday, May 31, 2019 @ 16:26:22 Author: zorun Revision: 475993 upgpkg: coq 8.9.1-1
Modified: coq/trunk/PKGBUILD ----------+ PKGBUILD | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) Modified: PKGBUILD =================================================================== --- PKGBUILD 2019-05-31 16:25:47 UTC (rev 475992) +++ PKGBUILD 2019-05-31 16:26:22 UTC (rev 475993) @@ -6,7 +6,7 @@ # Contributor: William J. Bowman <bluephoeni...@gmail.com> pkgname=('coq' 'coqide' 'coq-doc') -pkgver=8.9.0 +pkgver=8.9.1 pkgrel=1 pkgdesc='Formal proof management system' arch=('x86_64') @@ -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=('42b2e0ae669c06803b6b527a194d78675de18869f6342fc8afc49cfc94f3e98ca0c3b4fd52d3af8c5ce66c6efb1c665ac0d65e992ad29c3f432e244f98ec2ca1') +sha512sums=('66344f801b955d1b6daf3ab1d704551070c95cf9032ae74f15fb33f7ec313812b3e05c0ec277a2eb448e3fdfd9721df06d36612e2fb4928b6530d70147f1d983') prepare() { gendesk -f -n --pkgname "coqide" \ @@ -72,6 +72,7 @@ cd "$srcdir/coq-$pkgver" + mkdir -p "${pkgdir}/usr/bin" make COQINSTALLPREFIX="$pkgdir" install-coqide install -D -m 644 -t "${pkgdir}/usr/share/man/man1/" man/coqide.1