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