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) stretch, all sections, and all architectures. Found 1 matching packages.
- stretch (oldstable) (science):
automated theorem prover for first-order logic with equality
3.7-4: amd64 arm64 armel armhf i386 mips mips64el mipsel ppc64el s390x