{"name":"ocamlPackages_latest.smtml","version":"0.18.0","summary":"SMT solver frontend for OCaml","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"61db79b0c6b838d9894923920b612048e1201926"},"attr_path":"ocamlPackages_latest.smtml"},"last_updated":"2026-01-13T11:13:53Z","outputs":[{"name":"out","path":"/nix/store/q8scm544hims2bfl8wvyiwmr2y9s77x1-ocaml5.4.0-smtml-0.18.0","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"61db79b0c6b838d9894923920b612048e1201926"},"attr_path":"ocamlPackages_latest.smtml"},"last_updated":"2026-01-13T11:13:53Z","outputs":[{"name":"out","path":"/nix/store/n6a00zmwbrwfxv9lqbyal1iraj166v2g-ocaml5.4.0-smtml-0.18.0","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"61db79b0c6b838d9894923920b612048e1201926"},"attr_path":"ocamlPackages_latest.smtml"},"last_updated":"2026-01-13T11:13:53Z","outputs":[{"name":"out","path":"/nix/store/mv5rba4zg1ijf2d39fs4x4sdwwcrl2ls-ocaml5.4.0-smtml-0.18.0","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"61db79b0c6b838d9894923920b612048e1201926"},"attr_path":"ocamlPackages_latest.smtml"},"last_updated":"2026-01-13T11:13:53Z","outputs":[{"name":"out","path":"/nix/store/rv3bvawkg7rcjlvpnxjl5cjs9y7091p9-ocaml5.4.0-smtml-0.18.0","default":true}]}}}