{"name":"ocamlPackages.smtml","version":"0.17.0","summary":"SMT solver frontend for OCaml","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"346dd96ad74dc4457a9db9de4f4f57dab2e5731d"},"attr_path":"ocamlPackages.smtml"},"last_updated":"2025-12-29T16:45:58Z","outputs":[{"name":"out","path":"/nix/store/2m72q35dp00vcrfbmqd895sj4x15lddv-ocaml5.3.0-smtml-0.17.0","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"346dd96ad74dc4457a9db9de4f4f57dab2e5731d"},"attr_path":"ocamlPackages.smtml"},"last_updated":"2025-12-29T16:45:58Z","outputs":[{"name":"out","path":"/nix/store/11arryflyvvi58wfa0wwy30jwmy4sbhg-ocaml5.3.0-smtml-0.17.0","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"346dd96ad74dc4457a9db9de4f4f57dab2e5731d"},"attr_path":"ocamlPackages.smtml"},"last_updated":"2025-12-29T16:45:58Z","outputs":[{"name":"out","path":"/nix/store/qh1j6hpff0mbmsxkh3yxn1vpyb6x7ysf-ocaml5.3.0-smtml-0.17.0","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"346dd96ad74dc4457a9db9de4f4f57dab2e5731d"},"attr_path":"ocamlPackages.smtml"},"last_updated":"2025-12-29T16:45:58Z","outputs":[{"name":"out","path":"/nix/store/yj7v0fppmnb0p2g4z0c52k7rsl9hwlds-ocaml5.3.0-smtml-0.17.0","default":true}]}}}