Packages
Packages
Automatic theorem prover
| Version | amd64 | x86 | alpha | arm | arm64 | hppa | ia64 | ppc | ppc64 | sparc |
|---|---|---|---|---|---|---|---|---|---|---|
| Warnings For All Versions | ||||||||||
| 2.3.0 : 0 | amd64 | x86 | alpha | arm | arm64 | hppa | ia64 | ppc | ppc64 | sparc |
| 1.30 : 0 | amd64 | x86 | alpha | arm | arm64 | hppa | ia64 | ppc | ppc64 | sparc |
| RedundantVersion | slot(0) keywords are overshadowed by version: 2.3.0 | |||||||||
| RedundantVersion | slot(0) keywords are overshadowed by version: 2.3.0 | |||||||||