vampire 5.1.0
Vampire Theorem Prover
Linux and macOS (Apple Silicon only)
last changed
Pin this version
$ devbox add vampire@5.1.0
$ nix shell github:NixOS/nixpkgs/79b6d20e55596f80baa35cda2a334da8a1fbf1ea#vampire
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
aarch64-darwinmacOS · arm64 |
vampire |
79b6d20e5559 | out/nix/store/ng94wv1c95f019gwcwla331xlg3bhlg7-vampire-5.1.0 |
||
aarch64-linuxLinux · arm64 |
vampire |
79b6d20e5559 | out/nix/store/jr2mj82yznprkr0al266lhbhaipiy4bg-vampire-5.1.0 |
||
x86_64-linuxLinux · x86-64 |
vampire |
79b6d20e5559 | out/nix/store/2xmxmz9i7q4ihvd2iqgnyyg9gddr7yjh-vampire-5.1.0 |
JSON: /v2/pkg?name=vampire · /v2/resolve?name=vampire&version=5.1.0