tptp 9.1.0 single unfree
Thousands of problems for theorem provers and tools
- Name
TPTP-9.1.0- Package set
- top-level
- Homepage
- https://tptp.org/TPTP/
- License
- unfreeRedistributable
- Source
- pkgs/by-name/tp/tptp/package.nix:56
- Derivation
/nix/store/8riq78kzchmsg8i4cvqx17d862fj9fwi-TPTP-9.1.0.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 7
| Package | As | Maintainers | Used by (transitive) | Status |
|---|---|---|---|---|
| perl 5.42.3 | buildInputs | 80,356 | team-only outdated | |
| swi-prolog 10.0.2 | buildInputs | 4 | maintained | |
| tcsh 6.24.16 | buildInputs | 6 | single | |
| patchelf 0.15.2 | nativeBuildInputs | 102,425 | unmaintained | |
| bashNonInteractive 5.3p15 | other input | 102,441 | maintained outdated | |
| curl 8.22.0 | other input | 63,430 | maintained | |
| stdenv 26.05pre-git | other input | 90,330 | team-only |
Used by 0 directly, 0 transitively
No package depends on this one.