{"name":"ocamlPackages.smtml","version":"0.24.0","summary":"SMT solver frontend for OCaml","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"b86751bc4085f48661017fa226dee99fab6c651b"},"attr_path":"ocamlPackages.smtml"},"last_updated":"2026-04-16T08:46:55Z","outputs":[{"name":"out","path":"/nix/store/79vy3qw4mgr5ywkyy8hq20ygvmxqaghw-ocaml5.4.1-smtml-0.24.0","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"b86751bc4085f48661017fa226dee99fab6c651b"},"attr_path":"ocamlPackages.smtml"},"last_updated":"2026-04-16T08:46:55Z","outputs":[{"name":"out","path":"/nix/store/vp27gv15x4bap6nfl39xygjkqjcvqnl0-ocaml5.4.1-smtml-0.24.0","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"b86751bc4085f48661017fa226dee99fab6c651b"},"attr_path":"ocamlPackages.smtml"},"last_updated":"2026-04-16T08:46:55Z","outputs":[{"name":"out","path":"/nix/store/gi2h6220xn782w34apdjbciiwl4jpb03-ocaml5.4.1-smtml-0.24.0","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"b86751bc4085f48661017fa226dee99fab6c651b"},"attr_path":"ocamlPackages.smtml"},"last_updated":"2026-04-16T08:46:55Z","outputs":[{"name":"out","path":"/nix/store/6nlpgkyidzf7s0sayskvffd0hf2dq30s-ocaml5.4.1-smtml-0.24.0","default":true}]}}}