ekrhyper
ekrhyper 1_4_21022014 · pkgs/applications/science/logic/ekrhyper/default.nix
Health
Risk
risk 3 low
- +3 no meta.homepage, no meta.mainProgram, no versionCheckHook
Version
1_4_21022014 no newer release known to repology
Channels
master 1_4_21022014 · nixos-unstable 1_4_21022014 · nixos-26.05 1_4_21022014 no channel is behind master
Hydra
succeeded 2w ago
Advisories
none open
Packaging
no meta.homepage no meta.mainProgram no versionCheckHook
Packagewhat each field means
Description
Automated first-order theorem prover
Homepage
none
License
Platforms
24 platforms: Linux
Source provenance
not set: built from source
Outputs
outStatus
not broken, not insecure, free
Maintainers
Version bumps 0all open bumps
None open.
Pull requests 0
None open.
Issues 0
None open.