{"name":"ocamlPackages.msat","version":"0.9.1","summary":"Modular sat/smt solver with proof output","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"f20cd90e28fe0403873f473b29e42662cd86e8c4"},"attr_path":"ocamlPackages.msat"},"last_updated":"2026-10-16T02:15:57Z","outputs":[{"name":"out","path":"/nix/store/bf5rqms8kj3c9inv0azrzkrshp0ssmrj-ocaml5.5.0-msat-0.9.1","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"f20cd90e28fe0403873f473b29e42662cd86e8c4"},"attr_path":"ocamlPackages.msat"},"last_updated":"2026-10-16T02:15:57Z","outputs":[{"name":"out","path":"/nix/store/lnbrgd4p19v7j00rcb4ngx98hs9vmxzh-ocaml5.5.0-msat-0.9.1","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"3d46470bb3030020f7e1361f33514854f5bfa86d"},"attr_path":"ocamlPackages.msat"},"last_updated":"2026-06-27T07:37:20Z","outputs":[{"name":"out","path":"/nix/store/pxz71l2nqb3b7gyr5fccsgd8nz28mfpm-ocaml5.4.1-msat-0.9.1","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"f20cd90e28fe0403873f473b29e42662cd86e8c4"},"attr_path":"ocamlPackages.msat"},"last_updated":"2026-10-16T02:15:57Z","outputs":[{"name":"out","path":"/nix/store/477wa22xbhr9k9xrxibqzw1m0x3nwz2b-ocaml5.5.0-msat-0.9.1","default":true}]}}}