{"name":"haskellPackages.what4_1_7","summary":"Solver-agnostic symbolic values support for issuing queries","description":"","homepage_url":"https://hackage.haskell.org/package/what4","license":"BSD-3-Clause","attribute_paths":["haskellPackages.what4_1_7"],"releases":[{"version":"1.7","last_updated":"2025-12-29T16:45:58Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"haskellPackages.what4_1_7","commit_hash":"0744ef1b047f07d31d9962d757ffe38ec14a4d41","date":"2025-12-29T08:23:14Z","outputs":[{"name":"out","path":"/nix/store/aqb98bhqayp7zv3j5f0xvvwx44r3sg9a-what4-1.7","default":true},{"name":"data","path":"/nix/store/nxqjcaqy1jnr3znyjw08fydf62w8jxy3-what4-1.7-data"},{"name":"doc","path":"/nix/store/7mpk1jc58i4ybczqqd2v2vqic0p4k2xn-what4-1.7-doc"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"haskellPackages.what4_1_7","commit_hash":"346dd96ad74dc4457a9db9de4f4f57dab2e5731d","date":"2025-12-29T16:45:58Z","outputs":[{"name":"out","path":"/nix/store/zjri1p2jzkfzjlw5y2zadvwhdmv18r5k-what4-1.7","default":true},{"name":"doc","path":"/nix/store/bl7ha0nmzzrxv5birz08i9qyhi9hsilx-what4-1.7-doc"},{"name":"data","path":"/nix/store/5c2wxp7k29gv1l50qsf8z9rshndhi9qn-what4-1.7-data"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"haskellPackages.what4_1_7","commit_hash":"346dd96ad74dc4457a9db9de4f4f57dab2e5731d","date":"2025-12-29T16:45:58Z","outputs":[{"name":"out","path":"/nix/store/y852w05asvd0kn15ql89wrqd7q3gny0y-what4-1.7","default":true},{"name":"doc","path":"/nix/store/sp0bdiw047fk6gb33x2g5nws5c4y1vk7-what4-1.7-doc"},{"name":"data","path":"/nix/store/gajb2698miiplf0gcl5rxkb39d3vn6z5-what4-1.7-data"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"haskellPackages.what4_1_7","commit_hash":"346dd96ad74dc4457a9db9de4f4f57dab2e5731d","date":"2025-12-29T16:45:58Z","outputs":[{"name":"out","path":"/nix/store/a1vvn1hzcn5iswd0mp894acqiblgll2g-what4-1.7","default":true},{"name":"doc","path":"/nix/store/2dad37x1kznv5mh6yza3gn6yv3hjm4m2-what4-1.7-doc"},{"name":"data","path":"/nix/store/9g0k9kchjmdi0fb2rmkhapnmmk3vxn5i-what4-1.7-data"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"out, data, doc","prerelease":false,"broken":false,"insecure":false}]}