summarylogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--.SRCINFO5
-rw-r--r--PKGBUILD4
2 files changed, 4 insertions, 5 deletions
diff --git a/.SRCINFO b/.SRCINFO
index b07fdd0ce17..13b040c2307 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -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
diff --git a/PKGBUILD b/PKGBUILD
index c38235f0ef2..59dcc5e539e 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -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')