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

[Felix Yan]

    Date: Monday, September 14, 2020 @ 11:30:23
  Author: felixonmars
Revision: 705970

upgpkg: cvc4 1.8-2: fix dependency on boost-libs instead of boost

Modified:
  cvc4/trunk/PKGBUILD

----------+
 PKGBUILD |    6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

Modified: PKGBUILD
===================================================================
--- PKGBUILD	2020-09-14 11:28:13 UTC (rev 705969)
+++ PKGBUILD	2020-09-14 11:30:23 UTC (rev 705970)
@@ -3,12 +3,12 @@
 
 pkgname=cvc4
 pkgver=1.8
-pkgrel=1
+pkgrel=2
 pkgdesc="An automatic theorem prover"
 arch=('x86_64')
 url="https://cvc4.github.io/"
-depends=('boost' 'libantlr3c' 'cln')
-makedepends=('python-toml' 'cmake' 'java-runtime')
+depends=('boost-libs' 'libantlr3c' 'cln')
+makedepends=('boost' 'cmake' 'java-runtime' 'python-toml')
 optdepends=('readline: for an improved interaction support')
 license=('GPL' 'BSD' 'MIT' 'custom:HPND')
 source=("https://github.com/CVC4/CVC4/archive/$pkgver/$pkgname-$pkgver.tar.gz"