{"name":"ocamlPackages.smtml","version":"0.25.0","summary":"SMT solver frontend for OCaml","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"6368eda62c9775c38ef7f714b2555a741c20c72d"},"attr_path":"ocamlPackages.smtml"},"last_updated":"2026-04-27T06:11:55Z","outputs":[{"name":"out","path":"/nix/store/byv0fi05nqfr16j6hc2wps8819hi3zzc-ocaml5.4.1-smtml-0.25.0","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"6368eda62c9775c38ef7f714b2555a741c20c72d"},"attr_path":"ocamlPackages.smtml"},"last_updated":"2026-04-27T06:11:55Z","outputs":[{"name":"out","path":"/nix/store/lmrwpcgnwsmy3pnkc76l1pzvbb7dbsz2-ocaml5.4.1-smtml-0.25.0","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"6368eda62c9775c38ef7f714b2555a741c20c72d"},"attr_path":"ocamlPackages.smtml"},"last_updated":"2026-04-27T06:11:55Z","outputs":[{"name":"out","path":"/nix/store/y599v3dp0px8rqh7rf0whr40n9lkq7dh-ocaml5.4.1-smtml-0.25.0","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"6368eda62c9775c38ef7f714b2555a741c20c72d"},"attr_path":"ocamlPackages.smtml"},"last_updated":"2026-04-27T06:11:55Z","outputs":[{"name":"out","path":"/nix/store/vlz9gd7mqq7s9j1aczcrbbsk27ic71s3-ocaml5.4.1-smtml-0.25.0","default":true}]}}}