vampire 5.1.0 single
Vampire Theorem Prover
- Name
vampire-5.1.0- Package set
- top-level
- Homepage
- https://vprover.github.io/
- License
- BSD-3-Clause
- Main program
vampire- Source
- pkgs/by-name/va/vampire/package.nix:71
- Derivation
/nix/store/h5fx0792yr2v7h014pbpln6hk4sjzz92-vampire-5.1.0.drv- Repology
- not reported as outdated · look up (as of 2026-10-09T00:52:30Z)
Maintainers 1
| Handle | Name | Contact | Via |
|---|---|---|---|
| sempiternal-aurora | Myria Sarvay | GitHub · myrialsarvay@gmail.com | listed on package |
Dependencies 3
| Package | As | Maintainers | Used by (transitive) | Status |
|---|---|---|---|---|
| cmake 4.4.3 | nativeBuildInputs | 68,639 | unmaintained outdated | |
| bashNonInteractive 5.3p15 | other input | 102,198 | maintained outdated | |
| stdenv 26.05pre-git | other input | 90,086 | team-only |
Used by 0 directly, 0 transitively
No package depends on this one.