{"name":"ocamlPackages.smtml","version":"0.8.0","summary":"SMT solver frontend for OCaml","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"372d9eeeafa5b15913201e2b92e8e539ac7c64d1"},"attr_path":"ocamlPackages.smtml"},"last_updated":"2025-08-12T09:17:37Z","outputs":[{"name":"out","path":"/nix/store/hzmxxf3kx124qmaq4ayyqi9795vnik2b-ocaml5.3.0-smtml-0.8.0","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"372d9eeeafa5b15913201e2b92e8e539ac7c64d1"},"attr_path":"ocamlPackages.smtml"},"last_updated":"2025-08-12T09:17:37Z","outputs":[{"name":"out","path":"/nix/store/m60wgpgqj93w0i5ni39gzva5jys63cv4-ocaml5.3.0-smtml-0.8.0","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"372d9eeeafa5b15913201e2b92e8e539ac7c64d1"},"attr_path":"ocamlPackages.smtml"},"last_updated":"2025-08-12T09:17:37Z","outputs":[{"name":"out","path":"/nix/store/a0rskslh78gdilj61bw1z18w2mlryj2k-ocaml5.3.0-smtml-0.8.0","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"372d9eeeafa5b15913201e2b92e8e539ac7c64d1"},"attr_path":"ocamlPackages.smtml"},"last_updated":"2025-08-12T09:17:37Z","outputs":[{"name":"out","path":"/nix/store/cr1aq07ync9fxi7ykmpdlg7998raamci-ocaml5.3.0-smtml-0.8.0","default":true}]}}}