diff options
| author | Eugen Kuksa | 2016-08-17 18:05:26 +0200 |
|---|---|---|
| committer | Eugen Kuksa | 2016-08-17 18:05:26 +0200 |
| commit | c4035226a21f0c99ae7ae0a6f44df6f6f0d1af4f (patch) | |
| tree | 2b05301bc1eca59fe57f041d6a49a9912328d30d /.SRCINFO | |
| parent | ef4aba843829522863a986ff7a918dd0bf3230bc (diff) | |
| download | aur-c4035226a21f0c99ae7ae0a6f44df6f6f0d1af4f.tar.gz | |
Fix license and dependencies.
Diffstat (limited to '.SRCINFO')
| -rw-r--r-- | .SRCINFO | 5 |
1 files changed, 2 insertions, 3 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 |