diff options
author | Brent Carmer | 2015-11-08 14:51:52 -0800 |
---|---|---|
committer | Brent Carmer | 2015-11-08 14:51:52 -0800 |
commit | c8f4963200fab6574cdb22b6be3c9bdab8d8f5fd (patch) | |
tree | 2c798ee5234ce5942a61517c57d18b21a0f361a9 /PKGBUILD | |
parent | 24e7807e78f384c7ddad595b85a9eb927a3d0e99 (diff) | |
download | aur-c8f4963200fab6574cdb22b6be3c9bdab8d8f5fd.tar.gz |
Update licence
Diffstat (limited to 'PKGBUILD')
-rw-r--r-- | PKGBUILD | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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=() |