{"name":"ocamlPackages.smtml","version":"0.19.0","summary":"SMT solver frontend for OCaml","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"a1bab9e494f5f4939442a57a58d0449a109593fe"},"attr_path":"ocamlPackages.smtml"},"last_updated":"2026-01-23T17:20:52Z","outputs":[{"name":"out","path":"/nix/store/r6qg4g8drv6n50z9rkazc7xfdx2m10d7-ocaml5.3.0-smtml-0.19.0","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"a1bab9e494f5f4939442a57a58d0449a109593fe"},"attr_path":"ocamlPackages.smtml"},"last_updated":"2026-01-23T17:20:52Z","outputs":[{"name":"out","path":"/nix/store/lir46frvxydlamddaf915x76sx7h9mgr-ocaml5.3.0-smtml-0.19.0","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"a1bab9e494f5f4939442a57a58d0449a109593fe"},"attr_path":"ocamlPackages.smtml"},"last_updated":"2026-01-23T17:20:52Z","outputs":[{"name":"out","path":"/nix/store/5bc7g9l35nq5kmk52vzl1nxpxnk86sff-ocaml5.3.0-smtml-0.19.0","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"a1bab9e494f5f4939442a57a58d0449a109593fe"},"attr_path":"ocamlPackages.smtml"},"last_updated":"2026-01-23T17:20:52Z","outputs":[{"name":"out","path":"/nix/store/irvqh662s064c8sy4yw0bpcb6srm2j0h-ocaml5.3.0-smtml-0.19.0","default":true}]}}}