diff options
-rw-r--r-- | .SRCINFO | 5 | ||||
-rw-r--r-- | PKGBUILD | 4 |
2 files changed, 4 insertions, 5 deletions
@@ -1,5 +1,5 @@ # Generated by mksrcinfo v8 -# Wed Aug 17 16:02:37 UTC 2016 +# Wed Aug 17 16:05:13 UTC 2016 pkgbase = spass pkgdesc = An Automated Theorem Prover for First-Order Logic with Equality. pkgver = 3.9 @@ -7,8 +7,7 @@ pkgbase = spass url = http://www.spass-prover.org/ arch = i686 arch = x86_64 - license = GPL - depends = perl + license = BSD 2-Clause source = http://www.spass-prover.org/download/sources/spass39.tgz sha512sums = d7ea0697426c476f2e03b2f9078b7e060671067a67fad7144bb5887a2dd3f39e19e1888f121fce546b5d6ea9a4dc458d1cbec56b59c93507e7dc2d0afa25a89b @@ -6,8 +6,8 @@ pkgrel=1 pkgdesc="An Automated Theorem Prover for First-Order Logic with Equality." url="http://www.spass-prover.org/" arch=('i686' 'x86_64') -license=('GPL') -depends=('perl') +license=('BSD 2-Clause') +depends=('') makedepends=('') source=('http://www.spass-prover.org/download/sources/spass39.tgz') sha512sums=('d7ea0697426c476f2e03b2f9078b7e060671067a67fad7144bb5887a2dd3f39e19e1888f121fce546b5d6ea9a4dc458d1cbec56b59c93507e7dc2d0afa25a89b') |