{"name":"python312Packages.model-checker","summary":"Hyperintensional theorem prover for counterfactual conditionals and modal operators","description":"","homepage_url":"https://pypi.org/project/model-checker/","license":"MIT","attribute_paths":["python312Packages.model-checker"],"releases":[{"version":"1.2.12","last_updated":"2025-11-23T21:50:36Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"python312Packages.model-checker","commit_hash":"ee09932cedcef15aaf476f9343d1dea2cb77e261","date":"2025-11-23T21:50:36Z","outputs":[{"name":"out","path":"/nix/store/iq6y2hzizwb063ai1dzjh1qzkrxcpvyn-python3.12-model-checker-1.2.12","default":true},{"name":"dist","path":"/nix/store/k2vnrmxkykl242mzgjcis0qszcdrkdz9-python3.12-model-checker-1.2.12-dist"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"python312Packages.model-checker","commit_hash":"ee09932cedcef15aaf476f9343d1dea2cb77e261","date":"2025-11-23T21:50:36Z","outputs":[{"name":"out","path":"/nix/store/hryrhpx6h0fqls526fnrg539a5b0jibk-python3.12-model-checker-1.2.12","default":true},{"name":"dist","path":"/nix/store/l7gjmqgz3ky8cfbglkc30ncmkj4s1xg8-python3.12-model-checker-1.2.12-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"python312Packages.model-checker","commit_hash":"ee09932cedcef15aaf476f9343d1dea2cb77e261","date":"2025-11-23T21:50:36Z","outputs":[{"name":"out","path":"/nix/store/klh5mdk8xdh1kk1bqdm9zh5fmspikyq8-python3.12-model-checker-1.2.12","default":true},{"name":"dist","path":"/nix/store/irvdvhv9cq8j6j1wf9fjqq7wbd29ihc5-python3.12-model-checker-1.2.12-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"python312Packages.model-checker","commit_hash":"ee09932cedcef15aaf476f9343d1dea2cb77e261","date":"2025-11-23T21:50:36Z","outputs":[{"name":"out","path":"/nix/store/ck4rdiasdgaxk471cn3x1lk33x3hqjf4-python3.12-model-checker-1.2.12","default":true},{"name":"dist","path":"/nix/store/gxxi5vsm6rgmidbb8fiarx8lq75spz30-python3.12-model-checker-1.2.12-dist"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"out, dist","prerelease":false,"broken":false,"insecure":false},{"version":"1.2.11","last_updated":"2025-10-22T20:59:19Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"python312Packages.model-checker","commit_hash":"01b6809f7f9d1183a2b3e081f0a1e6f8f415cb09","date":"2025-10-22T20:59:19Z","outputs":[{"name":"out","path":"/nix/store/2v4298r08kzzw6rh1kzvkrj3v1vwxxmc-python3.12-model-checker-1.2.11","default":true},{"name":"dist","path":"/nix/store/2dm4mpdg1aajq51mggwvmrgllaihikac-python3.12-model-checker-1.2.11-dist"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"python312Packages.model-checker","commit_hash":"01b6809f7f9d1183a2b3e081f0a1e6f8f415cb09","date":"2025-10-22T20:59:19Z","outputs":[{"name":"out","path":"/nix/store/40dj6gyqb3841qngk74gndz602g2653v-python3.12-model-checker-1.2.11","default":true},{"name":"dist","path":"/nix/store/yvn8a9ndiyxsarijqbmzjri8h8g5s0py-python3.12-model-checker-1.2.11-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"python312Packages.model-checker","commit_hash":"01b6809f7f9d1183a2b3e081f0a1e6f8f415cb09","date":"2025-10-22T20:59:19Z","outputs":[{"name":"out","path":"/nix/store/nlyby6x1gpvnyiinvdnj9hwm9pp87cdk-python3.12-model-checker-1.2.11","default":true},{"name":"dist","path":"/nix/store/k8r0ckg80ldshb4730xfixwlmx3kbnn4-python3.12-model-checker-1.2.11-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"python312Packages.model-checker","commit_hash":"01b6809f7f9d1183a2b3e081f0a1e6f8f415cb09","date":"2025-10-22T20:59:19Z","outputs":[{"name":"out","path":"/nix/store/bf0s131a0lxa1mrgnhvrdqy9faq621j5-python3.12-model-checker-1.2.11","default":true},{"name":"dist","path":"/nix/store/al1r6z6j5xd10wwrp2vbr8kw71hasj0x-python3.12-model-checker-1.2.11-dist"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"out, dist","prerelease":false,"broken":false,"insecure":false},{"version":"1.2.10","last_updated":"2025-09-28T14:42:27Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"python312Packages.model-checker","commit_hash":"53614373268559d054c080d070cfc732dbe68ac4","date":"2025-09-26T19:57:07Z","outputs":[{"name":"out","path":"/nix/store/mklj273hbhnhsps6jpp6nw68x1gvczh9-python3.12-model-checker-1.2.10","default":true},{"name":"dist","path":"/nix/store/201dbdx3f7p0jg1yhglv5k1dq66mi1pb-python3.12-model-checker-1.2.10-dist"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"python312Packages.model-checker","commit_hash":"647e5c14cbd5067f44ac86b74f014962df460840","date":"2025-09-28T14:42:27Z","outputs":[{"name":"out","path":"/nix/store/71m4b3dpyg8467wdyfxlcmr1swaz90xv-python3.12-model-checker-1.2.10","default":true},{"name":"dist","path":"/nix/store/srwfvsx2zlll8zk6xnhvk83b18r0d720-python3.12-model-checker-1.2.10-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"python312Packages.model-checker","commit_hash":"e3a3b32cc234f1683258d36c6232f150d57df015","date":"2025-09-27T12:33:33Z","outputs":[{"name":"out","path":"/nix/store/kmc9g8jh4g5l3qz79s5sy93hrw83q1jl-python3.12-model-checker-1.2.10","default":true},{"name":"dist","path":"/nix/store/xw2viip9vl9cspp8zwl6cwwpvir7r2ks-python3.12-model-checker-1.2.10-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"python312Packages.model-checker","commit_hash":"647e5c14cbd5067f44ac86b74f014962df460840","date":"2025-09-28T14:42:27Z","outputs":[{"name":"out","path":"/nix/store/1x4w2z38smmmzindyzwy7vvh8kbkdmfj-python3.12-model-checker-1.2.10","default":true},{"name":"dist","path":"/nix/store/qc3mszsg5izj5vhpz1b7v0hizv78ibh6-python3.12-model-checker-1.2.10-dist"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"out, dist","prerelease":false,"broken":false,"insecure":false},{"version":"1.0.2","last_updated":"2025-09-18T16:33:27Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"python312Packages.model-checker","commit_hash":"f4b140d5b253f5e2a1ff4e5506edbf8267724bde","date":"2025-09-18T16:33:27Z","outputs":[{"name":"out","path":"/nix/store/ij09w21qs309zxgyxf07md0f4kfsn34i-python3.12-model-checker-1.0.2","default":true},{"name":"dist","path":"/nix/store/0r3zldjxk28nh52p6br6khwv1dxfpavc-python3.12-model-checker-1.0.2-dist"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"python312Packages.model-checker","commit_hash":"f4b140d5b253f5e2a1ff4e5506edbf8267724bde","date":"2025-09-18T16:33:27Z","outputs":[{"name":"out","path":"/nix/store/j0z3jm3rilw89zb8b87z401dh5hbc8nd-python3.12-model-checker-1.0.2","default":true},{"name":"dist","path":"/nix/store/7i30bbif0mkw8jpcq86gf4i13ibx6df0-python3.12-model-checker-1.0.2-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"python312Packages.model-checker","commit_hash":"f4b140d5b253f5e2a1ff4e5506edbf8267724bde","date":"2025-09-18T16:33:27Z","outputs":[{"name":"out","path":"/nix/store/jqjrfwy00y1830mc0qysbdfw1pbcm0ad-python3.12-model-checker-1.0.2","default":true},{"name":"dist","path":"/nix/store/hqnx724r4h21m3jk639ci60g6c99gmlj-python3.12-model-checker-1.0.2-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"python312Packages.model-checker","commit_hash":"f4b140d5b253f5e2a1ff4e5506edbf8267724bde","date":"2025-09-18T16:33:27Z","outputs":[{"name":"out","path":"/nix/store/971csmxxc1d54g9wwada7kvhw2nvgypg-python3.12-model-checker-1.0.2","default":true},{"name":"dist","path":"/nix/store/4jng1fcvmjp9danyf5isspawm49ws5mq-python3.12-model-checker-1.0.2-dist"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"out, dist","prerelease":false,"broken":false,"insecure":false},{"version":"0.9.35","last_updated":"2025-08-08T08:05:48Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"python312Packages.model-checker","commit_hash":"a3f3e3f2c983e957af6b07a1db98bafd1f87b7a1","date":"2025-08-08T08:05:48Z","outputs":[{"name":"out","path":"/nix/store/1a21jfhffv5mgb00yna39ys8imxlmxvz-python3.12-model-checker-0.9.35","default":true},{"name":"dist","path":"/nix/store/1r74s50m1rqf5hif74g2cnsfjilpy2lm-python3.12-model-checker-0.9.35-dist"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"python312Packages.model-checker","commit_hash":"a3f3e3f2c983e957af6b07a1db98bafd1f87b7a1","date":"2025-08-08T08:05:48Z","outputs":[{"name":"out","path":"/nix/store/qydyyh2g27fljl7k8jzgzqfamwbdz7rl-python3.12-model-checker-0.9.35","default":true},{"name":"dist","path":"/nix/store/r4i84g62g1xj7ir0ngqw7bdsba625k9v-python3.12-model-checker-0.9.35-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"python312Packages.model-checker","commit_hash":"a3f3e3f2c983e957af6b07a1db98bafd1f87b7a1","date":"2025-08-08T08:05:48Z","outputs":[{"name":"out","path":"/nix/store/lx72hg214n3qz5hrlrnq628nsvd2m4p6-python3.12-model-checker-0.9.35","default":true},{"name":"dist","path":"/nix/store/cd9r1r6fgayicrbyfq5j8x6w6pzgyqzw-python3.12-model-checker-0.9.35-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"python312Packages.model-checker","commit_hash":"a3f3e3f2c983e957af6b07a1db98bafd1f87b7a1","date":"2025-08-08T08:05:48Z","outputs":[{"name":"out","path":"/nix/store/0na1sk286qr2pkdhbk8xyv3ayjx0yjiw-python3.12-model-checker-0.9.35","default":true},{"name":"dist","path":"/nix/store/v503n16yc13s9lcxr0zjbh38jpplm317-python3.12-model-checker-0.9.35-dist"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"out, dist","prerelease":false,"broken":false,"insecure":false},{"version":"0.9.31","last_updated":"2025-07-28T17:09:23Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"python312Packages.model-checker","commit_hash":"648f70160c03151bc2121d179291337ad6bc564b","date":"2025-07-28T17:09:23Z","outputs":[{"name":"out","path":"/nix/store/2f2v6s48mq5vw4swrfmbin04plnr7q22-python3.12-model-checker-0.9.31","default":true},{"name":"dist","path":"/nix/store/wi6h2hhmnl2jglgibgc8l19vrmqb96da-python3.12-model-checker-0.9.31-dist"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"python312Packages.model-checker","commit_hash":"648f70160c03151bc2121d179291337ad6bc564b","date":"2025-07-28T17:09:23Z","outputs":[{"name":"out","path":"/nix/store/2rry025q7mz0aqdbly62mwf3fdkr5cf1-python3.12-model-checker-0.9.31","default":true},{"name":"dist","path":"/nix/store/wlyg0pwh6j0f1wq5q9cq103vidyhcb56-python3.12-model-checker-0.9.31-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"python312Packages.model-checker","commit_hash":"648f70160c03151bc2121d179291337ad6bc564b","date":"2025-07-28T17:09:23Z","outputs":[{"name":"out","path":"/nix/store/s4bdrxfffwjhw5fb509cscsqaafyhbm1-python3.12-model-checker-0.9.31","default":true},{"name":"dist","path":"/nix/store/2kxja1j2h7fpxkcc6zsqd3icj5y75gci-python3.12-model-checker-0.9.31-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"python312Packages.model-checker","commit_hash":"648f70160c03151bc2121d179291337ad6bc564b","date":"2025-07-28T17:09:23Z","outputs":[{"name":"out","path":"/nix/store/qaw1s65857zhxibs04272kw759rzbvbb-python3.12-model-checker-0.9.31","default":true},{"name":"dist","path":"/nix/store/z5fj4fc9jaqp30fnpvzcfjg0mbkp9i6g-python3.12-model-checker-0.9.31-dist"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"out, dist","prerelease":false,"broken":false,"insecure":false},{"version":"0.9.28","last_updated":"2025-07-24T15:00:16Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"python312Packages.model-checker","commit_hash":"b74a30dbc0a72e20df07d43109339f780b439291","date":"2025-07-24T15:00:16Z","outputs":[{"name":"out","path":"/nix/store/n2vy6lsk8fy54l4w106bcibhbvqd9cnk-python3.12-model-checker-0.9.28","default":true},{"name":"dist","path":"/nix/store/qypzn41q9slsh7bhqrdxnjnyp30rpml2-python3.12-model-checker-0.9.28-dist"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"python312Packages.model-checker","commit_hash":"b74a30dbc0a72e20df07d43109339f780b439291","date":"2025-07-24T15:00:16Z","outputs":[{"name":"out","path":"/nix/store/ncsgr2hp2fsjpkdq7iw2b21yjirbcgl4-python3.12-model-checker-0.9.28","default":true},{"name":"dist","path":"/nix/store/d46r8zchy388i7gdlvs9ywyj26iwnylm-python3.12-model-checker-0.9.28-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"python312Packages.model-checker","commit_hash":"b74a30dbc0a72e20df07d43109339f780b439291","date":"2025-07-24T15:00:16Z","outputs":[{"name":"out","path":"/nix/store/cjbfiq2r6spr4z3b12gxvda6446kmy3r-python3.12-model-checker-0.9.28","default":true},{"name":"dist","path":"/nix/store/0pkjdj4h5fh0qyh1da5p27v8x5k83z33-python3.12-model-checker-0.9.28-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"python312Packages.model-checker","commit_hash":"b74a30dbc0a72e20df07d43109339f780b439291","date":"2025-07-24T15:00:16Z","outputs":[{"name":"out","path":"/nix/store/npxpkbfhph55zqpzcyf9frn51z07xxch-python3.12-model-checker-0.9.28","default":true},{"name":"dist","path":"/nix/store/hpwvnk2zjn7mnsmwnrps1can71214r2n-python3.12-model-checker-0.9.28-dist"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"out, dist","prerelease":false,"broken":false,"insecure":false},{"version":"0.9.26","last_updated":"2025-07-13T22:45:35Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"python312Packages.model-checker","commit_hash":"a421ac6595024edcfbb1ef950a3712b89161c359","date":"2025-07-13T22:45:35Z","outputs":[{"name":"out","path":"/nix/store/wcahrmqisimkm2cr84wm5gc5mcdvh6bc-python3.12-model-checker-0.9.26","default":true},{"name":"dist","path":"/nix/store/8ab1h68jgg3r3iigbj6rps2lxbdbfadj-python3.12-model-checker-0.9.26-dist"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"python312Packages.model-checker","commit_hash":"a421ac6595024edcfbb1ef950a3712b89161c359","date":"2025-07-13T22:45:35Z","outputs":[{"name":"out","path":"/nix/store/0l9c1spvzk6xfrpb8b5ivlb42d6vx4rh-python3.12-model-checker-0.9.26","default":true},{"name":"dist","path":"/nix/store/fjs7sdw4nvmg0bqsdp2y4qfmxd9mglbm-python3.12-model-checker-0.9.26-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"python312Packages.model-checker","commit_hash":"a421ac6595024edcfbb1ef950a3712b89161c359","date":"2025-07-13T22:45:35Z","outputs":[{"name":"out","path":"/nix/store/8nlvigzm8k96d12niiz44rzq43cr2x0m-python3.12-model-checker-0.9.26","default":true},{"name":"dist","path":"/nix/store/fh4l70jysl19jmz1ihmdmd8p0dsyp2ys-python3.12-model-checker-0.9.26-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"python312Packages.model-checker","commit_hash":"a421ac6595024edcfbb1ef950a3712b89161c359","date":"2025-07-13T22:45:35Z","outputs":[{"name":"out","path":"/nix/store/2yx3bcwinymyvqfkfr0sdgckm3yzy832-python3.12-model-checker-0.9.26","default":true},{"name":"dist","path":"/nix/store/nazww5kygkw0zn4jmdc6dn73lslg62as-python3.12-model-checker-0.9.26-dist"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"out, dist","prerelease":false,"broken":false,"insecure":false},{"version":"0.9.21","last_updated":"2025-06-20T02:24:11Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"python312Packages.model-checker","commit_hash":"076e8c6678d8c54204abcb4b1b14c366835a58bb","date":"2025-06-20T02:24:11Z","outputs":[{"name":"out","path":"/nix/store/bnprcnxvxgqn736phk8lzkyh7cal139a-python3.12-model-checker-0.9.21","default":true},{"name":"dist","path":"/nix/store/i0wizcr844hf90q1m7x0g9lnkc75g4cw-python3.12-model-checker-0.9.21-dist"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"python312Packages.model-checker","commit_hash":"076e8c6678d8c54204abcb4b1b14c366835a58bb","date":"2025-06-20T02:24:11Z","outputs":[{"name":"out","path":"/nix/store/w12wq5wkdmd0zwwcpn2dsxlwb0aajlyc-python3.12-model-checker-0.9.21","default":true},{"name":"dist","path":"/nix/store/81lv71d3ac588x7mich369z50p8lss9p-python3.12-model-checker-0.9.21-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"python312Packages.model-checker","commit_hash":"076e8c6678d8c54204abcb4b1b14c366835a58bb","date":"2025-06-20T02:24:11Z","outputs":[{"name":"out","path":"/nix/store/ixmkfdd96nnanigky8r3gj35p3ax1hlx-python3.12-model-checker-0.9.21","default":true},{"name":"dist","path":"/nix/store/9camx2kq195wgj34izmk3nwn6sj43n77-python3.12-model-checker-0.9.21-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"python312Packages.model-checker","commit_hash":"076e8c6678d8c54204abcb4b1b14c366835a58bb","date":"2025-06-20T02:24:11Z","outputs":[{"name":"out","path":"/nix/store/4najjgizq1jx5w6anl81xrfs0r0kdsd9-python3.12-model-checker-0.9.21","default":true},{"name":"dist","path":"/nix/store/0s05wwx91m1w3c77cjwizpxpmlk2wqv5-python3.12-model-checker-0.9.21-dist"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"out, dist","prerelease":false,"broken":false,"insecure":false},{"version":"0.9.20","last_updated":"2025-05-22T13:30:28Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"python312Packages.model-checker","commit_hash":"e314d5c6d3b3a0f40ec5bcbc007b0cbe412f48ae","date":"2025-05-22T13:30:28Z","outputs":[{"name":"out","path":"/nix/store/bpbnryh9ciyp56nccip401rq7l9rb05z-python3.12-model-checker-0.9.20","default":true},{"name":"dist","path":"/nix/store/h7q11wqw40iiyp2k3784wa149510k8cy-python3.12-model-checker-0.9.20-dist"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"python312Packages.model-checker","commit_hash":"e314d5c6d3b3a0f40ec5bcbc007b0cbe412f48ae","date":"2025-05-22T13:30:28Z","outputs":[{"name":"out","path":"/nix/store/6xm1g82jialv3sv9mpbqn9f685hmjrdk-python3.12-model-checker-0.9.20","default":true},{"name":"dist","path":"/nix/store/jb5pfza6cyx7gw7a5p1wpd7w3pkfpm5l-python3.12-model-checker-0.9.20-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"python312Packages.model-checker","commit_hash":"e314d5c6d3b3a0f40ec5bcbc007b0cbe412f48ae","date":"2025-05-22T13:30:28Z","outputs":[{"name":"out","path":"/nix/store/i4wman58wdcyhdzcq0rfsqh7ynngjabm-python3.12-model-checker-0.9.20","default":true},{"name":"dist","path":"/nix/store/nfw2759ylxr73qrillw4mg2nzw5wswh1-python3.12-model-checker-0.9.20-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"python312Packages.model-checker","commit_hash":"e314d5c6d3b3a0f40ec5bcbc007b0cbe412f48ae","date":"2025-05-22T13:30:28Z","outputs":[{"name":"out","path":"/nix/store/s8amk75n9glsa9kacximikw1girkcghr-python3.12-model-checker-0.9.20","default":true},{"name":"dist","path":"/nix/store/5fmbqg59xk84w075a4ihvvl6d3fs5wmh-python3.12-model-checker-0.9.20-dist"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"out, dist","prerelease":false,"broken":false,"insecure":false},{"version":"0.9.19","last_updated":"2025-05-06T08:06:31Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"python312Packages.model-checker","commit_hash":"ed30f8aba41605e3ab46421e3dcb4510ec560ff8","date":"2025-05-04T22:22:57Z","outputs":[{"name":"out","path":"/nix/store/3jdhbf13hqriknzd6rnl0c3fn5l71y8a-python3.12-model-checker-0.9.19","default":true},{"name":"dist","path":"/nix/store/059qrlj2in92vg61qihn5mdgv1mdbxfb-python3.12-model-checker-0.9.19-dist"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"python312Packages.model-checker","commit_hash":"1cb1c02a6b1b7cf67e3d7731cbbf327a53da9679","date":"2025-05-06T08:06:31Z","outputs":[{"name":"out","path":"/nix/store/nkf4zwhn2srkzl605fx3p2xbfaig71rk-python3.12-model-checker-0.9.19","default":true},{"name":"dist","path":"/nix/store/q1b828x8mxs03pck8xl9gxc2nbrs932r-python3.12-model-checker-0.9.19-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"python312Packages.model-checker","commit_hash":"ed30f8aba41605e3ab46421e3dcb4510ec560ff8","date":"2025-05-04T22:22:57Z","outputs":[{"name":"out","path":"/nix/store/wcq1k4v7p2jf2203arrcb63zhfxhb2b8-python3.12-model-checker-0.9.19","default":true},{"name":"dist","path":"/nix/store/x7va8lls10kf4f3ycds21mii5515m8i4-python3.12-model-checker-0.9.19-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"python312Packages.model-checker","commit_hash":"1cb1c02a6b1b7cf67e3d7731cbbf327a53da9679","date":"2025-05-06T08:06:31Z","outputs":[{"name":"out","path":"/nix/store/gl62yz9di4f8880zh9gd1r79cnjmp1d9-python3.12-model-checker-0.9.19","default":true},{"name":"dist","path":"/nix/store/3nahhch0rbpifkc95am02fqqdn47ya0y-python3.12-model-checker-0.9.19-dist"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"out, dist","prerelease":false,"broken":false,"insecure":false},{"version":"0.9.18","last_updated":"2025-04-28T01:45:31Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"python312Packages.model-checker","commit_hash":"29335f23bea5e34228349ea739f31ee79e267b88","date":"2025-04-28T01:45:31Z","outputs":[{"name":"out","path":"/nix/store/2ymm2q9h4hisiz5yfvfd67kv9yhr5h9q-python3.12-model-checker-0.9.18","default":true},{"name":"dist","path":"/nix/store/2rbxlp89pkzwyw901jgdapns57v9z1d9-python3.12-model-checker-0.9.18-dist"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"python312Packages.model-checker","commit_hash":"29335f23bea5e34228349ea739f31ee79e267b88","date":"2025-04-28T01:45:31Z","outputs":[{"name":"out","path":"/nix/store/l4nrmpawddgjwwifdxz38zfa3kxn9yxv-python3.12-model-checker-0.9.18","default":true},{"name":"dist","path":"/nix/store/ky5m6xg41ziyrb53rzvkbx84k1rrvv48-python3.12-model-checker-0.9.18-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"python312Packages.model-checker","commit_hash":"29335f23bea5e34228349ea739f31ee79e267b88","date":"2025-04-28T01:45:31Z","outputs":[{"name":"out","path":"/nix/store/k185h1qnp3s1bz6qdvq1jvksf8sh4rs1-python3.12-model-checker-0.9.18","default":true},{"name":"dist","path":"/nix/store/s3i638vc65kzbbz0ykdj4d3f1jjm0fmw-python3.12-model-checker-0.9.18-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"python312Packages.model-checker","commit_hash":"29335f23bea5e34228349ea739f31ee79e267b88","date":"2025-04-28T01:45:31Z","outputs":[{"name":"out","path":"/nix/store/9a7s1mk44zxq295h6nvl5b21ki0xwc7h-python3.12-model-checker-0.9.18","default":true},{"name":"dist","path":"/nix/store/cx36kkzcja3cixzshjp92sb6nhpkjgvn-python3.12-model-checker-0.9.18-dist"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"out, dist","prerelease":false,"broken":false,"insecure":false},{"version":"0.9.17","last_updated":"2025-04-23T03:04:08Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"python312Packages.model-checker","commit_hash":"507b63021ada5fee621b6ca371c4fca9ca46f52c","date":"2025-04-23T03:04:08Z","outputs":[{"name":"out","path":"/nix/store/lh09hdlrs62axb1kmljpgqm3m9hmif9d-python3.12-model-checker-0.9.17","default":true},{"name":"dist","path":"/nix/store/4y1ba5h8j5hagkqq33czw6y3h8z2j4w6-python3.12-model-checker-0.9.17-dist"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"python312Packages.model-checker","commit_hash":"507b63021ada5fee621b6ca371c4fca9ca46f52c","date":"2025-04-23T03:04:08Z","outputs":[{"name":"out","path":"/nix/store/h4pqlmqand2q4hxdkf27lc4pbqd7s7i1-python3.12-model-checker-0.9.17","default":true},{"name":"dist","path":"/nix/store/663wxzjbixl2k67w3iz3gvjv8bm6h2v6-python3.12-model-checker-0.9.17-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"python312Packages.model-checker","commit_hash":"507b63021ada5fee621b6ca371c4fca9ca46f52c","date":"2025-04-23T03:04:08Z","outputs":[{"name":"out","path":"/nix/store/2pj3rs89q65sdvgcag66k1ln2zgi47ad-python3.12-model-checker-0.9.17","default":true},{"name":"dist","path":"/nix/store/a1r4div2gmcjgd2rrkax5b4k3j9g4075-python3.12-model-checker-0.9.17-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"python312Packages.model-checker","commit_hash":"507b63021ada5fee621b6ca371c4fca9ca46f52c","date":"2025-04-23T03:04:08Z","outputs":[{"name":"out","path":"/nix/store/5sa6a8dls25xl7hy6cnnqxnq1xz69nzs-python3.12-model-checker-0.9.17","default":true},{"name":"dist","path":"/nix/store/vykp8nxhb5c69dgqkpxnqrrmzmmshnpv-python3.12-model-checker-0.9.17-dist"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"out, dist","prerelease":false,"broken":false,"insecure":false},{"version":"0.9.16","last_updated":"2025-04-17T05:47:26Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"python312Packages.model-checker","commit_hash":"ebe4301cbd8f81c4f8d3244b3632338bbeb6d49c","date":"2025-04-17T05:47:26Z","outputs":[{"name":"out","path":"/nix/store/jzz7j1ns3dxvrh7483cw2mqkp2ncvv7k-python3.12-model-checker-0.9.16","default":true},{"name":"dist","path":"/nix/store/ww0lsx8i1i7v56i6401sxz2vz8kir3z0-python3.12-model-checker-0.9.16-dist"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"python312Packages.model-checker","commit_hash":"ebe4301cbd8f81c4f8d3244b3632338bbeb6d49c","date":"2025-04-17T05:47:26Z","outputs":[{"name":"out","path":"/nix/store/wa109r15146ii7an6qz8n8i64665xa5i-python3.12-model-checker-0.9.16","default":true},{"name":"dist","path":"/nix/store/hq1fi3mhxsqigb9fqqkw4ybbiv7ff316-python3.12-model-checker-0.9.16-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"python312Packages.model-checker","commit_hash":"ebe4301cbd8f81c4f8d3244b3632338bbeb6d49c","date":"2025-04-17T05:47:26Z","outputs":[{"name":"out","path":"/nix/store/i7b0ppr0i61yjj6kywb1zkarx0mhk5ys-python3.12-model-checker-0.9.16","default":true},{"name":"dist","path":"/nix/store/0g7qqyk6jblw1ls3xcgszgcalwvjkkvw-python3.12-model-checker-0.9.16-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"python312Packages.model-checker","commit_hash":"ebe4301cbd8f81c4f8d3244b3632338bbeb6d49c","date":"2025-04-17T05:47:26Z","outputs":[{"name":"out","path":"/nix/store/xf15f5sfj5kc9bqfya1l3jkbskamkggv-python3.12-model-checker-0.9.16","default":true},{"name":"dist","path":"/nix/store/kj30398h4ck9a9mkx7hhcyr00drpj070-python3.12-model-checker-0.9.16-dist"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"out, dist","prerelease":false,"broken":false,"insecure":false},{"version":"0.8.25","last_updated":"2025-04-08T07:10:31Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"python312Packages.model-checker","commit_hash":"b2b0718004cc9a5bca610326de0a82e6ea75920b","date":"2025-04-08T07:10:31Z","outputs":[{"name":"out","path":"/nix/store/yz1y7bvgmq5m4194aa46mw7fzdgnygn2-python3.12-model-checker-0.8.25","default":true},{"name":"dist","path":"/nix/store/7r35iyhdmqh2mkaqrfzrv8nk4ryppr0x-python3.12-model-checker-0.8.25-dist"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"python312Packages.model-checker","commit_hash":"b2b0718004cc9a5bca610326de0a82e6ea75920b","date":"2025-04-08T07:10:31Z","outputs":[{"name":"out","path":"/nix/store/rzf1x2khrwp1rlzrjscz9wivnfpwy81q-python3.12-model-checker-0.8.25","default":true},{"name":"dist","path":"/nix/store/kfhi9a365h74xf2jwp8c2n0kh2ngkhyk-python3.12-model-checker-0.8.25-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"python312Packages.model-checker","commit_hash":"b2b0718004cc9a5bca610326de0a82e6ea75920b","date":"2025-04-08T07:10:31Z","outputs":[{"name":"out","path":"/nix/store/wj60mblwfzygrnf36fxki8dmpa07r5vx-python3.12-model-checker-0.8.25","default":true},{"name":"dist","path":"/nix/store/q5m9d8p0fqa5syqarsnlrsghhihakz98-python3.12-model-checker-0.8.25-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"python312Packages.model-checker","commit_hash":"b2b0718004cc9a5bca610326de0a82e6ea75920b","date":"2025-04-08T07:10:31Z","outputs":[{"name":"out","path":"/nix/store/5v3l6p3s6gppf18i9362pd7y1s0g63h0-python3.12-model-checker-0.8.25","default":true},{"name":"dist","path":"/nix/store/js57dj2dy05wj1zfkgkskcfkgc3r6f2g-python3.12-model-checker-0.8.25-dist"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"out, dist","prerelease":false,"broken":false,"insecure":false},{"version":"0.8.20","last_updated":"2025-04-07T13:23:10Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"python312Packages.model-checker","commit_hash":"b0b4b5f8f621bfe213b8b21694bab52ecfcbf30b","date":"2025-04-07T13:23:10Z","outputs":[{"name":"out","path":"/nix/store/547ghvh2xwjsra63rakmzc080fk0ypc1-python3.12-model-checker-0.8.20","default":true},{"name":"dist","path":"/nix/store/z3nlhbgn2x0pp0cj8iddf2xc9i190cb4-python3.12-model-checker-0.8.20-dist"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"python312Packages.model-checker","commit_hash":"b0b4b5f8f621bfe213b8b21694bab52ecfcbf30b","date":"2025-04-07T13:23:10Z","outputs":[{"name":"out","path":"/nix/store/n0190i1jg0a8n6hmbj6zax798l4zf02n-python3.12-model-checker-0.8.20","default":true},{"name":"dist","path":"/nix/store/w610mbymxk8chi071sfry88dx5qsj1yh-python3.12-model-checker-0.8.20-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"python312Packages.model-checker","commit_hash":"b0b4b5f8f621bfe213b8b21694bab52ecfcbf30b","date":"2025-04-07T13:23:10Z","outputs":[{"name":"out","path":"/nix/store/a7mcziby516kw7dmq07zh3chqgxz64lb-python3.12-model-checker-0.8.20","default":true},{"name":"dist","path":"/nix/store/7h5jwdg74a6ahldsnn94yhqb1h2a7k0w-python3.12-model-checker-0.8.20-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"python312Packages.model-checker","commit_hash":"b0b4b5f8f621bfe213b8b21694bab52ecfcbf30b","date":"2025-04-07T13:23:10Z","outputs":[{"name":"out","path":"/nix/store/ggw0ai7nh04vya213jb802scg3lv56qi-python3.12-model-checker-0.8.20","default":true},{"name":"dist","path":"/nix/store/1fld5z8f1c2hpk46d4sjv025frb213mx-python3.12-model-checker-0.8.20-dist"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"out, dist","prerelease":false,"broken":false,"insecure":false},{"version":"0.8.19","last_updated":"2025-04-06T11:26:02Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"python312Packages.model-checker","commit_hash":"74a40410369a1c35ee09b8a1abee6f4acbedc059","date":"2025-04-06T11:26:02Z","outputs":[{"name":"out","path":"/nix/store/l6y1wiz9qkqz9li1df5sn23pn0czjdas-python3.12-model-checker-0.8.19","default":true},{"name":"dist","path":"/nix/store/1pcsi7yskc7ks0x405wqhm3r5mlkywqp-python3.12-model-checker-0.8.19-dist"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"python312Packages.model-checker","commit_hash":"74a40410369a1c35ee09b8a1abee6f4acbedc059","date":"2025-04-06T11:26:02Z","outputs":[{"name":"out","path":"/nix/store/mrysqaalcz2j37s1iks805p8xizzlsa1-python3.12-model-checker-0.8.19","default":true},{"name":"dist","path":"/nix/store/fj6l46qpkmfciwz3f7qa9hf3v5hv3jcs-python3.12-model-checker-0.8.19-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"python312Packages.model-checker","commit_hash":"74a40410369a1c35ee09b8a1abee6f4acbedc059","date":"2025-04-06T11:26:02Z","outputs":[{"name":"out","path":"/nix/store/34y0pxl25hj3l7l608yvxn6h75xl3f2h-python3.12-model-checker-0.8.19","default":true},{"name":"dist","path":"/nix/store/2ypr25qpcr3gi3bjvbkxb27d4zp4bqs6-python3.12-model-checker-0.8.19-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"python312Packages.model-checker","commit_hash":"74a40410369a1c35ee09b8a1abee6f4acbedc059","date":"2025-04-06T11:26:02Z","outputs":[{"name":"out","path":"/nix/store/4y0k20jbsymhw1idfi03zdpwhc6d58ai-python3.12-model-checker-0.8.19","default":true},{"name":"dist","path":"/nix/store/zxf73y7jyilldnky4dbsll96svmy3wxr-python3.12-model-checker-0.8.19-dist"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"out, dist","prerelease":false,"broken":false,"insecure":false},{"version":"0.8.13","last_updated":"2025-04-03T14:08:01Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"python312Packages.model-checker","commit_hash":"2bfc080955153be0be56724be6fa5477b4eefabb","date":"2025-04-03T14:08:01Z","outputs":[{"name":"out","path":"/nix/store/dicpsydvs3kwx6vll3l5vixyl23f99g7-python3.12-model-checker-0.8.13","default":true},{"name":"dist","path":"/nix/store/gxrn7cx2lid0k65yxf5qxh22v2a2jgzd-python3.12-model-checker-0.8.13-dist"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"python312Packages.model-checker","commit_hash":"2bfc080955153be0be56724be6fa5477b4eefabb","date":"2025-04-03T14:08:01Z","outputs":[{"name":"out","path":"/nix/store/jwzjw0grig8b7frhl2yd624snql2mm51-python3.12-model-checker-0.8.13","default":true},{"name":"dist","path":"/nix/store/qkpmsz08c1ysmsr4w52wl1pyncrk05rj-python3.12-model-checker-0.8.13-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"python312Packages.model-checker","commit_hash":"2bfc080955153be0be56724be6fa5477b4eefabb","date":"2025-04-03T14:08:01Z","outputs":[{"name":"out","path":"/nix/store/smv67vmq91gx27661fpkp6rh3xwdk7al-python3.12-model-checker-0.8.13","default":true},{"name":"dist","path":"/nix/store/rhzgp47018mwy2pm4mvi6cf8l9pgfaif-python3.12-model-checker-0.8.13-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"python312Packages.model-checker","commit_hash":"2bfc080955153be0be56724be6fa5477b4eefabb","date":"2025-04-03T14:08:01Z","outputs":[{"name":"out","path":"/nix/store/n28bls4pn9z9wrfmljv4942c3mlpgbhn-python3.12-model-checker-0.8.13","default":true},{"name":"dist","path":"/nix/store/br8304gkw9pr1lkm7li7al5ixwwypniw-python3.12-model-checker-0.8.13-dist"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"out, dist","prerelease":false,"broken":false,"insecure":false},{"version":"0.8.8","last_updated":"2025-03-26T18:47:43Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"python312Packages.model-checker","commit_hash":"dd613136ee91f67e5dba3f3f41ac99ae89c5406b","date":"2025-03-23T05:31:05Z","outputs":[{"name":"out","path":"/nix/store/fs8wjbb65bxwgqjfz68zazq8830c7yw0-python3.12-model-checker-0.8.8","default":true},{"name":"dist","path":"/nix/store/vbyd9i5w7vv5nyry403qy5skdmaqlll4-python3.12-model-checker-0.8.8-dist"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"python312Packages.model-checker","commit_hash":"dd613136ee91f67e5dba3f3f41ac99ae89c5406b","date":"2025-03-23T05:31:05Z","outputs":[{"name":"out","path":"/nix/store/z0xam4nv9dzvipl4k4b3q78wlny6s616-python3.12-model-checker-0.8.8","default":true},{"name":"dist","path":"/nix/store/h3346ahs0cijjlch5vzn2n7ajp0f5w78-python3.12-model-checker-0.8.8-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"python312Packages.model-checker","commit_hash":"8f76cf16b17c51ae0cc8e55488069593f6dab645","date":"2025-03-16T16:17:41Z","outputs":[{"name":"out","path":"/nix/store/k9kylw2dcjll6pws393bhzyhcn0fjjrk-python3.12-model-checker-0.8.8","default":true},{"name":"dist","path":"/nix/store/h2cqh0aiy3wv88kqs6y4d6in7nx9nkxl-python3.12-model-checker-0.8.8-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"python312Packages.model-checker","commit_hash":"bd3bac8bfb542dbde7ffffb6987a1a1f9d41699f","date":"2025-03-26T18:47:43Z","outputs":[{"name":"out","path":"/nix/store/jvb8vn7rjrckxcq7x8nkwl4znh32kmkn-python3.12-model-checker-0.8.8","default":true},{"name":"dist","path":"/nix/store/xjrzfamxfnp27azm0l4r5xcaaqan04f8-python3.12-model-checker-0.8.8-dist"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"out, dist","prerelease":false,"broken":false,"insecure":false},{"version":"0.8.6","last_updated":"2025-03-11T17:52:14Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"python312Packages.model-checker","commit_hash":"0d534853a55b5d02a4ababa1d71921ce8f0aee4c","date":"2025-03-11T17:52:14Z","outputs":[{"name":"out","path":"/nix/store/ywzkzjkbvb08r5sfsy13hwqigfzsc9hn-python3.12-model-checker-0.8.6","default":true},{"name":"dist","path":"/nix/store/966qr8f7gcpqyz2188p5z4kzdyg4w7hk-python3.12-model-checker-0.8.6-dist"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"python312Packages.model-checker","commit_hash":"0d534853a55b5d02a4ababa1d71921ce8f0aee4c","date":"2025-03-11T17:52:14Z","outputs":[{"name":"out","path":"/nix/store/4rfjcfi46xjali3113a727rlhf0vqvw9-python3.12-model-checker-0.8.6","default":true},{"name":"dist","path":"/nix/store/vhn4n2dg6yz8wg8rlk9qc2a5sacr4wpm-python3.12-model-checker-0.8.6-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"python312Packages.model-checker","commit_hash":"0d534853a55b5d02a4ababa1d71921ce8f0aee4c","date":"2025-03-11T17:52:14Z","outputs":[{"name":"out","path":"/nix/store/nwhigbfiwpgh94zv9qbas3fzqh66kgyb-python3.12-model-checker-0.8.6","default":true},{"name":"dist","path":"/nix/store/fg4wr8chl6a6cmc9lq7868z9w3h1zdq6-python3.12-model-checker-0.8.6-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"python312Packages.model-checker","commit_hash":"0d534853a55b5d02a4ababa1d71921ce8f0aee4c","date":"2025-03-11T17:52:14Z","outputs":[{"name":"out","path":"/nix/store/grq1j9p0mia6sa4djw2hvwdzg373inda-python3.12-model-checker-0.8.6","default":true},{"name":"dist","path":"/nix/store/s8ay83smp2r4j027n8s7w5gqn4impg5i-python3.12-model-checker-0.8.6-dist"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"out, dist","prerelease":false,"broken":false,"insecure":false},{"version":"0.8.5","last_updated":"2025-02-27T15:48:43Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"python312Packages.model-checker","commit_hash":"6c5c5f5100281f8f4ff23f13edd17d645178c87c","date":"2025-02-27T15:48:43Z","outputs":[{"name":"out","path":"/nix/store/a32wkgl5rd6mzy3i8mm7wx84p1zwh3sf-python3.12-model-checker-0.8.5","default":true},{"name":"dist","path":"/nix/store/rp0mj6dnkf3wgp946xrpmr2rfz42p9q8-python3.12-model-checker-0.8.5-dist"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"python312Packages.model-checker","commit_hash":"6c5c5f5100281f8f4ff23f13edd17d645178c87c","date":"2025-02-27T15:48:43Z","outputs":[{"name":"out","path":"/nix/store/jaqc7x03b8xxldg97jpzcdbx7wwhwyfc-python3.12-model-checker-0.8.5","default":true},{"name":"dist","path":"/nix/store/9riz89sy79w4l6a2kjyb6rq9vp9xbyfq-python3.12-model-checker-0.8.5-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"python312Packages.model-checker","commit_hash":"6c5c5f5100281f8f4ff23f13edd17d645178c87c","date":"2025-02-27T15:48:43Z","outputs":[{"name":"out","path":"/nix/store/vsnjqc1181diqkdkzfqzn4s3qrhwz0y2-python3.12-model-checker-0.8.5","default":true},{"name":"dist","path":"/nix/store/6q8q8vkffyddsx83czs3zlk4rqr0ba5i-python3.12-model-checker-0.8.5-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"python312Packages.model-checker","commit_hash":"6c5c5f5100281f8f4ff23f13edd17d645178c87c","date":"2025-02-27T15:48:43Z","outputs":[{"name":"out","path":"/nix/store/929v6fars3w7bdak2zmmasj5l2m11z5q-python3.12-model-checker-0.8.5","default":true},{"name":"dist","path":"/nix/store/a5zwcsdn6cy47vybjfak46m1n03gqj2j-python3.12-model-checker-0.8.5-dist"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"out, dist","prerelease":false,"broken":false,"insecure":false},{"version":"0.8.2","last_updated":"2025-02-23T09:42:26Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"python312Packages.model-checker","commit_hash":"2d068ae5c6516b2d04562de50a58c682540de9bf","date":"2025-02-23T09:42:26Z","outputs":[{"name":"out","path":"/nix/store/wi67lifpx102mwkgaf5lg2ds4kzy165g-python3.12-model-checker-0.8.2","default":true},{"name":"dist","path":"/nix/store/gkiccy3q6j5mqvi92rkvih90ndz2sf1r-python3.12-model-checker-0.8.2-dist"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"python312Packages.model-checker","commit_hash":"2d068ae5c6516b2d04562de50a58c682540de9bf","date":"2025-02-23T09:42:26Z","outputs":[{"name":"out","path":"/nix/store/k5ap8qf6i6qmyyjgrl438d678nf88fl9-python3.12-model-checker-0.8.2","default":true},{"name":"dist","path":"/nix/store/c3p9iiqaqg6z561c1zyj75gm0y2xdkyn-python3.12-model-checker-0.8.2-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"python312Packages.model-checker","commit_hash":"2d068ae5c6516b2d04562de50a58c682540de9bf","date":"2025-02-23T09:42:26Z","outputs":[{"name":"out","path":"/nix/store/naznhddwlz3vq6q2pzga5k2jzhwzfpqk-python3.12-model-checker-0.8.2","default":true},{"name":"dist","path":"/nix/store/ivzvmxb9prdrja0y3aq1z8yw18lcmr63-python3.12-model-checker-0.8.2-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"python312Packages.model-checker","commit_hash":"2d068ae5c6516b2d04562de50a58c682540de9bf","date":"2025-02-23T09:42:26Z","outputs":[{"name":"out","path":"/nix/store/jvfcs0sbc25z6b3771sqrxizy18fblzh-python3.12-model-checker-0.8.2","default":true},{"name":"dist","path":"/nix/store/b3pzri21n1k3n50qfk1wppzcg7g44ji6-python3.12-model-checker-0.8.2-dist"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"out, dist","prerelease":false,"broken":false,"insecure":false},{"version":"0.7.17","last_updated":"2025-02-07T11:26:36Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"python312Packages.model-checker","commit_hash":"d98abf5cf5914e5e4e9d57205e3af55ca90ffc1d","date":"2025-02-07T11:26:36Z","outputs":[{"name":"out","path":"/nix/store/qmdngk0dskdh18byh069xq6jjpnrfv68-python3.12-model-checker-0.7.17","default":true},{"name":"dist","path":"/nix/store/b864m4l83998bj74h9y9bb3azza8jk9n-python3.12-model-checker-0.7.17-dist"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"python312Packages.model-checker","commit_hash":"d98abf5cf5914e5e4e9d57205e3af55ca90ffc1d","date":"2025-02-07T11:26:36Z","outputs":[{"name":"out","path":"/nix/store/9d6cilr8hxd885zjamgwvkzv3kil4w8v-python3.12-model-checker-0.7.17","default":true},{"name":"dist","path":"/nix/store/gdi55h4mb8d1bji1jixk43kwnii1sbsc-python3.12-model-checker-0.7.17-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"python312Packages.model-checker","commit_hash":"d98abf5cf5914e5e4e9d57205e3af55ca90ffc1d","date":"2025-02-07T11:26:36Z","outputs":[{"name":"out","path":"/nix/store/a8sqfsspwkl0f343idxz68mfcl185xzx-python3.12-model-checker-0.7.17","default":true},{"name":"dist","path":"/nix/store/5qb5pww3kzb0kzsrd2x038qry27654ca-python3.12-model-checker-0.7.17-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"python312Packages.model-checker","commit_hash":"d98abf5cf5914e5e4e9d57205e3af55ca90ffc1d","date":"2025-02-07T11:26:36Z","outputs":[{"name":"out","path":"/nix/store/z8p19v685mz7gfmw2mysh9ic4668xpdx-python3.12-model-checker-0.7.17","default":true},{"name":"dist","path":"/nix/store/qk9wazdvmwlnn042i9x8bl2pfllyl6iq-python3.12-model-checker-0.7.17-dist"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"out, dist","prerelease":false,"broken":false,"insecure":false},{"version":"0.7.3","last_updated":"2025-01-19T08:16:51Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"python312Packages.model-checker","commit_hash":"50165c4f7eb48ce82bd063e1fb8047a0f515f8ce","date":"2025-01-19T08:16:51Z","outputs":[{"name":"out","path":"/nix/store/97pkpz9j1578j2w3x4fr4vvsi9zm1nxk-python3.12-model-checker-0.7.3","default":true},{"name":"dist","path":"/nix/store/sgvwzdnmlz6xnn2rg39igxvasgrvs89c-python3.12-model-checker-0.7.3-dist"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"python312Packages.model-checker","commit_hash":"50165c4f7eb48ce82bd063e1fb8047a0f515f8ce","date":"2025-01-19T08:16:51Z","outputs":[{"name":"out","path":"/nix/store/qmmfzjv78axjg7hpr4wfqlz10rmpgmf1-python3.12-model-checker-0.7.3","default":true},{"name":"dist","path":"/nix/store/3awx9a4kl1mgmiv089i5xfg7q0awqyzy-python3.12-model-checker-0.7.3-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"python312Packages.model-checker","commit_hash":"50165c4f7eb48ce82bd063e1fb8047a0f515f8ce","date":"2025-01-19T08:16:51Z","outputs":[{"name":"out","path":"/nix/store/pfc6qxp5mj7rnrpjvr0rsibcb41b2gqv-python3.12-model-checker-0.7.3","default":true},{"name":"dist","path":"/nix/store/rv0iwgxavwjw1k69mggrx3v34dkcypqf-python3.12-model-checker-0.7.3-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"python312Packages.model-checker","commit_hash":"50165c4f7eb48ce82bd063e1fb8047a0f515f8ce","date":"2025-01-19T08:16:51Z","outputs":[{"name":"out","path":"/nix/store/is7m3q4c6xq3n46a75s5vcp28az32r23-python3.12-model-checker-0.7.3","default":true},{"name":"dist","path":"/nix/store/gvnys6p8wl0255gbbqldd8nvbpn2ky9l-python3.12-model-checker-0.7.3-dist"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"out, dist","prerelease":false,"broken":false,"insecure":false},{"version":"0.7.1","last_updated":"2025-01-09T11:09:19Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"python312Packages.model-checker","commit_hash":"32af3611f6f05655ca166a0b1f47b57c762b5192","date":"2025-01-09T11:09:19Z","outputs":[{"name":"out","path":"/nix/store/rsbqa22nsjhiz4djg5zdsnqh6ivdpjib-python3.12-model-checker-0.7.1","default":true},{"name":"dist","path":"/nix/store/d52izwb2sqllvif20alwaswv6q2l2y2j-python3.12-model-checker-0.7.1-dist"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"python312Packages.model-checker","commit_hash":"32af3611f6f05655ca166a0b1f47b57c762b5192","date":"2025-01-09T11:09:19Z","outputs":[{"name":"out","path":"/nix/store/by6j49ffd115s3x35f3r695hkymyz6ff-python3.12-model-checker-0.7.1","default":true},{"name":"dist","path":"/nix/store/8qgp2z3pfvkpc9brfkng3ivzn81096ri-python3.12-model-checker-0.7.1-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"python312Packages.model-checker","commit_hash":"32af3611f6f05655ca166a0b1f47b57c762b5192","date":"2025-01-09T11:09:19Z","outputs":[{"name":"out","path":"/nix/store/800jr73l6fbx5s8bgvc2hx09mj59v85g-python3.12-model-checker-0.7.1","default":true},{"name":"dist","path":"/nix/store/rvy4qz1hxcsklfqxvrsa9vlk6zyk70wm-python3.12-model-checker-0.7.1-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"python312Packages.model-checker","commit_hash":"32af3611f6f05655ca166a0b1f47b57c762b5192","date":"2025-01-09T11:09:19Z","outputs":[{"name":"out","path":"/nix/store/irjz7y8zaq86brs7hc00wsqx7acypkk0-python3.12-model-checker-0.7.1","default":true},{"name":"dist","path":"/nix/store/qfy6kc275g1pdvmlbs7s5s8pildpp1mn-python3.12-model-checker-0.7.1-dist"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"out, dist","prerelease":false,"broken":false,"insecure":false},{"version":"0.6.10","last_updated":"2025-01-06T03:40:18Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"python312Packages.model-checker","commit_hash":"3df3c47c19dc90fec35359e89ffb52b34d2b0e94","date":"2025-01-06T03:40:18Z","outputs":[{"name":"out","path":"/nix/store/1w8r80lb2hrxkahp3casnwxhg28bvb6z-python3.12-model-checker-0.6.10","default":true},{"name":"dist","path":"/nix/store/kxckh69blbj8vwn4s8y7yw3wfmx9j5cz-python3.12-model-checker-0.6.10-dist"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"python312Packages.model-checker","commit_hash":"3df3c47c19dc90fec35359e89ffb52b34d2b0e94","date":"2025-01-06T03:40:18Z","outputs":[{"name":"out","path":"/nix/store/yzdrqwygshnbnbvrx4fmmq3ll4y3zq7i-python3.12-model-checker-0.6.10","default":true},{"name":"dist","path":"/nix/store/50rx7c684r6vhc4d41cvx3rf7q3ag18q-python3.12-model-checker-0.6.10-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"python312Packages.model-checker","commit_hash":"3df3c47c19dc90fec35359e89ffb52b34d2b0e94","date":"2025-01-06T03:40:18Z","outputs":[{"name":"out","path":"/nix/store/3b8ffwb3k4fy6k6g2aq6k7236pwqywsm-python3.12-model-checker-0.6.10","default":true},{"name":"dist","path":"/nix/store/3l2lgr2q0wprycsmrx1plcmzx9i5cczq-python3.12-model-checker-0.6.10-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"python312Packages.model-checker","commit_hash":"3df3c47c19dc90fec35359e89ffb52b34d2b0e94","date":"2025-01-06T03:40:18Z","outputs":[{"name":"out","path":"/nix/store/6y47gkzk8kgbxhakj8yxysmlm4lcmm8k-python3.12-model-checker-0.6.10","default":true},{"name":"dist","path":"/nix/store/i2hj2lsb6pna809g8rns81w3mc6xlf4b-python3.12-model-checker-0.6.10-dist"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"out, dist","prerelease":false,"broken":false,"insecure":false},{"version":"0.6.6","last_updated":"2024-12-28T05:01:57Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"python312Packages.model-checker","commit_hash":"9e09ce2d47c7700b877becef99ce7e27f15604dc","date":"2024-12-28T05:01:57Z","outputs":[{"name":"out","path":"/nix/store/37rhdj1n6i3mqh1bzhpqh0l8c8v0n16p-python3.12-model-checker-0.6.6","default":true},{"name":"dist","path":"/nix/store/2ykp603qv74x0bc9i8809z9qic07kxh8-python3.12-model-checker-0.6.6-dist"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"python312Packages.model-checker","commit_hash":"9e09ce2d47c7700b877becef99ce7e27f15604dc","date":"2024-12-28T05:01:57Z","outputs":[{"name":"out","path":"/nix/store/g9f5wwi6m26g6cgx0aiiy89avnac1cp1-python3.12-model-checker-0.6.6","default":true},{"name":"dist","path":"/nix/store/wlsa6sbjmdbxr10ldzqv9qzhvnqbllhd-python3.12-model-checker-0.6.6-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"python312Packages.model-checker","commit_hash":"9e09ce2d47c7700b877becef99ce7e27f15604dc","date":"2024-12-28T05:01:57Z","outputs":[{"name":"out","path":"/nix/store/pb7h71p3711hrcvwv8m56ywd0zc0lam2-python3.12-model-checker-0.6.6","default":true},{"name":"dist","path":"/nix/store/2g46gcv1ixdvrm8hi6bjbk3cxwxxajqh-python3.12-model-checker-0.6.6-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"python312Packages.model-checker","commit_hash":"9e09ce2d47c7700b877becef99ce7e27f15604dc","date":"2024-12-28T05:01:57Z","outputs":[{"name":"out","path":"/nix/store/k6call9y8rpigl5wc2k5nbzbwy6v9vqr-python3.12-model-checker-0.6.6","default":true},{"name":"dist","path":"/nix/store/cf60w606in5mz03ga7sf52hq7c20vxhb-python3.12-model-checker-0.6.6-dist"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"out, dist","prerelease":false,"broken":false,"insecure":false},{"version":"0.6.2","last_updated":"2024-12-27T03:08:00Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"python312Packages.model-checker","commit_hash":"7cc0bff31a3a705d3ac4fdceb030a17239412210","date":"2024-12-27T03:08:00Z","outputs":[{"name":"out","path":"/nix/store/rsyf2mvb9d9rdfakxj9q73y79zvnzv1f-python3.12-model-checker-0.6.2","default":true},{"name":"dist","path":"/nix/store/q63md67yp1ij9wspzzbpfqr62mi23pnn-python3.12-model-checker-0.6.2-dist"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"python312Packages.model-checker","commit_hash":"7cc0bff31a3a705d3ac4fdceb030a17239412210","date":"2024-12-27T03:08:00Z","outputs":[{"name":"out","path":"/nix/store/3a2ldipbsljcqjz2cn3bwfh6nzjc4c3y-python3.12-model-checker-0.6.2","default":true},{"name":"dist","path":"/nix/store/y7r4ds6m9gp8qm729f3zfhrq6pkqbyja-python3.12-model-checker-0.6.2-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"python312Packages.model-checker","commit_hash":"7cc0bff31a3a705d3ac4fdceb030a17239412210","date":"2024-12-27T03:08:00Z","outputs":[{"name":"out","path":"/nix/store/ds2lvjfv593vb0gv3y2n4yiixwvqb6mm-python3.12-model-checker-0.6.2","default":true},{"name":"dist","path":"/nix/store/jw3v7900jqvvr1iq5fl9ywkawfvi3iaj-python3.12-model-checker-0.6.2-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"python312Packages.model-checker","commit_hash":"7cc0bff31a3a705d3ac4fdceb030a17239412210","date":"2024-12-27T03:08:00Z","outputs":[{"name":"out","path":"/nix/store/zf3s5wki01gyyiz31pqvsdciq5zqff24-python3.12-model-checker-0.6.2","default":true},{"name":"dist","path":"/nix/store/rf8gxxnbahxd5gm7klbibib2fp0ypk1f-python3.12-model-checker-0.6.2-dist"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"out, dist","prerelease":false,"broken":false,"insecure":false},{"version":"0.5.6","last_updated":"2024-12-23T21:10:33Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"python312Packages.model-checker","commit_hash":"566e53c2ad750c84f6d31f9ccb9d00f823165550","date":"2024-12-03T12:40:06Z","outputs":[{"name":"out","path":"/nix/store/jdpl4mczbmkr9xxyjvi1vybpy4dkf4jw-python3.12-model-checker-0.5.6","default":true},{"name":"dist","path":"/nix/store/9sw5zlrn5058nan3nw9qjslri1c5xh9y-python3.12-model-checker-0.5.6-dist"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"python312Packages.model-checker","commit_hash":"de1864217bfa9b5845f465e771e0ecb48b30e02d","date":"2024-12-23T21:10:33Z","outputs":[{"name":"out","path":"/nix/store/6vazqzvpz9c90093pf9zkc3ay1w3fqw1-python3.12-model-checker-0.5.6","default":true},{"name":"dist","path":"/nix/store/88912dql88rsld717wfmw5y8nb2wbzma-python3.12-model-checker-0.5.6-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"python312Packages.model-checker","commit_hash":"566e53c2ad750c84f6d31f9ccb9d00f823165550","date":"2024-12-03T12:40:06Z","outputs":[{"name":"out","path":"/nix/store/ffik0lhazwq2d3qzka47c3pqfnhbj211-python3.12-model-checker-0.5.6","default":true},{"name":"dist","path":"/nix/store/a012k94giaf9s1k7vc43a463q34z32sn-python3.12-model-checker-0.5.6-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"python312Packages.model-checker","commit_hash":"de1864217bfa9b5845f465e771e0ecb48b30e02d","date":"2024-12-23T21:10:33Z","outputs":[{"name":"out","path":"/nix/store/g41yjg9rgkh2w71pwg84lazfl3c1g5x9-python3.12-model-checker-0.5.6","default":true},{"name":"dist","path":"/nix/store/2saxqzr3aqgaspj7i910v9dy95qvvxjs-python3.12-model-checker-0.5.6-dist"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"out, dist","prerelease":false,"broken":false,"insecure":false},{"version":"0.4.12","last_updated":"2024-08-14T11:41:26Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"python312Packages.model-checker","commit_hash":"0cb2fd7c59fed0cd82ef858cbcbdb552b9a33465","date":"2024-08-14T11:41:26Z","outputs":[{"name":"out","path":"/nix/store/ryk5iiabk3i4razx0jxk848mc7z4qg30-python3.12-model-checker-0.4.12","default":true},{"name":"dist","path":"/nix/store/1r9h0vpw1mvdqc6lyx4cz634a0aa25kk-python3.12-model-checker-0.4.12-dist"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"python312Packages.model-checker","commit_hash":"0cb2fd7c59fed0cd82ef858cbcbdb552b9a33465","date":"2024-08-14T11:41:26Z","outputs":[{"name":"out","path":"/nix/store/0d565il8xqgwgh3gqy1ad7glr917qsjw-python3.12-model-checker-0.4.12","default":true},{"name":"dist","path":"/nix/store/1dskly9cfpz0bba1096wi5yr6jj6dqah-python3.12-model-checker-0.4.12-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"python312Packages.model-checker","commit_hash":"0cb2fd7c59fed0cd82ef858cbcbdb552b9a33465","date":"2024-08-14T11:41:26Z","outputs":[{"name":"out","path":"/nix/store/rknr374h7xsqdxjxwkkvnd3d1nj2pb63-python3.12-model-checker-0.4.12","default":true},{"name":"dist","path":"/nix/store/3xc97dnk5lcbyl7c4b48paf9s9mfwzjy-python3.12-model-checker-0.4.12-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"python312Packages.model-checker","commit_hash":"0cb2fd7c59fed0cd82ef858cbcbdb552b9a33465","date":"2024-08-14T11:41:26Z","outputs":[{"name":"out","path":"/nix/store/kw7wjqq3k8c1gf44lpqxl7h98kqxbqxm-python3.12-model-checker-0.4.12","default":true},{"name":"dist","path":"/nix/store/7nwjvhrydwzxaxh0x5isvpbksn8d95rg-python3.12-model-checker-0.4.12-dist"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"out, dist","prerelease":false,"broken":false,"insecure":false},{"version":"0.4.9","last_updated":"2024-07-07T07:43:47Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"python312Packages.model-checker","commit_hash":"b60793b86201040d9dee019a05089a9150d08b5b","date":"2024-07-07T07:43:47Z","outputs":[{"name":"out","path":"/nix/store/90bbhlfy9lsd2p1fz4xaqnvm7v6v96l3-python3.12-model-checker-0.4.9","default":true},{"name":"dist","path":"/nix/store/fs5ixgn2rrq6kjy83z42im0az7y4q1s8-python3.12-model-checker-0.4.9-dist"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"python312Packages.model-checker","commit_hash":"b60793b86201040d9dee019a05089a9150d08b5b","date":"2024-07-07T07:43:47Z","outputs":[{"name":"out","path":"/nix/store/bn4dniih85sxcsggm601zw7lqcd93xhd-python3.12-model-checker-0.4.9","default":true},{"name":"dist","path":"/nix/store/zp89w47mpihgknm6m00vrmhbbgha0r3w-python3.12-model-checker-0.4.9-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"python312Packages.model-checker","commit_hash":"b60793b86201040d9dee019a05089a9150d08b5b","date":"2024-07-07T07:43:47Z","outputs":[{"name":"out","path":"/nix/store/s1grdyvq7rvrhhrrr75z8z0xb9ck69y0-python3.12-model-checker-0.4.9","default":true},{"name":"dist","path":"/nix/store/ls9q96zh30rm0s770ff4wbw5zp9lvc2y-python3.12-model-checker-0.4.9-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"python312Packages.model-checker","commit_hash":"b60793b86201040d9dee019a05089a9150d08b5b","date":"2024-07-07T07:43:47Z","outputs":[{"name":"out","path":"/nix/store/9qbvyb1fpp7gdfk0xhmvvjqmyai9rvk3-python3.12-model-checker-0.4.9","default":true},{"name":"dist","path":"/nix/store/vqahbsl44kxxd44h92rffbrk0ms4z130-python3.12-model-checker-0.4.9-dist"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"out, dist","prerelease":false,"broken":false,"insecure":false},{"version":"0.4.4","last_updated":"2024-06-11T07:07:27Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"python312Packages.model-checker","commit_hash":"f7207adcc68d9cafa29e3cd252a18743ae512c6a","date":"2024-06-11T07:07:27Z","outputs":[{"name":"out","path":"/nix/store/zqiapwnimaj0yv4vb621h6b2xwv96fbv-python3.12-model-checker-0.4.4","default":true},{"name":"dist","path":"/nix/store/38favi3bhdyvpn2b0crhbk583ldp4wh3-python3.12-model-checker-0.4.4-dist"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"python312Packages.model-checker","commit_hash":"f7207adcc68d9cafa29e3cd252a18743ae512c6a","date":"2024-06-11T07:07:27Z","outputs":[{"name":"out","path":"/nix/store/j13m9v9jlnz818n0dxb45knhlkcvrvcp-python3.12-model-checker-0.4.4","default":true},{"name":"dist","path":"/nix/store/9yfr2xyxjr4jm2gkrgknchr164qykh8b-python3.12-model-checker-0.4.4-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"python312Packages.model-checker","commit_hash":"f7207adcc68d9cafa29e3cd252a18743ae512c6a","date":"2024-06-11T07:07:27Z","outputs":[{"name":"out","path":"/nix/store/9f46chggjcxrlqrwsdnylna5f2364p54-python3.12-model-checker-0.4.4","default":true},{"name":"dist","path":"/nix/store/qzh1cdk6b9fa75jrzijcfnqfkrjpiqns-python3.12-model-checker-0.4.4-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"python312Packages.model-checker","commit_hash":"f7207adcc68d9cafa29e3cd252a18743ae512c6a","date":"2024-06-11T07:07:27Z","outputs":[{"name":"out","path":"/nix/store/515giycqhckj62glqklz5m1yh1vx1qh8-python3.12-model-checker-0.4.4","default":true},{"name":"dist","path":"/nix/store/g37iv5fgff7dzfn74i7p1bhanisc0xd4-python3.12-model-checker-0.4.4-dist"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"out, dist","prerelease":false,"broken":false,"insecure":false},{"version":"0.3.21","last_updated":"2024-05-23T08:10:22Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"python312Packages.model-checker","commit_hash":"3305b2b25e4ae4baee872346eae133cf6f611783","date":"2024-05-23T08:10:22Z","outputs":[{"name":"out","path":"/nix/store/xwbgysj9irz7zpk0dkpv96g4jr37bbms-python3.12-model-checker-0.3.21","default":true},{"name":"dist","path":"/nix/store/jm1jybas8z1ajb4jqzf9djlzpsccf7nz-python3.12-model-checker-0.3.21-dist"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"python312Packages.model-checker","commit_hash":"3305b2b25e4ae4baee872346eae133cf6f611783","date":"2024-05-23T08:10:22Z","outputs":[{"name":"out","path":"/nix/store/8h7xp269dnsx717qwycyjfyrzaghvnpa-python3.12-model-checker-0.3.21","default":true},{"name":"dist","path":"/nix/store/p6x6qrhlcm5ldfjgcr3pr5l2wc6v2lka-python3.12-model-checker-0.3.21-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"python312Packages.model-checker","commit_hash":"3305b2b25e4ae4baee872346eae133cf6f611783","date":"2024-05-23T08:10:22Z","outputs":[{"name":"out","path":"/nix/store/yq1hc570bnzhib625gz7zs6ja5cqa865-python3.12-model-checker-0.3.21","default":true},{"name":"dist","path":"/nix/store/64rc111njlh2p7c4vpwpg86scv8dq52i-python3.12-model-checker-0.3.21-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"python312Packages.model-checker","commit_hash":"3305b2b25e4ae4baee872346eae133cf6f611783","date":"2024-05-23T08:10:22Z","outputs":[{"name":"out","path":"/nix/store/3jw71ciav2giias66vin9j2c3275186w-python3.12-model-checker-0.3.21","default":true},{"name":"dist","path":"/nix/store/0gw7al6n13vclpw476k58a3pvgz5nsrb-python3.12-model-checker-0.3.21-dist"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"out, dist","prerelease":false,"broken":false,"insecure":false}]}