{"name":"ocamlPackages_latest.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_latest.smtml"},"last_updated":"2026-01-23T17:20:52Z","outputs":[{"name":"out","path":"/nix/store/knh3pp8rclrgwdaknqgmzbk79szavb6k-ocaml5.4.0-smtml-0.19.0","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"a1bab9e494f5f4939442a57a58d0449a109593fe"},"attr_path":"ocamlPackages_latest.smtml"},"last_updated":"2026-01-23T17:20:52Z","outputs":[{"name":"out","path":"/nix/store/ig6pgrjs3kgg8ba058i7cn4maiwaq2is-ocaml5.4.0-smtml-0.19.0","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"a1bab9e494f5f4939442a57a58d0449a109593fe"},"attr_path":"ocamlPackages_latest.smtml"},"last_updated":"2026-01-23T17:20:52Z","outputs":[{"name":"out","path":"/nix/store/hnfyd0g9wwrrf2cy4hkp4lfphgnsryvi-ocaml5.4.0-smtml-0.19.0","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"a1bab9e494f5f4939442a57a58d0449a109593fe"},"attr_path":"ocamlPackages_latest.smtml"},"last_updated":"2026-01-23T17:20:52Z","outputs":[{"name":"out","path":"/nix/store/mkqb308x419ikwkv6a0cqc9kygmwwnfs-ocaml5.4.0-smtml-0.19.0","default":true}]}}}