{"name":"haskellPackages.minisat","version":"0.1.4","summary":"A Haskell bundle of the Minisat SAT solver","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"c9fe7d12cd78d1adcd12dd15e24432dde5b155a0"},"attr_path":"haskellPackages.minisat"},"last_updated":"2026-09-30T11:58:46Z","outputs":[{"name":"out","path":"/nix/store/4g61r5f6kkgf164ivxbrbil1lpp08436-minisat-0.1.4","default":true},{"name":"doc","path":"/nix/store/kvaykpmvhi1in8pl03nigci4j9f6r86q-minisat-0.1.4-doc"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"c9fe7d12cd78d1adcd12dd15e24432dde5b155a0"},"attr_path":"haskellPackages.minisat"},"last_updated":"2026-09-30T11:58:46Z","outputs":[{"name":"out","path":"/nix/store/v9amdb1lwvfhca885a7n6l28ww7nwc2a-minisat-0.1.4","default":true},{"name":"doc","path":"/nix/store/x2zyjnn1dkgr5p7xy27jqvxpqz7smiqs-minisat-0.1.4-doc"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"3d46470bb3030020f7e1361f33514854f5bfa86d"},"attr_path":"haskellPackages.minisat"},"last_updated":"2026-06-27T07:37:20Z","outputs":[{"name":"out","path":"/nix/store/rw2fvawjalrgml8c8dz7lx6id43q7ila-minisat-0.1.4","default":true},{"name":"doc","path":"/nix/store/45pka0idz915myqm6rw36yszjkpc5k92-minisat-0.1.4-doc"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"c9fe7d12cd78d1adcd12dd15e24432dde5b155a0"},"attr_path":"haskellPackages.minisat"},"last_updated":"2026-09-30T11:58:46Z","outputs":[{"name":"out","path":"/nix/store/lj5j190w3y77v1dw0p6xsvdbaky80zzm-minisat-0.1.4","default":true},{"name":"doc","path":"/nix/store/b9v3abgj10iwyrbf2h8gd5w2mqk5zgz3-minisat-0.1.4-doc"}]}}}