{"name":"haskellPackages.sat-simple","version":"0.1.0.0","summary":"A high-level wrapper over minisat","systems":{"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"f4b140d5b253f5e2a1ff4e5506edbf8267724bde"},"attr_path":"haskellPackages.sat-simple"},"last_updated":"2025-09-18T16:33:27Z","outputs":[{"name":"out","path":"/nix/store/d4szwfb9qwf4j241vw83zfb37habznmr-sat-simple-0.1.0.0","default":true},{"name":"doc","path":"/nix/store/rrca9n9pmhmrg5kcbarlqf641xnxjl4s-sat-simple-0.1.0.0-doc"}]}}}