ekrhyper 1_4_21022014 single
Automated first-order theorem prover
- Name
ekrhyper-1_4_21022014- Package set
- top-level
- License
- GPL-2.0
- Source
- pkgs/applications/science/logic/ekrhyper/default.nix:28
- Derivation
/nix/store/nv82qx696xibz8q07fiwgbj0d75rq7sm-ekrhyper-1_4_21022014.drv
Maintainers 1
| Handle | Name | Contact | Via |
|---|---|---|---|
| 7c6f434c | Michael Raskin | GitHub · 7c6f434c@mail.ru | listed on package |
Dependencies 3
| Package | As | Maintainers | Used by (transitive) | Status |
|---|---|---|---|---|
| perl 5.42.3 | nativeBuildInputs | 80,356 | team-only | |
| bashNonInteractive 5.3p15 | other input | 102,441 | maintained | |
| stdenv 26.05pre-git | other input | 90,330 | team-only |
Used by 0 directly, 0 transitively
No package depends on this one.