Package Details: spass 3.9-1

Git Clone URL: https://aur.archlinux.org/spass.git (read-only, click to copy)
Package Base: spass
Description: An Automated Theorem Prover for First-Order Logic with Equality.
Upstream URL: http://www.spass-prover.org/
Licenses: BSD 2-Clause
Submitter: eugenk
Maintainer: eugenk
Last Packager: eugenk
Votes: 1
Popularity: 0.000000
First Submitted: 2016-02-24 15:06 (UTC)
Last Updated: 2022-09-27 17:49 (UTC)

Dependencies (0)

Required by (4)

Sources (1)

Latest Comments

eugenk commented on 2022-09-27 17:50 (UTC)

Good catch, Xangelix. Changed the PKGBUILD.

Xangelix commented on 2022-09-08 20:13 (UTC)

depends and makedepends are not allowed to be empty. (the single quotes should be removed)

eugenk commented on 2016-08-17 16:06 (UTC)

Thanks, Airon90! And sorry for the long absence. I have updated this package now.

Airon90 commented on 2016-07-12 06:08 (UTC)

Moreover License is not GPL but 2-clause BSD

Airon90 commented on 2016-07-11 15:53 (UTC)

3.9 is out: http://www.spass-prover.org/download/sources/spass39.tgz