{"name":"haskellPackages.minisat","summary":"A Haskell bundle of the Minisat SAT solver","description":"","homepage_url":"https://hackage.haskell.org/package/minisat","license":"BSD-3-Clause","attribute_paths":["haskellPackages.minisat"],"releases":[{"version":"0.1.4","last_updated":"2026-09-29T03:29:29Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"haskellPackages.minisat","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/4g61r5f6kkgf164ivxbrbil1lpp08436-minisat-0.1.4","default":true},{"name":"doc","path":"/nix/store/kvaykpmvhi1in8pl03nigci4j9f6r86q-minisat-0.1.4-doc"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"haskellPackages.minisat","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/v9amdb1lwvfhca885a7n6l28ww7nwc2a-minisat-0.1.4","default":true},{"name":"doc","path":"/nix/store/x2zyjnn1dkgr5p7xy27jqvxpqz7smiqs-minisat-0.1.4-doc"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"haskellPackages.minisat","commit_hash":"3d46470bb3030020f7e1361f33514854f5bfa86d","date":"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"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"haskellPackages.minisat","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/lj5j190w3y77v1dw0p6xsvdbaky80zzm-minisat-0.1.4","default":true},{"name":"doc","path":"/nix/store/b9v3abgj10iwyrbf2h8gd5w2mqk5zgz3-minisat-0.1.4-doc"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"out, doc","prerelease":false,"broken":false,"insecure":false},{"version":"0.1.3","last_updated":"2025-09-18T16:33:27Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"haskellPackages.minisat","commit_hash":"f4b140d5b253f5e2a1ff4e5506edbf8267724bde","date":"2025-09-18T16:33:27Z","outputs":[{"name":"out","path":"/nix/store/p7vrf010y28vw64f2kg6fk9x7zgm3p5n-minisat-0.1.3","default":true},{"name":"doc","path":"/nix/store/pr3hx6529pfz5kymhg0q9spafxcd8y5v-minisat-0.1.3-doc"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"haskellPackages.minisat","commit_hash":"f4b140d5b253f5e2a1ff4e5506edbf8267724bde","date":"2025-09-18T16:33:27Z","outputs":[{"name":"out","path":"/nix/store/di5cp87nckimvv2519rn4dfcswsay3l8-minisat-0.1.3","default":true},{"name":"doc","path":"/nix/store/gpkrl3jikvv2p2rxw05vy8jdgkyk4kvr-minisat-0.1.3-doc"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"haskellPackages.minisat","commit_hash":"f4b140d5b253f5e2a1ff4e5506edbf8267724bde","date":"2025-09-18T16:33:27Z","outputs":[{"name":"out","path":"/nix/store/f7q77w9sq33jyfrbwdmcaixrcwkpk4aq-minisat-0.1.3","default":true},{"name":"doc","path":"/nix/store/gv32xfspcgp3bz568vhkkm70zkgy31xb-minisat-0.1.3-doc"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"haskellPackages.minisat","commit_hash":"f4b140d5b253f5e2a1ff4e5506edbf8267724bde","date":"2025-09-18T16:33:27Z","outputs":[{"name":"out","path":"/nix/store/yakqhahml3rhyhnk7gpc6rkv34bvdxsj-minisat-0.1.3","default":true},{"name":"doc","path":"/nix/store/qpjzgyy7mfjrq94y8xlicirmrp4kwzax-minisat-0.1.3-doc"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"out, doc","prerelease":false,"broken":false,"insecure":false}]}