diff options
| author | Eugen Kuksa | 2022-09-27 19:49:23 +0200 |
|---|---|---|
| committer | Eugen Kuksa | 2022-09-27 19:49:23 +0200 |
| commit | 64d6b943bbd49a0acaa762e82da51938bb2742be (patch) | |
| tree | 78f7e9ccecf8ece4bcf468233093ee07bf77de70 /PKGBUILD | |
| parent | c4035226a21f0c99ae7ae0a6f44df6f6f0d1af4f (diff) | |
| download | aur-spass.tar.gz | |
fix depends and makedepends
Diffstat (limited to 'PKGBUILD')
| -rw-r--r-- | PKGBUILD | 6 |
1 files changed, 3 insertions, 3 deletions
@@ -2,13 +2,13 @@ pkgname=spass pkgver=3.9 -pkgrel=1 +pkgrel=2 pkgdesc="An Automated Theorem Prover for First-Order Logic with Equality." url="http://www.spass-prover.org/" arch=('i686' 'x86_64') license=('BSD 2-Clause') -depends=('') -makedepends=('') +depends=() +makedepends=() source=('http://www.spass-prover.org/download/sources/spass39.tgz') sha512sums=('d7ea0697426c476f2e03b2f9078b7e060671067a67fad7144bb5887a2dd3f39e19e1888f121fce546b5d6ea9a4dc458d1cbec56b59c93507e7dc2d0afa25a89b') |