Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
path: root/sci-mathematics/spass/Manifest
Commit message (Collapse)AuthorAgeFilesLines
* EAPI=5 with subslot depends to automatically rebuild spass when isabelle is ↵Mark Wright2012-12-051-5/+5
| | | | | | updated if the isabelle use flag is enabled. (Portage version: 2.1.11.33/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* Thanks to Imre Vadasz for reporting bug #439178 and providing the fix, -z ↵Mark Wright2012-10-221-6/+5
| | | | | | should be -n. (Portage version: 2.1.11.30/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* sci-mathematics/spass: Clean residuals from another fix solutionJustin Lecher2012-08-101-5/+5
| | | | (Portage version: 2.2.0_alpha120/cvs/Linux x86_64, signed Manifest commit with key 70EB7916)
* sci-mathematics/spass: Respect CFLAGS, #430676; add missing USE=examplesJustin Lecher2012-08-101-10/+7
| | | | (Portage version: 2.2.0_alpha120/cvs/Linux x86_64, signed Manifest commit with key 70EB7916)
* Fix metadata.Diego Elio Pettenò2012-08-101-8/+12
| | | | (Portage version: 2.2.0_alpha120/cvs/Linux x86_64, signed Manifest commit with key D4301342)
* Add SPASS automated theorem prover, with optional Isabelle/HOL sledgehammer ↵Mark Wright2012-05-301-0/+14
integration. (Portage version: 2.1.10.63/cvs/Linux x86_64, signed Manifest commit with key 618E971F)