{"name":"ocamlPackages.z3","version":"4.8.17","summary":"Z3 Theorem Prover (OCaml API)","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"de1864217bfa9b5845f465e771e0ecb48b30e02d"},"attr_path":"ocamlPackages.z3"},"last_updated":"2024-12-23T21:10:33Z","outputs":[{"name":"out","path":"/nix/store/f95y82lwkd5hl2xi0h8h47p2rhspx4ff-ocaml5.2.1-z3-4.8.17","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"de1864217bfa9b5845f465e771e0ecb48b30e02d"},"attr_path":"ocamlPackages.z3"},"last_updated":"2024-12-23T21:10:33Z","outputs":[{"name":"out","path":"/nix/store/x114k50wrms3rpncfk5bb3zsyizgb254-ocaml5.2.1-z3-4.8.17","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"de1864217bfa9b5845f465e771e0ecb48b30e02d"},"attr_path":"ocamlPackages.z3"},"last_updated":"2024-12-23T21:10:33Z","outputs":[{"name":"out","path":"/nix/store/j6fnsvf4b5zd8s4l6sb67fs9wz9xck54-ocaml5.2.1-z3-4.8.17","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"de1864217bfa9b5845f465e771e0ecb48b30e02d"},"attr_path":"ocamlPackages.z3"},"last_updated":"2024-12-23T21:10:33Z","outputs":[{"name":"out","path":"/nix/store/81rca6fw2lh1h4b3bcm8yq3ir1rikiry-ocaml5.2.1-z3-4.8.17","default":true}]}}}