{"name":"ocamlPackages.smtml","version":"0.15.0","summary":"SMT solver frontend for OCaml","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"306ea70f9eb0fb4e040f8540e2deab32ed7e2055"},"attr_path":"ocamlPackages.smtml"},"last_updated":"2025-12-21T10:48:17Z","outputs":[{"name":"out","path":"/nix/store/202dpw5p7m738qjzinsqahh5k37hci1v-ocaml5.3.0-smtml-0.15.0","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"306ea70f9eb0fb4e040f8540e2deab32ed7e2055"},"attr_path":"ocamlPackages.smtml"},"last_updated":"2025-12-21T10:48:17Z","outputs":[{"name":"out","path":"/nix/store/ql5g756n4wswifqm0xccs07km7fqcsrr-ocaml5.3.0-smtml-0.15.0","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"306ea70f9eb0fb4e040f8540e2deab32ed7e2055"},"attr_path":"ocamlPackages.smtml"},"last_updated":"2025-12-21T10:48:17Z","outputs":[{"name":"out","path":"/nix/store/1za8adgph77bv0bbf7k9rqs2yppmrmm4-ocaml5.3.0-smtml-0.15.0","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"306ea70f9eb0fb4e040f8540e2deab32ed7e2055"},"attr_path":"ocamlPackages.smtml"},"last_updated":"2025-12-21T10:48:17Z","outputs":[{"name":"out","path":"/nix/store/mvh3zi4i2pfcz1cz3cqv9f8z32m5snpl-ocaml5.3.0-smtml-0.15.0","default":true}]}}}