{"name":"ocamlPackages.z3","version":"4.14.1","summary":"Z3 Theorem Prover (OCaml API)","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"12a55407652e04dcf2309436eb06fef0d3713ef3"},"attr_path":"ocamlPackages.z3"},"last_updated":"2025-05-16T20:19:48Z","outputs":[{"name":"out","path":"/nix/store/pv5ph1jzfxlah271qwvnmdin3kdf925m-ocaml5.3.0-z3-4.14.1","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"12a55407652e04dcf2309436eb06fef0d3713ef3"},"attr_path":"ocamlPackages.z3"},"last_updated":"2025-05-16T20:19:48Z","outputs":[{"name":"out","path":"/nix/store/8j2l0fsq9vd6azf8g17fk5hk26jb7hrc-ocaml5.3.0-z3-4.14.1","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"12a55407652e04dcf2309436eb06fef0d3713ef3"},"attr_path":"ocamlPackages.z3"},"last_updated":"2025-05-16T20:19:48Z","outputs":[{"name":"out","path":"/nix/store/31gp68cn7s5d3ji542gkvhvl7wawbfsy-ocaml5.3.0-z3-4.14.1","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"12a55407652e04dcf2309436eb06fef0d3713ef3"},"attr_path":"ocamlPackages.z3"},"last_updated":"2025-05-16T20:19:48Z","outputs":[{"name":"out","path":"/nix/store/lqlkvpll2bnbz24w88j027982n4jg8vf-ocaml5.3.0-z3-4.14.1","default":true}]}}}