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) sid, all sections, and all architectures. Found 2 matching packages.
- sid (unstable) (science):
automated theorem prover for first-order logic with equality
3.7-4: alpha amd64 arm64 armel armhf hppa i386 m68k mips64el mipsel powerpcspe ppc64 ppc64el s390x sh4 sparc64 x32
1 results have not been displayed because you requested only exact matches.