{"name":"python313Packages.stp","version":"2.3.4","summary":"Simple Theorem Prover","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"0af3d1402dec3fc7e93635e511d1f7428c89cebf"},"attr_path":"python313Packages.stp"},"last_updated":"2026-09-05T11:43:56Z","outputs":[{"name":"dev","path":"/nix/store/c77z6l8k1gzbx6wh1jm1855idyc85bmm-stp-2.3.4-dev","default":true},{"name":"out","path":"/nix/store/gvmn4ninp6259dk8rzcc5d23wigqhr7w-stp-2.3.4","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"0af3d1402dec3fc7e93635e511d1f7428c89cebf"},"attr_path":"python313Packages.stp"},"last_updated":"2026-09-05T11:43:56Z","outputs":[{"name":"dev","path":"/nix/store/3sadb11dnnmyj1wddzfja36lrgj8smjf-stp-2.3.4-dev","default":true},{"name":"out","path":"/nix/store/654nvwys606xic4jk7fj3lrwng9iw4s6-stp-2.3.4","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"3d46470bb3030020f7e1361f33514854f5bfa86d"},"attr_path":"python313Packages.stp"},"last_updated":"2026-06-27T07:37:20Z","outputs":[{"name":"dev","path":"/nix/store/1scq4v0y35n6l57cv589wihhv6kdv2y8-stp-2.3.4-dev","default":true},{"name":"out","path":"/nix/store/an5x7hga2mbk9285bi4h37yylbn5ayy9-stp-2.3.4","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"0af3d1402dec3fc7e93635e511d1f7428c89cebf"},"attr_path":"python313Packages.stp"},"last_updated":"2026-09-05T11:43:56Z","outputs":[{"name":"dev","path":"/nix/store/2hlk2vs2skdg5gld7w9jpqldcy32jxiw-stp-2.3.4-dev","default":true},{"name":"out","path":"/nix/store/b1phw1pxza5jjswagrlfhrv3a4if2ci6-stp-2.3.4","default":true}]}}}