{"name":"ocamlPackages.z3","version":"4.15.7","summary":"Z3 Theorem Prover (OCaml API)","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"7d2ae6d8b8b697b5114a4249d0d958ee5f23d8fe"},"attr_path":"ocamlPackages.z3"},"last_updated":"2026-02-13T23:34:13Z","outputs":[{"name":"out","path":"/nix/store/q261qn6zm3d6xzn46x8aaz7r20yahb86-ocaml5.3.0-z3-4.15.7","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"7d2ae6d8b8b697b5114a4249d0d958ee5f23d8fe"},"attr_path":"ocamlPackages.z3"},"last_updated":"2026-02-13T23:34:13Z","outputs":[{"name":"out","path":"/nix/store/732a20dl3awwa28ggjgzldg04dac0lhp-ocaml5.3.0-z3-4.15.7","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"7d2ae6d8b8b697b5114a4249d0d958ee5f23d8fe"},"attr_path":"ocamlPackages.z3"},"last_updated":"2026-02-13T23:34:13Z","outputs":[{"name":"out","path":"/nix/store/805p1y4asllk3gipngk0l7fw9gj7hwl6-ocaml5.3.0-z3-4.15.7","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"7d2ae6d8b8b697b5114a4249d0d958ee5f23d8fe"},"attr_path":"ocamlPackages.z3"},"last_updated":"2026-02-13T23:34:13Z","outputs":[{"name":"out","path":"/nix/store/iddp6w8glxma3cahkjysri4i6b46qgnj-ocaml5.3.0-z3-4.15.7","default":true}]}}}