{"name":"ocamlPackages.z3","version":"4.13.4","summary":"Z3 Theorem Prover (OCaml API)","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"507b63021ada5fee621b6ca371c4fca9ca46f52c"},"attr_path":"ocamlPackages.z3"},"last_updated":"2025-04-23T03:04:08Z","outputs":[{"name":"out","path":"/nix/store/1rq7rd3bysjz298ly30a3n41r6ym7pzn-ocaml5.3.0-z3-4.13.4","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"507b63021ada5fee621b6ca371c4fca9ca46f52c"},"attr_path":"ocamlPackages.z3"},"last_updated":"2025-04-23T03:04:08Z","outputs":[{"name":"out","path":"/nix/store/g462alsz3glwy2fmmp3wa5zffx5f4f4c-ocaml5.3.0-z3-4.13.4","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"507b63021ada5fee621b6ca371c4fca9ca46f52c"},"attr_path":"ocamlPackages.z3"},"last_updated":"2025-04-23T03:04:08Z","outputs":[{"name":"out","path":"/nix/store/0vhl7jy9biv29qwhvbyxq2jc2ygdn5vb-ocaml5.3.0-z3-4.13.4","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"507b63021ada5fee621b6ca371c4fca9ca46f52c"},"attr_path":"ocamlPackages.z3"},"last_updated":"2025-04-23T03:04:08Z","outputs":[{"name":"out","path":"/nix/store/vh8np9yn5a124rqkinr0jsd3l8kjql9x-ocaml5.3.0-z3-4.13.4","default":true}]}}}