{"name":"python313Packages.model-checker","version":"0.8.25","summary":"Hyperintensional theorem prover for counterfactual conditionals and modal operators","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"f6db44a8daa59c40ae41ba6e5823ec77fe0d2124"},"attr_path":"python313Packages.model-checker"},"last_updated":"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"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"b2b0718004cc9a5bca610326de0a82e6ea75920b"},"attr_path":"python313Packages.model-checker"},"last_updated":"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"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"b2b0718004cc9a5bca610326de0a82e6ea75920b"},"attr_path":"python313Packages.model-checker"},"last_updated":"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"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"b2b0718004cc9a5bca610326de0a82e6ea75920b"},"attr_path":"python313Packages.model-checker"},"last_updated":"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"}]}}}