{"name":"ocamlPackages.smtml","version":"0.18.0","summary":"SMT solver frontend for OCaml","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"5f02c91314c8ba4afe83b256b023756412218535"},"attr_path":"ocamlPackages.smtml"},"last_updated":"2026-01-09T13:41:53Z","outputs":[{"name":"out","path":"/nix/store/8kyc3r0rzzhqzyjzxddvs16r34wwx78h-ocaml5.3.0-smtml-0.18.0","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"5f02c91314c8ba4afe83b256b023756412218535"},"attr_path":"ocamlPackages.smtml"},"last_updated":"2026-01-09T13:41:53Z","outputs":[{"name":"out","path":"/nix/store/5m33p8aiw3w9zrwqy2f4b298nwrjh6wy-ocaml5.3.0-smtml-0.18.0","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"5f02c91314c8ba4afe83b256b023756412218535"},"attr_path":"ocamlPackages.smtml"},"last_updated":"2026-01-09T13:41:53Z","outputs":[{"name":"out","path":"/nix/store/89msvjcsl8b06c5yv2yrx0ar8wz3wfky-ocaml5.3.0-smtml-0.18.0","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"5f02c91314c8ba4afe83b256b023756412218535"},"attr_path":"ocamlPackages.smtml"},"last_updated":"2026-01-09T13:41:53Z","outputs":[{"name":"out","path":"/nix/store/7ya1h3nwxfnjh0b11kxhy4xchkr6macf-ocaml5.3.0-smtml-0.18.0","default":true}]}}}