Search in all suites
Some results have not been displayed due to the search parameters.
You have searched for packages that names contain spass in suite(s) jessie, all sections, and all architectures. Found 1 matching packages.
- jessie (oldoldstable) (science):
An automated theorem prover for first-order logic with equality
3.7-3: amd64 armel armhf i386