{"name":"vampire","summary":"Vampire Theorem Prover","description":"","homepage_url":"https://vprover.github.io/","license":"BSD-3-Clause","attribute_paths":["vampire"],"releases":[{"version":"5.1.0","last_updated":"2026-09-29T03:29:29Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"vampire","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/7yfij3p2zcr8blf10pxi6nsb9aviyl3d-vampire-5.1.0","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"vampire","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/nvnd8zyk0kr2h3x3q3vgsr3ss4avq117-vampire-5.1.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"vampire","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/drpvy9k4c124cp7bpll8biyq9qnd8i2z-vampire-5.1.0","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS (Apple Silicon only)","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"5.0.1","last_updated":"2026-09-13T01:58:51Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"vampire","commit_hash":"02f5696b0e6097e589076d886b317b83ff0437d7","date":"2026-09-13T01:58:51Z","outputs":[{"name":"out","path":"/nix/store/awc9ks1ic00xzi678xvaq2hjqq5vw5l7-vampire-5.0.1","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"vampire","commit_hash":"02f5696b0e6097e589076d886b317b83ff0437d7","date":"2026-09-13T01:58:51Z","outputs":[{"name":"out","path":"/nix/store/6znqbiga63rvi9x62z3vmx1qd2pafrli-vampire-5.0.1","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"vampire","commit_hash":"3d46470bb3030020f7e1361f33514854f5bfa86d","date":"2026-06-27T07:37:20Z","outputs":[{"name":"out","path":"/nix/store/19w3wic9yi4f49xkn4knb3iaj8bsvm6s-vampire-5.0.1","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"vampire","commit_hash":"02f5696b0e6097e589076d886b317b83ff0437d7","date":"2026-09-13T01:58:51Z","outputs":[{"name":"out","path":"/nix/store/jh304s4n4wivyswyzm25y2zv490yb6jy-vampire-5.0.1","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"5.0.0","last_updated":"2026-01-23T17:20:52Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"vampire","commit_hash":"a1bab9e494f5f4939442a57a58d0449a109593fe","date":"2026-01-23T17:20:52Z","outputs":[{"name":"out","path":"/nix/store/j4msp6if73a89bwjgpkfwiwnhc7vvv50-vampire-5.0.0","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"vampire","commit_hash":"a1bab9e494f5f4939442a57a58d0449a109593fe","date":"2026-01-23T17:20:52Z","outputs":[{"name":"out","path":"/nix/store/zh0pzx2n1yz217mpnaz4myl7n52nz6h6-vampire-5.0.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"vampire","commit_hash":"a1bab9e494f5f4939442a57a58d0449a109593fe","date":"2026-01-23T17:20:52Z","outputs":[{"name":"out","path":"/nix/store/ng0h966ys13byi687fdnryyvzy4b458l-vampire-5.0.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"vampire","commit_hash":"a1bab9e494f5f4939442a57a58d0449a109593fe","date":"2026-01-23T17:20:52Z","outputs":[{"name":"out","path":"/nix/store/kgky3xkag45x549d5qp3cj52db8d5lf5-vampire-5.0.0","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"4.9","last_updated":"2025-12-31T03:27:36Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"vampire","commit_hash":"f665af0cdb70ed27e1bd8f9fdfecaf451260fc55","date":"2025-12-31T03:27:36Z","outputs":[{"name":"out","path":"/nix/store/kvfzf9v1a2yagmggf5lnd0bfvk9jabcq-vampire-4.9","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"vampire","commit_hash":"f665af0cdb70ed27e1bd8f9fdfecaf451260fc55","date":"2025-12-31T03:27:36Z","outputs":[{"name":"out","path":"/nix/store/xmpf6l5wkj00s8bvpxxzcliiw7vkbcmz-vampire-4.9","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"vampire","commit_hash":"f665af0cdb70ed27e1bd8f9fdfecaf451260fc55","date":"2025-12-31T03:27:36Z","outputs":[{"name":"out","path":"/nix/store/mjva1336srs9dff86qniy3m6pmr5qqwr-vampire-4.9","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"vampire","commit_hash":"f665af0cdb70ed27e1bd8f9fdfecaf451260fc55","date":"2025-12-31T03:27:36Z","outputs":[{"name":"out","path":"/nix/store/dc5y93pzccfkhg5gi2wp7c0y1cgqd71h-vampire-4.9","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"4.6.1","last_updated":"2025-03-23T05:31:05Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"vampire","commit_hash":"dd613136ee91f67e5dba3f3f41ac99ae89c5406b","date":"2025-03-23T05:31:05Z","outputs":[{"name":"out","path":"/nix/store/zzbg8l8l6shgi0davl5zq48fvmg52zii-vampire-4.6.1","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"vampire","commit_hash":"dd613136ee91f67e5dba3f3f41ac99ae89c5406b","date":"2025-03-23T05:31:05Z","outputs":[{"name":"out","path":"/nix/store/x64qxzrn0rp5fa852vs8862rv2yjarqp-vampire-4.6.1","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"vampire","commit_hash":"0d534853a55b5d02a4ababa1d71921ce8f0aee4c","date":"2025-03-11T17:52:14Z","outputs":[{"name":"out","path":"/nix/store/44ryld1idb67dq3w9zm72n7rm6pgz0v4-vampire-4.6.1","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"vampire","commit_hash":"dd613136ee91f67e5dba3f3f41ac99ae89c5406b","date":"2025-03-23T05:31:05Z","outputs":[{"name":"out","path":"/nix/store/kfmnfgfh7ijmy7r0cwxnglr9n56vfa18-vampire-4.6.1","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"4.5.1","last_updated":"2022-01-01T05:55:45Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"vampire","commit_hash":"6f05cfdb1e78d36c0337516df674560e4b51c79b","date":"2022-01-01T05:55:45Z","outputs":[],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"vampire","commit_hash":"6f05cfdb1e78d36c0337516df674560e4b51c79b","date":"2022-01-01T05:55:45Z","outputs":[],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"vampire","commit_hash":"6f05cfdb1e78d36c0337516df674560e4b51c79b","date":"2022-01-01T05:55:45Z","outputs":[],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"4.4","last_updated":"2020-08-17T05:32:13Z","platforms":[{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"vampire","commit_hash":"078b9f8aa68089253a10dc9dda8b4dbdf4eaddfc","date":"2020-08-17T05:32:13Z","outputs":[],"broken":false,"insecure":false}],"platforms_summary":"Linux","outputs_summary":"","prerelease":false,"broken":false,"insecure":false}]}