{"name":"ocamlPackages.smtml","version":"0.12.0","summary":"SMT solver frontend for OCaml","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"de69d2ba6c70e747320df9c096523b623d3a4c35"},"attr_path":"ocamlPackages.smtml"},"last_updated":"2025-10-26T01:09:48Z","outputs":[{"name":"out","path":"/nix/store/p9hqlxici2s9sd3h7h5sz3ryxg6jcg2a-ocaml5.3.0-smtml-0.12.0","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"de69d2ba6c70e747320df9c096523b623d3a4c35"},"attr_path":"ocamlPackages.smtml"},"last_updated":"2025-10-26T01:09:48Z","outputs":[{"name":"out","path":"/nix/store/5n0cvfr337pdpifjwyjsxmh5bb91kmqx-ocaml5.3.0-smtml-0.12.0","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"de69d2ba6c70e747320df9c096523b623d3a4c35"},"attr_path":"ocamlPackages.smtml"},"last_updated":"2025-10-26T01:09:48Z","outputs":[{"name":"out","path":"/nix/store/8dj11lij9zb6mb5b7j63ymivc0j32ni8-ocaml5.3.0-smtml-0.12.0","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"de69d2ba6c70e747320df9c096523b623d3a4c35"},"attr_path":"ocamlPackages.smtml"},"last_updated":"2025-10-26T01:09:48Z","outputs":[{"name":"out","path":"/nix/store/i9a251irhmr711bpjp9x6s28bn40wrni-ocaml5.3.0-smtml-0.12.0","default":true}]}}}