{"name":"ocamlPackages.z3","version":"5.1.0","summary":"Z3 Theorem Prover (OCaml API)","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"5adc50831c259f87faeb09ddf930d43597197473"},"attr_path":"ocamlPackages.z3"},"last_updated":"2026-10-20T14:23:57Z","outputs":[{"name":"out","path":"/nix/store/nm6446ig6kxidids5gyd0krw7jhfscyz-ocaml5.5.1-z3-5.1.0","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"5adc50831c259f87faeb09ddf930d43597197473"},"attr_path":"ocamlPackages.z3"},"last_updated":"2026-10-20T14:23:57Z","outputs":[{"name":"out","path":"/nix/store/1s0qyb4lrfy8yf8p25drlwvk4407d8if-ocaml5.5.1-z3-5.1.0","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"5adc50831c259f87faeb09ddf930d43597197473"},"attr_path":"ocamlPackages.z3"},"last_updated":"2026-10-20T14:23:57Z","outputs":[{"name":"out","path":"/nix/store/a8x22qx9n747jdpagmyfl5hnfr1v3jjh-ocaml5.5.1-z3-5.1.0","default":true}]}}}