nixsearch
nixsearch / pkg / vampire / 5.1.0

vampire 5.1.0

Vampire Theorem Prover
Linux and macOS (Apple Silicon only) last changed

Pin this version

$ devbox add vampire@5.1.0
systemsaarch64-darwin, aarch64-linux, x86_64-linux commit79b6d20e55596f80baa35cda2a334da8a1fbf1ea 
$ nix shell github:NixOS/nixpkgs/79b6d20e55596f80baa35cda2a334da8a1fbf1ea#vampire

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 vampire 79b6d20e5559
out
/nix/store/ng94wv1c95f019gwcwla331xlg3bhlg7-vampire-5.1.0
aarch64-linux
Linux · arm64		 vampire 79b6d20e5559
out
/nix/store/jr2mj82yznprkr0al266lhbhaipiy4bg-vampire-5.1.0
x86_64-linux
Linux · x86-64		 vampire 79b6d20e5559
out
/nix/store/2xmxmz9i7q4ihvd2iqgnyyg9gddr7yjh-vampire-5.1.0
all 7 releases older: 5.0.1 →

JSON: /v2/pkg?name=vampire · /v2/resolve?name=vampire&version=5.1.0