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"