{"name":"vampire","version":"4.9","summary":"Vampire Theorem Prover","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"f665af0cdb70ed27e1bd8f9fdfecaf451260fc55"},"attr_path":"vampire"},"last_updated":"2025-12-31T03:27:36Z","outputs":[{"name":"out","path":"/nix/store/kvfzf9v1a2yagmggf5lnd0bfvk9jabcq-vampire-4.9","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"f665af0cdb70ed27e1bd8f9fdfecaf451260fc55"},"attr_path":"vampire"},"last_updated":"2025-12-31T03:27:36Z","outputs":[{"name":"out","path":"/nix/store/xmpf6l5wkj00s8bvpxxzcliiw7vkbcmz-vampire-4.9","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"f665af0cdb70ed27e1bd8f9fdfecaf451260fc55"},"attr_path":"vampire"},"last_updated":"2025-12-31T03:27:36Z","outputs":[{"name":"out","path":"/nix/store/mjva1336srs9dff86qniy3m6pmr5qqwr-vampire-4.9","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"f665af0cdb70ed27e1bd8f9fdfecaf451260fc55"},"attr_path":"vampire"},"last_updated":"2025-12-31T03:27:36Z","outputs":[{"name":"out","path":"/nix/store/dc5y93pzccfkhg5gi2wp7c0y1cgqd71h-vampire-4.9","default":true}]}}}