Maintainer Mode
Sign in with GitHub

eprover

eprover 3.2 · pkgs/by-name/ep/eprover/package.nix
Sign in to subscribe
Health
Risk
risk 10 low
  • +8 3.2 is behind upstream 3.5.1
  • +2 no meta.mainProgram, no versionCheckHook
Version
3.2 upstream 3.5.1
Channels
master 3.2 · nixos-unstable 3.2 · nixos-26.05 3.2 no channel is behind master
Hydra
succeeded 2w ago
Advisories
none open
Packaging
no meta.mainProgram no versionCheckHook
Packagewhat each field means
Description
Automated theorem prover for full first-order logic with equality
Homepage
http://www.eprover.org/
License
GPL-2.0
Platforms
79 platforms: Linux, Darwin
Source provenance
not set: built from source
Outputs
out
Status
not broken, not insecure, free
Position
pkgs/by-name/ep/eprover/package.nix:43
Maintainers
7c6f434c
Version bumps 0all open bumps
None open. Upstream has 3.5.1: how to update a package.
Pull requests 0
None open.
Issues 0
None open.