summarylogtreecommitdiffstats
path: root/PKGBUILD
diff options
context:
space:
mode:
authorBrent Carmer2015-11-08 14:51:52 -0800
committerBrent Carmer2015-11-08 14:51:52 -0800
commitc8f4963200fab6574cdb22b6be3c9bdab8d8f5fd (patch)
tree2c798ee5234ce5942a61517c57d18b21a0f361a9 /PKGBUILD
parent24e7807e78f384c7ddad595b85a9eb927a3d0e99 (diff)
downloadaur-c8f4963200fab6574cdb22b6be3c9bdab8d8f5fd.tar.gz
Update licence
Diffstat (limited to 'PKGBUILD')
-rw-r--r--PKGBUILD2
1 files changed, 1 insertions, 1 deletions
diff --git a/PKGBUILD b/PKGBUILD
index f67b99ae587d..72560a683adf 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -11,7 +11,7 @@ pkgrel=1
pkgdesc="An automatic theorem prover for SMT problems."
url="http://cvc4.cs.nyu.edu/web/"
arch=('x86_64' 'i686')
-license=('GPLv3')
+license=('BSD')
depends=('gmp' 'boost' 'libantlr3c')
makedepends=('git' 'gcc' 'make' 'bash')
optdepends=()