{"name":"ocamlPackages.smtml","version":"0.13.0","summary":"SMT solver frontend for OCaml","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"ee09932cedcef15aaf476f9343d1dea2cb77e261"},"attr_path":"ocamlPackages.smtml"},"last_updated":"2025-11-23T21:50:36Z","outputs":[{"name":"out","path":"/nix/store/6chs1m4pwn2ag6585mxv6cnkhnxajxjn-ocaml5.3.0-smtml-0.13.0","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"ee09932cedcef15aaf476f9343d1dea2cb77e261"},"attr_path":"ocamlPackages.smtml"},"last_updated":"2025-11-23T21:50:36Z","outputs":[{"name":"out","path":"/nix/store/nk31gx3mnng1mhs3r7gaymqa42q49h8h-ocaml5.3.0-smtml-0.13.0","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"ee09932cedcef15aaf476f9343d1dea2cb77e261"},"attr_path":"ocamlPackages.smtml"},"last_updated":"2025-11-23T21:50:36Z","outputs":[{"name":"out","path":"/nix/store/7bffaf4hm2qc9fcn0fg1r33c6y1gs0c6-ocaml5.3.0-smtml-0.13.0","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"ee09932cedcef15aaf476f9343d1dea2cb77e261"},"attr_path":"ocamlPackages.smtml"},"last_updated":"2025-11-23T21:50:36Z","outputs":[{"name":"out","path":"/nix/store/4ya36a300df34b9c1p8nqzzw7zcfsdbv-ocaml5.3.0-smtml-0.13.0","default":true}]}}}