{"name":"ocamlPackages.smtml","version":"0.26.0","summary":"SMT solver frontend for OCaml","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"7aaa00e7cc9be6c316cb5f6617bd740dd435c59d"},"attr_path":"ocamlPackages.smtml"},"last_updated":"2026-04-30T11:26:30Z","outputs":[{"name":"out","path":"/nix/store/idppz6p730nbpd1d83xjn6jbwkwa5s6v-ocaml5.4.1-smtml-0.26.0","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"7aaa00e7cc9be6c316cb5f6617bd740dd435c59d"},"attr_path":"ocamlPackages.smtml"},"last_updated":"2026-04-30T11:26:30Z","outputs":[{"name":"out","path":"/nix/store/glya8j0qn666xk5ckvw1pm0abqlshnr8-ocaml5.4.1-smtml-0.26.0","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"7aaa00e7cc9be6c316cb5f6617bd740dd435c59d"},"attr_path":"ocamlPackages.smtml"},"last_updated":"2026-04-30T11:26:30Z","outputs":[{"name":"out","path":"/nix/store/nky0qfby2qj7d369fngcb4mvck40pc7p-ocaml5.4.1-smtml-0.26.0","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"7aaa00e7cc9be6c316cb5f6617bd740dd435c59d"},"attr_path":"ocamlPackages.smtml"},"last_updated":"2026-04-30T11:26:30Z","outputs":[{"name":"out","path":"/nix/store/18mgw7c12r4pq75rf2mwh7vmcvp28nkw-ocaml5.4.1-smtml-0.26.0","default":true}]}}}