{"name":"haskellPackages.minisat","version":"0.1.3","summary":"A Haskell bundle of the Minisat SAT solver","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"f4b140d5b253f5e2a1ff4e5506edbf8267724bde"},"attr_path":"haskellPackages.minisat"},"last_updated":"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"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"f4b140d5b253f5e2a1ff4e5506edbf8267724bde"},"attr_path":"haskellPackages.minisat"},"last_updated":"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"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"f4b140d5b253f5e2a1ff4e5506edbf8267724bde"},"attr_path":"haskellPackages.minisat"},"last_updated":"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"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"f4b140d5b253f5e2a1ff4e5506edbf8267724bde"},"attr_path":"haskellPackages.minisat"},"last_updated":"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"}]}}}