vampire

vampire 5.1.0 · pkgs/by-name/va/vampire/package.nix

Sign in to subscribe

Health

Risk

risk 1 low

+1 no versionCheckHook

Version

5.1.0 no newer release known to repology

Channels

master 5.1.0 · nixos-unstable 5.1.0 · nixos-26.05 5.1.0 no channel is behind master

Hydra

succeeded 2w ago

Advisories

none open

Packaging

no versionCheckHook

Packagewhat each field means

Description

Vampire Theorem Prover

Homepage

https://vprover.github.io/

License

Platforms

45 platforms: Linux, Darwin

Main program

vampire

Source provenance

not set: built from source

Outputs

out

Status

not broken, not insecure, free

Position

pkgs/by-name/va/vampire/package.nix:71

Maintainers

sempiternal-aurora

Version bumps 0all open bumps

None open.

Pull requests 0

None open.

Closed or merged in the synced window 2

[Backport release-26.05] vampire: 5.0.1 -> 5.1.0

#571139 by nixpkgs-ci · merged 10d ago

vampire: 5.0.1 -> 5.1.0

#553227 by sempiternal-aurora · merged 3w ago

Issues 0

None open.

Closed or merged in the synced window 1

Update Request: vampire 5.0.1 → 5.1.0

#558080 by Richienb · closed 3w ago · 1 comments