{"name":"haskellPackages.what4_1_7","version":"1.7","summary":"Solver-agnostic symbolic values support for issuing queries","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"0744ef1b047f07d31d9962d757ffe38ec14a4d41"},"attr_path":"haskellPackages.what4_1_7"},"last_updated":"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"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"346dd96ad74dc4457a9db9de4f4f57dab2e5731d"},"attr_path":"haskellPackages.what4_1_7"},"last_updated":"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"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"346dd96ad74dc4457a9db9de4f4f57dab2e5731d"},"attr_path":"haskellPackages.what4_1_7"},"last_updated":"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"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"346dd96ad74dc4457a9db9de4f4f57dab2e5731d"},"attr_path":"haskellPackages.what4_1_7"},"last_updated":"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"}]}}}