{"name":"vampire","version":"4.4","summary":"The Vampire Theorem Prover","systems":{"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"078b9f8aa68089253a10dc9dda8b4dbdf4eaddfc"},"attr_path":"vampire"},"last_updated":"2020-08-17T05:32:13Z"}}}