iprover 3.9.2 single
Automated first-order logic theorem prover
- Name
iprover-3.9.2- Package set
- top-level
- Homepage
- http://www.cs.man.ac.uk/~korovink/iprover/
- License
- GPL-3.0
- Source
- pkgs/by-name/ip/iprover/package.nix:63
- Derivation
/nix/store/ylnnci0xx3x7gnbyv5y60mbng0giq4ci-iprover-3.9.2.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 11
| Package | As | Maintainers | Used by (transitive) | Status |
|---|---|---|---|---|
| ocamlPackages.ocamlgraph 2.2.0 | buildInputs | 48 | unmaintained | |
| ocamlPackages.yojson 3.0.0 | buildInputs | 370 | single | |
| ocamlPackages.z3 5.1.0 | buildInputs | 7 | maintained | |
| ocamlPackages.zarith 1.14 | buildInputs | 153 | maintained | |
| z3 5.1.0 | buildInputs | 114 | maintained | |
| zlib 1.3.2 | buildInputs | 102,427 | team-only | |
| eprover 3.2 | nativeBuildInputs | 4 | single outdated | |
| ocaml 5.5.0 | nativeBuildInputs | 1,487 | single outdated | |
| ocamlPackages.findlib 1.9.8 | nativeBuildInputs | 1,473 | 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.