spass 3.9 single
Automated theorem prover for first-order logic
- Name
spass-3.9- Package set
- top-level
- License
- BSD-2-Clause
- Source
- pkgs/by-name/sp/spass/package.nix:43
- Derivation
/nix/store/p81jmhnhm0mlspfsz7w1801gdim1dfvg-spass-3.9.drv- Repology
- not reported as outdated · look up (as of 2026-10-07T10:23:38Z)
Maintainers 1
| Handle | Name | Contact | Via |
|---|---|---|---|
| 7c6f434c | Michael Raskin | GitHub · 7c6f434c@mail.ru | listed on package |
Dependencies 4
| Package | As | Maintainers | Used by (transitive) | Status |
|---|---|---|---|---|
| bison 3.8.2 | nativeBuildInputs | 77,242 | unmaintained | |
| flex 2.6.4 | nativeBuildInputs | 52,194 | unmaintained | |
| bashNonInteractive 5.3p15 | other input | 102,441 | maintained outdated | |
| stdenv 26.05pre-git | other input | 90,330 | team-only |
Used by 0 directly, 0 transitively
No package depends on this one.