{"name":"python313Packages.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":["python313Packages.model-checker"],"releases":[{"version":"1.3.9","last_updated":"2026-09-13T01:58:51Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"python313Packages.model-checker","commit_hash":"02f5696b0e6097e589076d886b317b83ff0437d7","date":"2026-09-13T01:58:51Z","outputs":[{"name":"out","path":"/nix/store/zzx6glid4isf0az15n15mbyvr1pgkgcc-python3.13-model-checker-1.3.9","default":true},{"name":"dist","path":"/nix/store/8qqiwhhxfdxwxmxpfjacgy98iqn50iky-python3.13-model-checker-1.3.9-dist"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"python313Packages.model-checker","commit_hash":"02f5696b0e6097e589076d886b317b83ff0437d7","date":"2026-09-13T01:58:51Z","outputs":[{"name":"out","path":"/nix/store/20wcxq5hx43krxakm50nhdw1islannqc-python3.13-model-checker-1.3.9","default":true},{"name":"dist","path":"/nix/store/3xbxzg665mkpvplk5vqi4bl109lvf8pk-python3.13-model-checker-1.3.9-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"python313Packages.model-checker","commit_hash":"02f5696b0e6097e589076d886b317b83ff0437d7","date":"2026-09-13T01:58:51Z","outputs":[{"name":"out","path":"/nix/store/vhj119820hgpga3cxdnqshcfcn66hbkp-python3.13-model-checker-1.3.9","default":true},{"name":"dist","path":"/nix/store/0vj50iybm0gyjpagppc9avclcyszj1jd-python3.13-model-checker-1.3.9-dist"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS (Apple Silicon only)","outputs_summary":"out, dist","prerelease":false,"broken":false,"insecure":false},{"version":"1.3.3","last_updated":"2026-08-27T07:16:00Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"python313Packages.model-checker","commit_hash":"c27cdad491a991b11ed731760aa2ef8db0cb0410","date":"2026-08-27T07:16:00Z","outputs":[{"name":"out","path":"/nix/store/2hxvfbzrl85hgxiz0qibhh5lg021zm5z-python3.13-model-checker-1.3.3","default":true},{"name":"dist","path":"/nix/store/v9ii55fk6cc1rk5r9dbgdhy6bgnd3j5j-python3.13-model-checker-1.3.3-dist"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"python313Packages.model-checker","commit_hash":"c27cdad491a991b11ed731760aa2ef8db0cb0410","date":"2026-08-27T07:16:00Z","outputs":[{"name":"out","path":"/nix/store/mpi61pblm1hpfygxfn73sxzd2wl1r1wy-python3.13-model-checker-1.3.3","default":true},{"name":"dist","path":"/nix/store/njsf7xb7g73zbr2whr1q1iick5b44dxr-python3.13-model-checker-1.3.3-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"python313Packages.model-checker","commit_hash":"c27cdad491a991b11ed731760aa2ef8db0cb0410","date":"2026-08-27T07:16:00Z","outputs":[{"name":"out","path":"/nix/store/hk9s67ji3fzizxykwghrdxvblj6svhh2-python3.13-model-checker-1.3.3","default":true},{"name":"dist","path":"/nix/store/2vvc6dx26kk21rryldx2x6b6rak2w2vc-python3.13-model-checker-1.3.3-dist"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS (Apple Silicon only)","outputs_summary":"out, dist","prerelease":false,"broken":false,"insecure":false},{"version":"1.2.12","last_updated":"2026-08-12T11:28:58Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"python313Packages.model-checker","commit_hash":"044bfe75bfe4c7bbe043dc17b5e42ea823b84a09","date":"2026-08-12T11:28:58Z","outputs":[{"name":"out","path":"/nix/store/pr97pwhw1axnpjj2ccv84wbq5lm7h68c-python3.13-model-checker-1.2.12","default":true},{"name":"dist","path":"/nix/store/nkp637d5r0garr6ak6i4qnbbkvyps1cs-python3.13-model-checker-1.2.12-dist"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"python313Packages.model-checker","commit_hash":"044bfe75bfe4c7bbe043dc17b5e42ea823b84a09","date":"2026-08-12T11:28:58Z","outputs":[{"name":"out","path":"/nix/store/sf4rwv0m4wba9csnxg95ykz1fpj66bn0-python3.13-model-checker-1.2.12","default":true},{"name":"dist","path":"/nix/store/6zwjnlsshhnjks140qyds7kffma6ncn3-python3.13-model-checker-1.2.12-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"python313Packages.model-checker","commit_hash":"3d46470bb3030020f7e1361f33514854f5bfa86d","date":"2026-06-27T07:37:20Z","outputs":[{"name":"out","path":"/nix/store/iw38ags3v4p0y58sk0379hg0yf0c646k-python3.13-model-checker-1.2.12","default":true},{"name":"dist","path":"/nix/store/256sz779fa2czh8z17fjil3i2av4izqv-python3.13-model-checker-1.2.12-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"python313Packages.model-checker","commit_hash":"044bfe75bfe4c7bbe043dc17b5e42ea823b84a09","date":"2026-08-12T11:28:58Z","outputs":[{"name":"out","path":"/nix/store/5vpjdqin8pa9cnr1ic33lmvxpj6gk9w0-python3.13-model-checker-1.2.12","default":true},{"name":"dist","path":"/nix/store/79gz39fjlhg85cmw12f3phmnjvsmzh72-python3.13-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":"python313Packages.model-checker","commit_hash":"01b6809f7f9d1183a2b3e081f0a1e6f8f415cb09","date":"2025-10-22T20:59:19Z","outputs":[{"name":"out","path":"/nix/store/80n83lsz1l1xnyc365bcdj4qjqf8qbkc-python3.13-model-checker-1.2.11","default":true},{"name":"dist","path":"/nix/store/5qc6dvzy8bfsj7l9cwvk6vnxy6xkpy8w-python3.13-model-checker-1.2.11-dist"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"python313Packages.model-checker","commit_hash":"01b6809f7f9d1183a2b3e081f0a1e6f8f415cb09","date":"2025-10-22T20:59:19Z","outputs":[{"name":"out","path":"/nix/store/8p350fcrxjlqjwrgq78pk6cgm32an63l-python3.13-model-checker-1.2.11","default":true},{"name":"dist","path":"/nix/store/bnzc7v61hivjqmnn2q1m1f5i0ddg38qq-python3.13-model-checker-1.2.11-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"python313Packages.model-checker","commit_hash":"01b6809f7f9d1183a2b3e081f0a1e6f8f415cb09","date":"2025-10-22T20:59:19Z","outputs":[{"name":"out","path":"/nix/store/13zvahh85ag81cqm0bksb0my4v346gpa-python3.13-model-checker-1.2.11","default":true},{"name":"dist","path":"/nix/store/rn3yk9rp9333mlajnjagpdfay61nncd6-python3.13-model-checker-1.2.11-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"python313Packages.model-checker","commit_hash":"01b6809f7f9d1183a2b3e081f0a1e6f8f415cb09","date":"2025-10-22T20:59:19Z","outputs":[{"name":"out","path":"/nix/store/jifdkp5cz2mhb9waim7ha76v53p7cnrk-python3.13-model-checker-1.2.11","default":true},{"name":"dist","path":"/nix/store/z9xgz5wpp1wsbcjjarxjqq1m05cv0fla-python3.13-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":"python313Packages.model-checker","commit_hash":"53614373268559d054c080d070cfc732dbe68ac4","date":"2025-09-26T19:57:07Z","outputs":[{"name":"out","path":"/nix/store/1hdgndzpjhznyfmrx6a6gq5ncp58b56f-python3.13-model-checker-1.2.10","default":true},{"name":"dist","path":"/nix/store/54jzfmjyh56262njr033sqlk16nl3589-python3.13-model-checker-1.2.10-dist"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"python313Packages.model-checker","commit_hash":"647e5c14cbd5067f44ac86b74f014962df460840","date":"2025-09-28T14:42:27Z","outputs":[{"name":"out","path":"/nix/store/sfkzw1zz52s11r3lg3kqx7gya9dkr8nn-python3.13-model-checker-1.2.10","default":true},{"name":"dist","path":"/nix/store/492b97ll4zj25jaac2yrc4k2dzdlfsma-python3.13-model-checker-1.2.10-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"python313Packages.model-checker","commit_hash":"e3a3b32cc234f1683258d36c6232f150d57df015","date":"2025-09-27T12:33:33Z","outputs":[{"name":"out","path":"/nix/store/zi2m6gjdfih6yca3qgmnjwii9dgrhb98-python3.13-model-checker-1.2.10","default":true},{"name":"dist","path":"/nix/store/85rvzzdcl9q08xg27db093h2hgi199m7-python3.13-model-checker-1.2.10-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"python313Packages.model-checker","commit_hash":"647e5c14cbd5067f44ac86b74f014962df460840","date":"2025-09-28T14:42:27Z","outputs":[{"name":"out","path":"/nix/store/qyq37hmz54c2whz1sxhkic9hwa8xxaxg-python3.13-model-checker-1.2.10","default":true},{"name":"dist","path":"/nix/store/3zdn0wr4xdv4nrpcqs8w57s1i0801gqf-python3.13-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":"python313Packages.model-checker","commit_hash":"f4b140d5b253f5e2a1ff4e5506edbf8267724bde","date":"2025-09-18T16:33:27Z","outputs":[{"name":"out","path":"/nix/store/ykq84awqlfj14gd96rwshhyhg7d04mb7-python3.13-model-checker-1.0.2","default":true},{"name":"dist","path":"/nix/store/7cnrv90jjj85r5nmvq9wllws63z81225-python3.13-model-checker-1.0.2-dist"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"python313Packages.model-checker","commit_hash":"f4b140d5b253f5e2a1ff4e5506edbf8267724bde","date":"2025-09-18T16:33:27Z","outputs":[{"name":"out","path":"/nix/store/sgkjzhljy4dwfggkxz986q2w3a45jnsb-python3.13-model-checker-1.0.2","default":true},{"name":"dist","path":"/nix/store/w9z2kg7gc0q51059asyn5g7ym8mba88a-python3.13-model-checker-1.0.2-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"python313Packages.model-checker","commit_hash":"f4b140d5b253f5e2a1ff4e5506edbf8267724bde","date":"2025-09-18T16:33:27Z","outputs":[{"name":"out","path":"/nix/store/0bk8iyzd69fcxmynpxfypy4chbwwwwvi-python3.13-model-checker-1.0.2","default":true},{"name":"dist","path":"/nix/store/xrwmbg7b5amddxgc9rm3rlbid589dz8n-python3.13-model-checker-1.0.2-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"python313Packages.model-checker","commit_hash":"f4b140d5b253f5e2a1ff4e5506edbf8267724bde","date":"2025-09-18T16:33:27Z","outputs":[{"name":"out","path":"/nix/store/08hrja5awhc4dssdiyfqw2wv4xjpzm1m-python3.13-model-checker-1.0.2","default":true},{"name":"dist","path":"/nix/store/asz83q9x7nl0cps510zznp9byaqqcdyi-python3.13-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":"python313Packages.model-checker","commit_hash":"a3f3e3f2c983e957af6b07a1db98bafd1f87b7a1","date":"2025-08-08T08:05:48Z","outputs":[{"name":"out","path":"/nix/store/hq3hdgpj3la6kdjpgw3kk7a9wjhxsimr-python3.13-model-checker-0.9.35","default":true},{"name":"dist","path":"/nix/store/di08mn71vj427x4qpnac83n81k8bwqvy-python3.13-model-checker-0.9.35-dist"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"python313Packages.model-checker","commit_hash":"a3f3e3f2c983e957af6b07a1db98bafd1f87b7a1","date":"2025-08-08T08:05:48Z","outputs":[{"name":"out","path":"/nix/store/qs89xnlyvdy5f18fjf9hhllmyyqzahs9-python3.13-model-checker-0.9.35","default":true},{"name":"dist","path":"/nix/store/kwb8v94fqcb1w93vn3fyzjm89n9c352s-python3.13-model-checker-0.9.35-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"python313Packages.model-checker","commit_hash":"a3f3e3f2c983e957af6b07a1db98bafd1f87b7a1","date":"2025-08-08T08:05:48Z","outputs":[{"name":"out","path":"/nix/store/lxfxlcgjyhabpa8094zg3yd8a3g1kffw-python3.13-model-checker-0.9.35","default":true},{"name":"dist","path":"/nix/store/jr8c3b20wglhmqxizn4kh36bwyy520v3-python3.13-model-checker-0.9.35-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"python313Packages.model-checker","commit_hash":"a3f3e3f2c983e957af6b07a1db98bafd1f87b7a1","date":"2025-08-08T08:05:48Z","outputs":[{"name":"out","path":"/nix/store/2fa42z9q67sw3y07ak6q4dqyqxsljsf4-python3.13-model-checker-0.9.35","default":true},{"name":"dist","path":"/nix/store/s5s65pdpximhspah99xbibpj0fv1wazx-python3.13-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":"python313Packages.model-checker","commit_hash":"648f70160c03151bc2121d179291337ad6bc564b","date":"2025-07-28T17:09:23Z","outputs":[{"name":"out","path":"/nix/store/f3pdkxvrasybjsxn9vvrrm7wbr15ddc8-python3.13-model-checker-0.9.31","default":true},{"name":"dist","path":"/nix/store/a4n4hxnwwddncbh7j5wdi1ll3adzl3bp-python3.13-model-checker-0.9.31-dist"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"python313Packages.model-checker","commit_hash":"648f70160c03151bc2121d179291337ad6bc564b","date":"2025-07-28T17:09:23Z","outputs":[{"name":"out","path":"/nix/store/19gl345w412nhrrms2nafk9gx5k6xhha-python3.13-model-checker-0.9.31","default":true},{"name":"dist","path":"/nix/store/7qk5701v1jrq3fmh2dyj0h56zrq48k43-python3.13-model-checker-0.9.31-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"python313Packages.model-checker","commit_hash":"648f70160c03151bc2121d179291337ad6bc564b","date":"2025-07-28T17:09:23Z","outputs":[{"name":"out","path":"/nix/store/y8abwbilsp342hh5yqnd2dqfa94qw7q2-python3.13-model-checker-0.9.31","default":true},{"name":"dist","path":"/nix/store/d5w0n893x9cyf6xzbbr49bhfi3g00prb-python3.13-model-checker-0.9.31-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"python313Packages.model-checker","commit_hash":"648f70160c03151bc2121d179291337ad6bc564b","date":"2025-07-28T17:09:23Z","outputs":[{"name":"out","path":"/nix/store/6h1257lqik46182yi22ldhqz189id19g-python3.13-model-checker-0.9.31","default":true},{"name":"dist","path":"/nix/store/k911n6c4g21ki8i1lnpdy7nibv05zmb8-python3.13-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":"python313Packages.model-checker","commit_hash":"b74a30dbc0a72e20df07d43109339f780b439291","date":"2025-07-24T15:00:16Z","outputs":[{"name":"out","path":"/nix/store/43ba3qzyj2jy4v5zakh9l3a282y2j1cd-python3.13-model-checker-0.9.28","default":true},{"name":"dist","path":"/nix/store/pz1p61havbwh8wj170kbklpwnx6s5fzn-python3.13-model-checker-0.9.28-dist"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"python313Packages.model-checker","commit_hash":"b74a30dbc0a72e20df07d43109339f780b439291","date":"2025-07-24T15:00:16Z","outputs":[{"name":"out","path":"/nix/store/sk9ys1amskms58mw7d1v0imsf58gv439-python3.13-model-checker-0.9.28","default":true},{"name":"dist","path":"/nix/store/iwx3i5lvc5zbw9vgg0zlp4zsmqfz4dad-python3.13-model-checker-0.9.28-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"python313Packages.model-checker","commit_hash":"b74a30dbc0a72e20df07d43109339f780b439291","date":"2025-07-24T15:00:16Z","outputs":[{"name":"out","path":"/nix/store/vn2wb1cx6zlfdhiwabr1kzlv1vmkziq2-python3.13-model-checker-0.9.28","default":true},{"name":"dist","path":"/nix/store/1scnxn0min08vl48knb61gb8mx8sv95n-python3.13-model-checker-0.9.28-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"python313Packages.model-checker","commit_hash":"b74a30dbc0a72e20df07d43109339f780b439291","date":"2025-07-24T15:00:16Z","outputs":[{"name":"out","path":"/nix/store/l7h2ka09jk0y9jyqqw2iy4rmjs98cmdn-python3.13-model-checker-0.9.28","default":true},{"name":"dist","path":"/nix/store/kc2kc90v298p4bql0qg8w06m5k8z5aq9-python3.13-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":"python313Packages.model-checker","commit_hash":"a421ac6595024edcfbb1ef950a3712b89161c359","date":"2025-07-13T22:45:35Z","outputs":[{"name":"out","path":"/nix/store/8cqrrmy4c5368rpkw5pwckgwgaaswihv-python3.13-model-checker-0.9.26","default":true},{"name":"dist","path":"/nix/store/nfn7c3a503h4l4asqjk606hh1mysyvia-python3.13-model-checker-0.9.26-dist"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"python313Packages.model-checker","commit_hash":"a421ac6595024edcfbb1ef950a3712b89161c359","date":"2025-07-13T22:45:35Z","outputs":[{"name":"out","path":"/nix/store/c8rw4gir45m6vq9zvpc8fff1wz6bfrsj-python3.13-model-checker-0.9.26","default":true},{"name":"dist","path":"/nix/store/7awl34sryggw18sira6i0hp823b19nnb-python3.13-model-checker-0.9.26-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"python313Packages.model-checker","commit_hash":"a421ac6595024edcfbb1ef950a3712b89161c359","date":"2025-07-13T22:45:35Z","outputs":[{"name":"out","path":"/nix/store/32anlydc5ys3kbwsphz0h9m3z3cjcpxi-python3.13-model-checker-0.9.26","default":true},{"name":"dist","path":"/nix/store/qnldw7sg8lqha4lc81lgxrmlh5c29h9k-python3.13-model-checker-0.9.26-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"python313Packages.model-checker","commit_hash":"a421ac6595024edcfbb1ef950a3712b89161c359","date":"2025-07-13T22:45:35Z","outputs":[{"name":"out","path":"/nix/store/br3rrp9603cxs0h8010mgfwidj0rgrkh-python3.13-model-checker-0.9.26","default":true},{"name":"dist","path":"/nix/store/85g15ivdk7qgmp0fcfj2j1fnkz0g7ihf-python3.13-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":"python313Packages.model-checker","commit_hash":"076e8c6678d8c54204abcb4b1b14c366835a58bb","date":"2025-06-20T02:24:11Z","outputs":[{"name":"out","path":"/nix/store/ip22wyczaicki48fazd2ywzihy4vl52v-python3.13-model-checker-0.9.21","default":true},{"name":"dist","path":"/nix/store/a9pgwkqdj9d1ij6rw70gxag7s1qd1rci-python3.13-model-checker-0.9.21-dist"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"python313Packages.model-checker","commit_hash":"076e8c6678d8c54204abcb4b1b14c366835a58bb","date":"2025-06-20T02:24:11Z","outputs":[{"name":"out","path":"/nix/store/57b722zs21d8xgjscy3arwf4jqri173j-python3.13-model-checker-0.9.21","default":true},{"name":"dist","path":"/nix/store/xy6rs3hgrcnlbsyk29gwlk3w4nfv9wif-python3.13-model-checker-0.9.21-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"python313Packages.model-checker","commit_hash":"076e8c6678d8c54204abcb4b1b14c366835a58bb","date":"2025-06-20T02:24:11Z","outputs":[{"name":"out","path":"/nix/store/w49vcd8rgp2slq9calgc11082xzawq7i-python3.13-model-checker-0.9.21","default":true},{"name":"dist","path":"/nix/store/084jssi9apvps8c6hpn0bmzqsa68nfz3-python3.13-model-checker-0.9.21-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"python313Packages.model-checker","commit_hash":"076e8c6678d8c54204abcb4b1b14c366835a58bb","date":"2025-06-20T02:24:11Z","outputs":[{"name":"out","path":"/nix/store/h986nn4q6nhxanmy68mxmkv1glx30ims-python3.13-model-checker-0.9.21","default":true},{"name":"dist","path":"/nix/store/3f9wpv3zny2vkbhi7w1zixh1n7fha7si-python3.13-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":"python313Packages.model-checker","commit_hash":"e314d5c6d3b3a0f40ec5bcbc007b0cbe412f48ae","date":"2025-05-22T13:30:28Z","outputs":[{"name":"out","path":"/nix/store/bbx39z0a0wllg52qzyds9n283jahwhll-python3.13-model-checker-0.9.20","default":true},{"name":"dist","path":"/nix/store/vj55y9vmh8ra7mvq5619capmwbc55y1g-python3.13-model-checker-0.9.20-dist"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"python313Packages.model-checker","commit_hash":"e314d5c6d3b3a0f40ec5bcbc007b0cbe412f48ae","date":"2025-05-22T13:30:28Z","outputs":[{"name":"out","path":"/nix/store/njqbx7d1p9q25gab8sjyn6ajpf487wwl-python3.13-model-checker-0.9.20","default":true},{"name":"dist","path":"/nix/store/c6q07bjvbbb7cp49izgs4f5kyq91a0bf-python3.13-model-checker-0.9.20-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"python313Packages.model-checker","commit_hash":"e314d5c6d3b3a0f40ec5bcbc007b0cbe412f48ae","date":"2025-05-22T13:30:28Z","outputs":[{"name":"out","path":"/nix/store/scbgnjpssdbihxifcmiyxwip9lzf8k17-python3.13-model-checker-0.9.20","default":true},{"name":"dist","path":"/nix/store/ipx5wk45lkmg3138jgvg0wrjmqn9rkj6-python3.13-model-checker-0.9.20-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"python313Packages.model-checker","commit_hash":"e314d5c6d3b3a0f40ec5bcbc007b0cbe412f48ae","date":"2025-05-22T13:30:28Z","outputs":[{"name":"out","path":"/nix/store/mlag3nyz2624dcjz1wr5b62r8z2s069b-python3.13-model-checker-0.9.20","default":true},{"name":"dist","path":"/nix/store/qqp4f326cc81bqllhc5gvpxslnv8k1k4-python3.13-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":"python313Packages.model-checker","commit_hash":"ed30f8aba41605e3ab46421e3dcb4510ec560ff8","date":"2025-05-04T22:22:57Z","outputs":[{"name":"out","path":"/nix/store/rf4jrnzqfaw13mr1f94c8fw6rbpb7qkq-python3.13-model-checker-0.9.19","default":true},{"name":"dist","path":"/nix/store/03rjjpa2z566mxy20rmg0fkg280i8r2v-python3.13-model-checker-0.9.19-dist"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"python313Packages.model-checker","commit_hash":"1cb1c02a6b1b7cf67e3d7731cbbf327a53da9679","date":"2025-05-06T08:06:31Z","outputs":[{"name":"out","path":"/nix/store/zchxxrzlwz9bwvldhvlvj4yribhfp2br-python3.13-model-checker-0.9.19","default":true},{"name":"dist","path":"/nix/store/c12gknczdcn4l2ni4z2cd6iyx946qykv-python3.13-model-checker-0.9.19-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"python313Packages.model-checker","commit_hash":"ed30f8aba41605e3ab46421e3dcb4510ec560ff8","date":"2025-05-04T22:22:57Z","outputs":[{"name":"out","path":"/nix/store/1inp6hccwz55vzx2hrkcgwa09f1bqvmz-python3.13-model-checker-0.9.19","default":true},{"name":"dist","path":"/nix/store/4bl15y6gnlqs78aii0ng6v98ia44lx7r-python3.13-model-checker-0.9.19-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"python313Packages.model-checker","commit_hash":"1cb1c02a6b1b7cf67e3d7731cbbf327a53da9679","date":"2025-05-06T08:06:31Z","outputs":[{"name":"out","path":"/nix/store/n5jb3dqyh199kv5rzf0fb0d1264fwngf-python3.13-model-checker-0.9.19","default":true},{"name":"dist","path":"/nix/store/a5lhkzdg62gicjql4vy7pwm02q0fr4y2-python3.13-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":"python313Packages.model-checker","commit_hash":"29335f23bea5e34228349ea739f31ee79e267b88","date":"2025-04-28T01:45:31Z","outputs":[{"name":"out","path":"/nix/store/hlmkcf1kv4bfvnmbgs0p0d0pfm79y8xj-python3.13-model-checker-0.9.18","default":true},{"name":"dist","path":"/nix/store/iij387i40rxlj8zfpz0825db2dknwx9d-python3.13-model-checker-0.9.18-dist"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"python313Packages.model-checker","commit_hash":"29335f23bea5e34228349ea739f31ee79e267b88","date":"2025-04-28T01:45:31Z","outputs":[{"name":"out","path":"/nix/store/cqs9mk7m924l5bs7j2npk02pznn6h6bp-python3.13-model-checker-0.9.18","default":true},{"name":"dist","path":"/nix/store/b20pin4dpa5j4wsv801xsr12inpngw47-python3.13-model-checker-0.9.18-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"python313Packages.model-checker","commit_hash":"29335f23bea5e34228349ea739f31ee79e267b88","date":"2025-04-28T01:45:31Z","outputs":[{"name":"out","path":"/nix/store/45bhf25h6zs34x0cfs2fbhfjvf96g7l5-python3.13-model-checker-0.9.18","default":true},{"name":"dist","path":"/nix/store/7c06wm7908ivq66s34y60q29xf51knsp-python3.13-model-checker-0.9.18-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"python313Packages.model-checker","commit_hash":"29335f23bea5e34228349ea739f31ee79e267b88","date":"2025-04-28T01:45:31Z","outputs":[{"name":"out","path":"/nix/store/v01zlnjimsq8hhaazvs2418ks6ampvzl-python3.13-model-checker-0.9.18","default":true},{"name":"dist","path":"/nix/store/gds9p8n884i95ipq8hidqzqb6w46ma66-python3.13-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":"python313Packages.model-checker","commit_hash":"507b63021ada5fee621b6ca371c4fca9ca46f52c","date":"2025-04-23T03:04:08Z","outputs":[{"name":"out","path":"/nix/store/ys0q2i3jxyq81hakj6146fdg5pa8a4b7-python3.13-model-checker-0.9.17","default":true},{"name":"dist","path":"/nix/store/996zc5kl5ksidqdw5l7ndrvidv5lddsp-python3.13-model-checker-0.9.17-dist"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"python313Packages.model-checker","commit_hash":"507b63021ada5fee621b6ca371c4fca9ca46f52c","date":"2025-04-23T03:04:08Z","outputs":[{"name":"out","path":"/nix/store/lwiqxz1cv6anxhfdb4x6w1nf054xmh4y-python3.13-model-checker-0.9.17","default":true},{"name":"dist","path":"/nix/store/gm1kyz7zaiacf5z2q9mbln2dh7x9fkms-python3.13-model-checker-0.9.17-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"python313Packages.model-checker","commit_hash":"507b63021ada5fee621b6ca371c4fca9ca46f52c","date":"2025-04-23T03:04:08Z","outputs":[{"name":"out","path":"/nix/store/dhrhhcd6v9jwgmszkiw65mikskqbi358-python3.13-model-checker-0.9.17","default":true},{"name":"dist","path":"/nix/store/y77y5zjksfc1aizlhivjkb7p7cbxykv4-python3.13-model-checker-0.9.17-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"python313Packages.model-checker","commit_hash":"507b63021ada5fee621b6ca371c4fca9ca46f52c","date":"2025-04-23T03:04:08Z","outputs":[{"name":"out","path":"/nix/store/f44v1djyc35y33rw9s145wrmj30b4xsv-python3.13-model-checker-0.9.17","default":true},{"name":"dist","path":"/nix/store/hpr4d2dimbbziln7bdlfmpsbqk1n98xb-python3.13-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":"python313Packages.model-checker","commit_hash":"ebe4301cbd8f81c4f8d3244b3632338bbeb6d49c","date":"2025-04-17T05:47:26Z","outputs":[{"name":"out","path":"/nix/store/8jbv0n5s7wbsqih8g0nmqf48iy7y7j7l-python3.13-model-checker-0.9.16","default":true},{"name":"dist","path":"/nix/store/gsw9j7a4681dlk9frxvb9h9k7b3skzg3-python3.13-model-checker-0.9.16-dist"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"python313Packages.model-checker","commit_hash":"ebe4301cbd8f81c4f8d3244b3632338bbeb6d49c","date":"2025-04-17T05:47:26Z","outputs":[{"name":"out","path":"/nix/store/3jkvscq4w02rnv0mbq6l83x0hr8hn3vm-python3.13-model-checker-0.9.16","default":true},{"name":"dist","path":"/nix/store/l5lpajv12082vssnwkfb58b64zabqcxz-python3.13-model-checker-0.9.16-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"python313Packages.model-checker","commit_hash":"ebe4301cbd8f81c4f8d3244b3632338bbeb6d49c","date":"2025-04-17T05:47:26Z","outputs":[{"name":"out","path":"/nix/store/8ma9x88ai95shp5y34jd6p5f2k5bm262-python3.13-model-checker-0.9.16","default":true},{"name":"dist","path":"/nix/store/1pz3xqa14gixv9438wmawka7pg7kx0lf-python3.13-model-checker-0.9.16-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"python313Packages.model-checker","commit_hash":"ebe4301cbd8f81c4f8d3244b3632338bbeb6d49c","date":"2025-04-17T05:47:26Z","outputs":[{"name":"out","path":"/nix/store/88mydg1y7gx7nlzajqak10c41yk3y671-python3.13-model-checker-0.9.16","default":true},{"name":"dist","path":"/nix/store/jq1m0ll3slvsinmr0qw356ijymgvgjp6-python3.13-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-12T23:59:46Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"python313Packages.model-checker","commit_hash":"f6db44a8daa59c40ae41ba6e5823ec77fe0d2124","date":"2025-04-12T23:59:46Z","outputs":[{"name":"out","path":"/nix/store/6aflhdbvsnr69x5n5c7p150hwlrnp368-python3.13-model-checker-0.8.25","default":true},{"name":"dist","path":"/nix/store/lnpglx171815lpiwacssmnypmn27y81c-python3.13-model-checker-0.8.25-dist"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"python313Packages.model-checker","commit_hash":"b2b0718004cc9a5bca610326de0a82e6ea75920b","date":"2025-04-08T07:10:31Z","outputs":[{"name":"out","path":"/nix/store/adnyf15xkwjcd2hqkhi3df050d2blbqc-python3.13-model-checker-0.8.25","default":true},{"name":"dist","path":"/nix/store/cdi82p116va3ww2pc8f4xca34f31ri1p-python3.13-model-checker-0.8.25-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"python313Packages.model-checker","commit_hash":"b2b0718004cc9a5bca610326de0a82e6ea75920b","date":"2025-04-08T07:10:31Z","outputs":[{"name":"out","path":"/nix/store/vzqb89yz7jibikc2ajd0ghjbzilyf23i-python3.13-model-checker-0.8.25","default":true},{"name":"dist","path":"/nix/store/chq097cgv99as35kgzxmj77plravabmb-python3.13-model-checker-0.8.25-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"python313Packages.model-checker","commit_hash":"b2b0718004cc9a5bca610326de0a82e6ea75920b","date":"2025-04-08T07:10:31Z","outputs":[{"name":"out","path":"/nix/store/9q3vw05lqcnqig6kzj5009dfh20s00xh-python3.13-model-checker-0.8.25","default":true},{"name":"dist","path":"/nix/store/fi1pry7s41hipihm1rqjv0rmyq6s9hxg-python3.13-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":"python313Packages.model-checker","commit_hash":"b0b4b5f8f621bfe213b8b21694bab52ecfcbf30b","date":"2025-04-07T13:23:10Z","outputs":[{"name":"out","path":"/nix/store/3vbi6lcq149irkr4kkh07613lbcghkyn-python3.13-model-checker-0.8.20","default":true},{"name":"dist","path":"/nix/store/260khwx62svf7y01jcld39b2rvidx0wz-python3.13-model-checker-0.8.20-dist"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"python313Packages.model-checker","commit_hash":"b0b4b5f8f621bfe213b8b21694bab52ecfcbf30b","date":"2025-04-07T13:23:10Z","outputs":[{"name":"out","path":"/nix/store/2rg4hxs3kaxkxw7d7mvmqyksqgvbsizv-python3.13-model-checker-0.8.20","default":true},{"name":"dist","path":"/nix/store/w8cg67kcs62b4q6p0jakxv1sa2khlnk2-python3.13-model-checker-0.8.20-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"python313Packages.model-checker","commit_hash":"b0b4b5f8f621bfe213b8b21694bab52ecfcbf30b","date":"2025-04-07T13:23:10Z","outputs":[{"name":"out","path":"/nix/store/02cfg5a0frmax48b0k4wr94r4xl8if4r-python3.13-model-checker-0.8.20","default":true},{"name":"dist","path":"/nix/store/gi80yj6qjyrgdhkdqd74pjksmla05f6c-python3.13-model-checker-0.8.20-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"python313Packages.model-checker","commit_hash":"b0b4b5f8f621bfe213b8b21694bab52ecfcbf30b","date":"2025-04-07T13:23:10Z","outputs":[{"name":"out","path":"/nix/store/va6h51y95if0aa1rscdhb46z4a1bq9d7-python3.13-model-checker-0.8.20","default":true},{"name":"dist","path":"/nix/store/a9fmwdpi5g53fyh77274v44s2825x35j-python3.13-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":"python313Packages.model-checker","commit_hash":"74a40410369a1c35ee09b8a1abee6f4acbedc059","date":"2025-04-06T11:26:02Z","outputs":[{"name":"out","path":"/nix/store/0xa2xkqmlz25w8x80dwbx9x5h4w4c7yg-python3.13-model-checker-0.8.19","default":true},{"name":"dist","path":"/nix/store/iq972zlxizqnwwapkzh1r0icq538frxr-python3.13-model-checker-0.8.19-dist"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"python313Packages.model-checker","commit_hash":"74a40410369a1c35ee09b8a1abee6f4acbedc059","date":"2025-04-06T11:26:02Z","outputs":[{"name":"out","path":"/nix/store/i20v8qgy9fbb65ndv957vjr0wd91h743-python3.13-model-checker-0.8.19","default":true},{"name":"dist","path":"/nix/store/40rnn55ap3ay6i2q851s29q96brrz9m0-python3.13-model-checker-0.8.19-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"python313Packages.model-checker","commit_hash":"74a40410369a1c35ee09b8a1abee6f4acbedc059","date":"2025-04-06T11:26:02Z","outputs":[{"name":"out","path":"/nix/store/s22cc95sf38jxd46z76nl0q629139ppi-python3.13-model-checker-0.8.19","default":true},{"name":"dist","path":"/nix/store/kdpsm1yl91mixk0qr9jbm20s8zr81rck-python3.13-model-checker-0.8.19-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"python313Packages.model-checker","commit_hash":"74a40410369a1c35ee09b8a1abee6f4acbedc059","date":"2025-04-06T11:26:02Z","outputs":[{"name":"out","path":"/nix/store/0m7v7gxz8mld8v7v9iy0rh0iywpip2k3-python3.13-model-checker-0.8.19","default":true},{"name":"dist","path":"/nix/store/nivi6ww528b72x27b0f6bq97lwryc6fk-python3.13-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":"python313Packages.model-checker","commit_hash":"2bfc080955153be0be56724be6fa5477b4eefabb","date":"2025-04-03T14:08:01Z","outputs":[{"name":"out","path":"/nix/store/65i5mg9qiigjr6r6fj869yzylllrp2lq-python3.13-model-checker-0.8.13","default":true},{"name":"dist","path":"/nix/store/6cnap3p0nm6k0y27714j3ya8n74kgdpc-python3.13-model-checker-0.8.13-dist"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"python313Packages.model-checker","commit_hash":"2bfc080955153be0be56724be6fa5477b4eefabb","date":"2025-04-03T14:08:01Z","outputs":[{"name":"out","path":"/nix/store/23zfdh3hcx0b94pc15q04jxdbr4xjjff-python3.13-model-checker-0.8.13","default":true},{"name":"dist","path":"/nix/store/pdbz9yrzkbkp0ikh697ihxanlpg6lrpd-python3.13-model-checker-0.8.13-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"python313Packages.model-checker","commit_hash":"2bfc080955153be0be56724be6fa5477b4eefabb","date":"2025-04-03T14:08:01Z","outputs":[{"name":"out","path":"/nix/store/3zjxghvf2bqk1ilsizar4c2pagfc156a-python3.13-model-checker-0.8.13","default":true},{"name":"dist","path":"/nix/store/ajx2z444aialxsx5j9f7mr8ykc5lrpjk-python3.13-model-checker-0.8.13-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"python313Packages.model-checker","commit_hash":"2bfc080955153be0be56724be6fa5477b4eefabb","date":"2025-04-03T14:08:01Z","outputs":[{"name":"out","path":"/nix/store/bhxkzv02d6lbpb5krknw6prxz94ps4ih-python3.13-model-checker-0.8.13","default":true},{"name":"dist","path":"/nix/store/03hyz57vi8vvgiww51c5kq1klgbs89f3-python3.13-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-04-01T20:08:20Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"python313Packages.model-checker","commit_hash":"8f76cf16b17c51ae0cc8e55488069593f6dab645","date":"2025-03-16T16:17:41Z","outputs":[{"name":"out","path":"/nix/store/5q2zdqarvf83wpsgjiagagbz02i7isnv-python3.13-model-checker-0.8.8","default":true},{"name":"dist","path":"/nix/store/6h8i2wr0cfs97g2mbjaxxzc7bazb6xdg-python3.13-model-checker-0.8.8-dist"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"python313Packages.model-checker","commit_hash":"b9d43b3fe5152d1dc5783a2ba865b2a03388b741","date":"2025-04-01T20:08:20Z","outputs":[{"name":"out","path":"/nix/store/ic56jjdd29jkghi21qj5hadc99j5mlb3-python3.13-model-checker-0.8.8","default":true},{"name":"dist","path":"/nix/store/7wdn2lqn0s7xai24v8484s04f684kaap-python3.13-model-checker-0.8.8-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"python313Packages.model-checker","commit_hash":"8f76cf16b17c51ae0cc8e55488069593f6dab645","date":"2025-03-16T16:17:41Z","outputs":[{"name":"out","path":"/nix/store/069nc6vpb1jfmwx1x50p04vln3mhv6nk-python3.13-model-checker-0.8.8","default":true},{"name":"dist","path":"/nix/store/4mcr50wzwdhl9q07k9z1id5n2ydbcdzd-python3.13-model-checker-0.8.8-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"python313Packages.model-checker","commit_hash":"dd613136ee91f67e5dba3f3f41ac99ae89c5406b","date":"2025-03-23T05:31:05Z","outputs":[{"name":"out","path":"/nix/store/049cjhnil5g5i1ynn4qvqdn4hmxh5mjl-python3.13-model-checker-0.8.8","default":true},{"name":"dist","path":"/nix/store/h4s48ckjc0h0iy18vzmccjr81vmj8ssl-python3.13-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":"python313Packages.model-checker","commit_hash":"0d534853a55b5d02a4ababa1d71921ce8f0aee4c","date":"2025-03-11T17:52:14Z","outputs":[{"name":"out","path":"/nix/store/h40s7909crwxwlprvlqlhzk0h98q6lya-python3.13-model-checker-0.8.6","default":true},{"name":"dist","path":"/nix/store/ibqnbfcvwkz81xfgwzw58lsfax4l4rrp-python3.13-model-checker-0.8.6-dist"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"python313Packages.model-checker","commit_hash":"0d534853a55b5d02a4ababa1d71921ce8f0aee4c","date":"2025-03-11T17:52:14Z","outputs":[{"name":"out","path":"/nix/store/smm4zyx9m74rcknvnn4dy9gpxdk9gyd1-python3.13-model-checker-0.8.6","default":true},{"name":"dist","path":"/nix/store/j1pxvqifssa85ljb8fmk4zgzvfyj8dxa-python3.13-model-checker-0.8.6-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"python313Packages.model-checker","commit_hash":"0d534853a55b5d02a4ababa1d71921ce8f0aee4c","date":"2025-03-11T17:52:14Z","outputs":[{"name":"out","path":"/nix/store/1n44fv4mv8q5ck8qfdbclh509xdcd2br-python3.13-model-checker-0.8.6","default":true},{"name":"dist","path":"/nix/store/s8cwm9496abszzkmki3ww22aax3ibhvz-python3.13-model-checker-0.8.6-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"python313Packages.model-checker","commit_hash":"95eacfb6d1accf8d59a9e570d26d04ad693d2ec3","date":"2025-03-03T13:00:40Z","outputs":[{"name":"out","path":"/nix/store/raridqgm30mcq5s1zn5j87mzdlj45hn5-python3.13-model-checker-0.8.6","default":true},{"name":"dist","path":"/nix/store/28rm5ff5c10lraknsp13200gk94i47cq-python3.13-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":"python313Packages.model-checker","commit_hash":"6c5c5f5100281f8f4ff23f13edd17d645178c87c","date":"2025-02-27T15:48:43Z","outputs":[{"name":"out","path":"/nix/store/5wypfr0divv5688inv29w9ky5rjbajzr-python3.13-model-checker-0.8.5","default":true},{"name":"dist","path":"/nix/store/xaj97zyfrllyg8a1iwbaf40nk1q3vdp8-python3.13-model-checker-0.8.5-dist"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"python313Packages.model-checker","commit_hash":"6c5c5f5100281f8f4ff23f13edd17d645178c87c","date":"2025-02-27T15:48:43Z","outputs":[{"name":"out","path":"/nix/store/ri23p0limbxlfr4l0xf0xw1k2j2wvy7a-python3.13-model-checker-0.8.5","default":true},{"name":"dist","path":"/nix/store/m7cydhdcc8zrpd7h8897p0qkwjgwvs5b-python3.13-model-checker-0.8.5-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"python313Packages.model-checker","commit_hash":"6c5c5f5100281f8f4ff23f13edd17d645178c87c","date":"2025-02-27T15:48:43Z","outputs":[{"name":"out","path":"/nix/store/8lm77l9nblcvclsn2i3as3ny57x1473x-python3.13-model-checker-0.8.5","default":true},{"name":"dist","path":"/nix/store/kcg0qy1xamrl2n25y88nb0n173bx4g9v-python3.13-model-checker-0.8.5-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"python313Packages.model-checker","commit_hash":"6c5c5f5100281f8f4ff23f13edd17d645178c87c","date":"2025-02-27T15:48:43Z","outputs":[{"name":"out","path":"/nix/store/a6g2nnc3ymsrhzwzj98d93svm6liaxwb-python3.13-model-checker-0.8.5","default":true},{"name":"dist","path":"/nix/store/8rc8dbm4ysp3nprahfs4mrp9yz1jcxz0-python3.13-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":"python313Packages.model-checker","commit_hash":"2d068ae5c6516b2d04562de50a58c682540de9bf","date":"2025-02-23T09:42:26Z","outputs":[{"name":"out","path":"/nix/store/5h5gw19jsg9mb96ckhnsv57i984sb60b-python3.13-model-checker-0.8.2","default":true},{"name":"dist","path":"/nix/store/9akmwmprx40fc1r7cykj9xk6jh196w89-python3.13-model-checker-0.8.2-dist"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"python313Packages.model-checker","commit_hash":"2d068ae5c6516b2d04562de50a58c682540de9bf","date":"2025-02-23T09:42:26Z","outputs":[{"name":"out","path":"/nix/store/qmh3vqljlrar4jhskaqi1jcwspyr1rf6-python3.13-model-checker-0.8.2","default":true},{"name":"dist","path":"/nix/store/9rrxjgpm6p3m3i4n7d9wl9x8mzh7pwq9-python3.13-model-checker-0.8.2-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"python313Packages.model-checker","commit_hash":"2d068ae5c6516b2d04562de50a58c682540de9bf","date":"2025-02-23T09:42:26Z","outputs":[{"name":"out","path":"/nix/store/01hhhg8ymq42vazm869hby1ys6rjj4ss-python3.13-model-checker-0.8.2","default":true},{"name":"dist","path":"/nix/store/lhlpi22sb0ibqm8nw0xkpqly51r6f090-python3.13-model-checker-0.8.2-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"python313Packages.model-checker","commit_hash":"2d068ae5c6516b2d04562de50a58c682540de9bf","date":"2025-02-23T09:42:26Z","outputs":[{"name":"out","path":"/nix/store/qgv7109r521lq2byk47ycn5818vslwjy-python3.13-model-checker-0.8.2","default":true},{"name":"dist","path":"/nix/store/30nxyylzrwl7s1jx9py8brvwnfvy972c-python3.13-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":"python313Packages.model-checker","commit_hash":"d98abf5cf5914e5e4e9d57205e3af55ca90ffc1d","date":"2025-02-07T11:26:36Z","outputs":[{"name":"out","path":"/nix/store/2gjvxlbd9q6m1z7sbdda6pr6nwksda4g-python3.13-model-checker-0.7.17","default":true},{"name":"dist","path":"/nix/store/qkh1g6xdsziwyj7cjzhgn2jc9hxyadip-python3.13-model-checker-0.7.17-dist"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"python313Packages.model-checker","commit_hash":"d98abf5cf5914e5e4e9d57205e3af55ca90ffc1d","date":"2025-02-07T11:26:36Z","outputs":[{"name":"out","path":"/nix/store/h72plgpx73g5ajm3f1v0l594idy2zmz6-python3.13-model-checker-0.7.17","default":true},{"name":"dist","path":"/nix/store/mj0nxi038d7cy9z6lry57kw6c3mkwcrw-python3.13-model-checker-0.7.17-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"python313Packages.model-checker","commit_hash":"d98abf5cf5914e5e4e9d57205e3af55ca90ffc1d","date":"2025-02-07T11:26:36Z","outputs":[{"name":"out","path":"/nix/store/zkj7wjhgap4bb94461n7w6shvmw0hr53-python3.13-model-checker-0.7.17","default":true},{"name":"dist","path":"/nix/store/vypchhidaq9z6nvv644mp75874gn1qbf-python3.13-model-checker-0.7.17-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"python313Packages.model-checker","commit_hash":"d98abf5cf5914e5e4e9d57205e3af55ca90ffc1d","date":"2025-02-07T11:26:36Z","outputs":[{"name":"out","path":"/nix/store/8rqcmll1ydkagzj9yjnllf7h3hn3yng2-python3.13-model-checker-0.7.17","default":true},{"name":"dist","path":"/nix/store/czmj5zp67j49d8d1wnhlb7nl1dkk0xda-python3.13-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":"python313Packages.model-checker","commit_hash":"50165c4f7eb48ce82bd063e1fb8047a0f515f8ce","date":"2025-01-19T08:16:51Z","outputs":[{"name":"out","path":"/nix/store/siqqn9ykypghl3qkcl0pwlp5msmi799f-python3.13-model-checker-0.7.3","default":true},{"name":"dist","path":"/nix/store/bcljvqijygkni0cd63lwkan1vd3xl0fl-python3.13-model-checker-0.7.3-dist"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"python313Packages.model-checker","commit_hash":"50165c4f7eb48ce82bd063e1fb8047a0f515f8ce","date":"2025-01-19T08:16:51Z","outputs":[{"name":"out","path":"/nix/store/dd5anrvzzxpqd2k4cr7z1k6jkka2vs3r-python3.13-model-checker-0.7.3","default":true},{"name":"dist","path":"/nix/store/v28hd6jf9z7172z5jyv869fm8mlw90y2-python3.13-model-checker-0.7.3-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"python313Packages.model-checker","commit_hash":"50165c4f7eb48ce82bd063e1fb8047a0f515f8ce","date":"2025-01-19T08:16:51Z","outputs":[{"name":"out","path":"/nix/store/2qykji5f41yk64wgiai4g8hd080vicgz-python3.13-model-checker-0.7.3","default":true},{"name":"dist","path":"/nix/store/y874h9v8df4fjdqi9gqijqfjyhxxi25d-python3.13-model-checker-0.7.3-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"python313Packages.model-checker","commit_hash":"50165c4f7eb48ce82bd063e1fb8047a0f515f8ce","date":"2025-01-19T08:16:51Z","outputs":[{"name":"out","path":"/nix/store/9dxs12gv8fc7bfk1y9aspfxlim4hciy8-python3.13-model-checker-0.7.3","default":true},{"name":"dist","path":"/nix/store/6n17jliy2730k577v0pc569yb3wp59n0-python3.13-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":"python313Packages.model-checker","commit_hash":"32af3611f6f05655ca166a0b1f47b57c762b5192","date":"2025-01-09T11:09:19Z","outputs":[{"name":"out","path":"/nix/store/44fy7q6yi02f452955d3n8d67271xw3x-python3.13-model-checker-0.7.1","default":true},{"name":"dist","path":"/nix/store/z4snm6n963ki2cnn6vij5kn3dpcqi0vs-python3.13-model-checker-0.7.1-dist"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"python313Packages.model-checker","commit_hash":"32af3611f6f05655ca166a0b1f47b57c762b5192","date":"2025-01-09T11:09:19Z","outputs":[{"name":"out","path":"/nix/store/zlgbmjdh96vd9mgip7jgcv33mfql559b-python3.13-model-checker-0.7.1","default":true},{"name":"dist","path":"/nix/store/lxjc7jipvz2dp26mf692lahy1vf0i5rl-python3.13-model-checker-0.7.1-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"python313Packages.model-checker","commit_hash":"32af3611f6f05655ca166a0b1f47b57c762b5192","date":"2025-01-09T11:09:19Z","outputs":[{"name":"out","path":"/nix/store/vzdd2pnzxc9slswdqqsv6yb7sbwklykz-python3.13-model-checker-0.7.1","default":true},{"name":"dist","path":"/nix/store/5lsgjaw688asfn53q0xdm6c99p9xz3kv-python3.13-model-checker-0.7.1-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"python313Packages.model-checker","commit_hash":"32af3611f6f05655ca166a0b1f47b57c762b5192","date":"2025-01-09T11:09:19Z","outputs":[{"name":"out","path":"/nix/store/kma6a17bw3dapx72y0pl8kfzjjxyg9ln-python3.13-model-checker-0.7.1","default":true},{"name":"dist","path":"/nix/store/ai7458argqvp7yq8q7r9l6kxnkrl6mzq-python3.13-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":"python313Packages.model-checker","commit_hash":"3df3c47c19dc90fec35359e89ffb52b34d2b0e94","date":"2025-01-06T03:40:18Z","outputs":[{"name":"out","path":"/nix/store/1jaaf5nb3zrpy4azyvd24sqx85h6zwia-python3.13-model-checker-0.6.10","default":true},{"name":"dist","path":"/nix/store/apgc4p1p3avgch766zyiwww5pvg2cl4c-python3.13-model-checker-0.6.10-dist"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"python313Packages.model-checker","commit_hash":"3df3c47c19dc90fec35359e89ffb52b34d2b0e94","date":"2025-01-06T03:40:18Z","outputs":[{"name":"out","path":"/nix/store/i5v2m5vjqzynqny4y2d4j5jf6w5qh87w-python3.13-model-checker-0.6.10","default":true},{"name":"dist","path":"/nix/store/ji8390vmcphi4n1xxdpaw7g3248qlhi8-python3.13-model-checker-0.6.10-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"python313Packages.model-checker","commit_hash":"3df3c47c19dc90fec35359e89ffb52b34d2b0e94","date":"2025-01-06T03:40:18Z","outputs":[{"name":"out","path":"/nix/store/c7hdbhwfkhwnl4zm0k4369saxkmbl3kw-python3.13-model-checker-0.6.10","default":true},{"name":"dist","path":"/nix/store/qhdvrn4mypadrk8hd52l9481b8zwr49x-python3.13-model-checker-0.6.10-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"python313Packages.model-checker","commit_hash":"3df3c47c19dc90fec35359e89ffb52b34d2b0e94","date":"2025-01-06T03:40:18Z","outputs":[{"name":"out","path":"/nix/store/00akapajk8cf8cxrabivz3wx8l5ldla3-python3.13-model-checker-0.6.10","default":true},{"name":"dist","path":"/nix/store/ynhavdpm1npxw9rnl6ns5vjsr422gvxf-python3.13-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":"python313Packages.model-checker","commit_hash":"9e09ce2d47c7700b877becef99ce7e27f15604dc","date":"2024-12-28T05:01:57Z","outputs":[{"name":"out","path":"/nix/store/knkwxrsgas95wvwwwyjsqwpwj5hjqqnr-python3.13-model-checker-0.6.6","default":true},{"name":"dist","path":"/nix/store/mb67z5v18x37q21wljf6mcv29avfqh7g-python3.13-model-checker-0.6.6-dist"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"python313Packages.model-checker","commit_hash":"9e09ce2d47c7700b877becef99ce7e27f15604dc","date":"2024-12-28T05:01:57Z","outputs":[{"name":"out","path":"/nix/store/c4riy23n4ycxd68a1ly8v8gmlfg1r2xn-python3.13-model-checker-0.6.6","default":true},{"name":"dist","path":"/nix/store/2akp5c5i34x0azc9djdfl9ig7iilxdlg-python3.13-model-checker-0.6.6-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"python313Packages.model-checker","commit_hash":"9e09ce2d47c7700b877becef99ce7e27f15604dc","date":"2024-12-28T05:01:57Z","outputs":[{"name":"out","path":"/nix/store/7z5cq1qlz5ybmgbgadzipsic6hg0q215-python3.13-model-checker-0.6.6","default":true},{"name":"dist","path":"/nix/store/aapp6gkiqyd13y3qysc04535qrm4hp61-python3.13-model-checker-0.6.6-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"python313Packages.model-checker","commit_hash":"9e09ce2d47c7700b877becef99ce7e27f15604dc","date":"2024-12-28T05:01:57Z","outputs":[{"name":"out","path":"/nix/store/87mr6r8w4751ahv18rn5xw82wnj7fw2f-python3.13-model-checker-0.6.6","default":true},{"name":"dist","path":"/nix/store/951msznyllhh3mxb7vf8ggpvhw9c0dw8-python3.13-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":"python313Packages.model-checker","commit_hash":"7cc0bff31a3a705d3ac4fdceb030a17239412210","date":"2024-12-27T03:08:00Z","outputs":[{"name":"out","path":"/nix/store/88c9dxwi9w0sb1m1kkyl6vdfxc7qs3bf-python3.13-model-checker-0.6.2","default":true},{"name":"dist","path":"/nix/store/qdb7vaahbhxks3wx7y5hs06i5q6lrfly-python3.13-model-checker-0.6.2-dist"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"python313Packages.model-checker","commit_hash":"7cc0bff31a3a705d3ac4fdceb030a17239412210","date":"2024-12-27T03:08:00Z","outputs":[{"name":"out","path":"/nix/store/adk2yx16q4abchxn2x7mp7cadsrs7qcl-python3.13-model-checker-0.6.2","default":true},{"name":"dist","path":"/nix/store/9xf597rabgvvchka41sw9sgj0dqnwr36-python3.13-model-checker-0.6.2-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"python313Packages.model-checker","commit_hash":"7cc0bff31a3a705d3ac4fdceb030a17239412210","date":"2024-12-27T03:08:00Z","outputs":[{"name":"out","path":"/nix/store/wyk6rddbhw299wfrzn0ln9fczgqgmcc6-python3.13-model-checker-0.6.2","default":true},{"name":"dist","path":"/nix/store/kg03bibs5ssflza552sgk3kc26j8x7jz-python3.13-model-checker-0.6.2-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"python313Packages.model-checker","commit_hash":"7cc0bff31a3a705d3ac4fdceb030a17239412210","date":"2024-12-27T03:08:00Z","outputs":[{"name":"out","path":"/nix/store/p02pm71kgrm0iz7i8xyjpaxxb8xsrs4n-python3.13-model-checker-0.6.2","default":true},{"name":"dist","path":"/nix/store/pysdl1bl2ww17qdn7b26bj12wi6m9b6c-python3.13-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":"python313Packages.model-checker","commit_hash":"de1864217bfa9b5845f465e771e0ecb48b30e02d","date":"2024-12-23T21:10:33Z","outputs":[{"name":"out","path":"/nix/store/6g2snb8mdf15jin7j43pc42csiwx93n9-python3.13-model-checker-0.5.6","default":true},{"name":"dist","path":"/nix/store/w5c9554qm5rdm4xcmkx1psz9xgzwj424-python3.13-model-checker-0.5.6-dist"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"python313Packages.model-checker","commit_hash":"de1864217bfa9b5845f465e771e0ecb48b30e02d","date":"2024-12-23T21:10:33Z","outputs":[{"name":"out","path":"/nix/store/sv2x19b2q9jx0ys55fnwqr0jfff3pkfr-python3.13-model-checker-0.5.6","default":true},{"name":"dist","path":"/nix/store/lwk2kbsd96xacv6sq7jvzsjl6dpaiqnd-python3.13-model-checker-0.5.6-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"python313Packages.model-checker","commit_hash":"de1864217bfa9b5845f465e771e0ecb48b30e02d","date":"2024-12-23T21:10:33Z","outputs":[{"name":"out","path":"/nix/store/6idb7s198pj1mwzc43iak1ajk0nq9qjg-python3.13-model-checker-0.5.6","default":true},{"name":"dist","path":"/nix/store/4qrfx1d05vsgjy55cgdmymjkxksx5crp-python3.13-model-checker-0.5.6-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"python313Packages.model-checker","commit_hash":"de1864217bfa9b5845f465e771e0ecb48b30e02d","date":"2024-12-23T21:10:33Z","outputs":[{"name":"out","path":"/nix/store/ck1824mlf6i73dsqp958534kk4kazr90-python3.13-model-checker-0.5.6","default":true},{"name":"dist","path":"/nix/store/y09psfjqwnacascg4l2vr5rph041a57g-python3.13-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}]}