{"name":"ocamlPackages_latest.smtml","version":"0.20.0","summary":"SMT solver frontend for OCaml","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"7d2ae6d8b8b697b5114a4249d0d958ee5f23d8fe"},"attr_path":"ocamlPackages_latest.smtml"},"last_updated":"2026-02-13T23:34:13Z","outputs":[{"name":"out","path":"/nix/store/3jf6ays50lks1jhvhk39kd02vrinf4f6-ocaml5.4.0-smtml-0.20.0","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"7d2ae6d8b8b697b5114a4249d0d958ee5f23d8fe"},"attr_path":"ocamlPackages_latest.smtml"},"last_updated":"2026-02-13T23:34:13Z","outputs":[{"name":"out","path":"/nix/store/qag7mqw9mks9q2biih7jlns48y7wc29v-ocaml5.4.0-smtml-0.20.0","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"7d2ae6d8b8b697b5114a4249d0d958ee5f23d8fe"},"attr_path":"ocamlPackages_latest.smtml"},"last_updated":"2026-02-13T23:34:13Z","outputs":[{"name":"out","path":"/nix/store/r8d98nx5j5r9ny0387wf4vawj5r655jl-ocaml5.4.0-smtml-0.20.0","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"7d2ae6d8b8b697b5114a4249d0d958ee5f23d8fe"},"attr_path":"ocamlPackages_latest.smtml"},"last_updated":"2026-02-13T23:34:13Z","outputs":[{"name":"out","path":"/nix/store/v435ngwp6zy3gbljzpy16nhyv90rbwpj-ocaml5.4.0-smtml-0.20.0","default":true}]}}}