nixsearch
nixsearch / pkg / vampire / 4.9

vampire 4.9

Vampire Theorem Prover
Linux and macOS last changed

Pin this version

$ devbox add vampire@4.9
systemsaarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux commitf665af0cdb70ed27e1bd8f9fdfecaf451260fc55 
$ nix shell github:NixOS/nixpkgs/f665af0cdb70ed27e1bd8f9fdfecaf451260fc55#vampire

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 vampire f665af0cdb70
out
/nix/store/kvfzf9v1a2yagmggf5lnd0bfvk9jabcq-vampire-4.9
aarch64-linux
Linux · arm64		 vampire f665af0cdb70
out
/nix/store/xmpf6l5wkj00s8bvpxxzcliiw7vkbcmz-vampire-4.9
x86_64-darwin
macOS · x86-64		 vampire f665af0cdb70
out
/nix/store/mjva1336srs9dff86qniy3m6pmr5qqwr-vampire-4.9
x86_64-linux
Linux · x86-64		 vampire f665af0cdb70
out
/nix/store/dc5y93pzccfkhg5gi2wp7c0y1cgqd71h-vampire-4.9
← newer: 5.0.0 all 7 releases older: 4.6.1 →

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