diff options
Diffstat (limited to '.SRCINFO')
-rw-r--r-- | .SRCINFO | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO new file mode 100644 index 000000000000..be010be9df7e --- /dev/null +++ b/.SRCINFO @@ -0,0 +1,16 @@ +# Generated by mksrcinfo v8 +# Wed Feb 24 15:06:54 UTC 2016 +pkgbase = spass + pkgdesc = An Automated Theorem Prover for First-Order Logic with Equality. + pkgver = 3.7 + pkgrel = 3 + url = http://www.spass-prover.org/ + arch = i686 + arch = x86_64 + license = GPL + depends = perl + source = http://www.spass-prover.org/download/sources/spass37.tgz + sha512sums = 5b4efd7b767dfee3f24e7917a6ec58ac240ab33bf601722eabd50af57637d8fdd62de9e34e7cd1cd98b8b7e371c9e2d47c8fa3e07c6e7ce2fa616a76646a4e12 + +pkgname = spass + |