{"name":"metis-prover","version":"2.3.20160713","summary":"Automatic theorem prover for first-order logic with equality","systems":{"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"81094ccd6a0aa13ed176c815a60c4e25b49f072d"},"attr_path":"metis-prover"},"last_updated":"2022-08-03T16:04:48Z","outputs":[{"name":"out","path":"/nix/store/p0y7mb7syws5a9ygyd2qvyds954bg1pj-metis-prover-2.3.20160713","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"81094ccd6a0aa13ed176c815a60c4e25b49f072d"},"attr_path":"metis-prover"},"last_updated":"2022-08-03T16:04:48Z","outputs":[{"name":"out","path":"/nix/store/62jljmr0p9hqv6rh84f4765axlq2wiiv-metis-prover-2.3.20160713","default":true}]}}}