nixsearch
nixsearch / pkg / vampire / 5.0.0

vampire 5.0.0

Vampire Theorem Prover
Linux and macOS last changed

Pin this version

$ devbox add vampire@5.0.0
systemsaarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux commita1bab9e494f5f4939442a57a58d0449a109593fe 
$ nix shell github:NixOS/nixpkgs/a1bab9e494f5f4939442a57a58d0449a109593fe#vampire

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 vampire a1bab9e494f5
out
/nix/store/j4msp6if73a89bwjgpkfwiwnhc7vvv50-vampire-5.0.0
aarch64-linux
Linux · arm64		 vampire a1bab9e494f5
out
/nix/store/zh0pzx2n1yz217mpnaz4myl7n52nz6h6-vampire-5.0.0
x86_64-darwin
macOS · x86-64		 vampire a1bab9e494f5
out
/nix/store/ng0h966ys13byi687fdnryyvzy4b458l-vampire-5.0.0
x86_64-linux
Linux · x86-64		 vampire a1bab9e494f5
out
/nix/store/kgky3xkag45x549d5qp3cj52db8d5lf5-vampire-5.0.0
← newer: 5.0.1 all 7 releases older: 4.9 →

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