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