{"name":"python313Packages.stp","summary":"Simple Theorem Prover","description":"","homepage_url":"https://stp.github.io/","license":"MIT","attribute_paths":["python313Packages.stp"],"releases":[{"version":"2.4.1","last_updated":"2026-09-13T01:58:51Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"python313Packages.stp","commit_hash":"02f5696b0e6097e589076d886b317b83ff0437d7","date":"2026-09-13T01:58:51Z","outputs":[{"name":"dev","path":"/nix/store/2kak8grpx8kfgidqsyjxkd44hbmzvqfh-stp-2.4.1-dev","default":true},{"name":"out","path":"/nix/store/mf9clvq16vbd0n0bxg1bc2hbxgiw669v-stp-2.4.1","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"python313Packages.stp","commit_hash":"02f5696b0e6097e589076d886b317b83ff0437d7","date":"2026-09-13T01:58:51Z","outputs":[{"name":"dev","path":"/nix/store/md05mx8yzwmw56q6wlqgx9wc0pr4w3y3-stp-2.4.1-dev","default":true},{"name":"out","path":"/nix/store/s719baxvgx9vavdjrj5sihd147b404v8-stp-2.4.1","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"python313Packages.stp","commit_hash":"02f5696b0e6097e589076d886b317b83ff0437d7","date":"2026-09-13T01:58:51Z","outputs":[{"name":"dev","path":"/nix/store/s9yx9aaqdbyy8xi68rsk57jnswlpg9ll-stp-2.4.1-dev","default":true},{"name":"out","path":"/nix/store/kl8k1c6kqnhp60mb0v1wlgylyi5kmc3f-stp-2.4.1","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS (Apple Silicon only)","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2.3.4","last_updated":"2026-08-27T07:16:00Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"python313Packages.stp","commit_hash":"c27cdad491a991b11ed731760aa2ef8db0cb0410","date":"2026-08-27T07:16:00Z","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}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"python313Packages.stp","commit_hash":"c27cdad491a991b11ed731760aa2ef8db0cb0410","date":"2026-08-27T07:16:00Z","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}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"python313Packages.stp","commit_hash":"3d46470bb3030020f7e1361f33514854f5bfa86d","date":"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}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"python313Packages.stp","commit_hash":"c27cdad491a991b11ed731760aa2ef8db0cb0410","date":"2026-08-27T07:16:00Z","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}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false}]}