{"name":"haskellPackages.simple-smt","version":"0.9.7","summary":"A simple way to interact with an SMT solver process","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"de1864217bfa9b5845f465e771e0ecb48b30e02d"},"attr_path":"haskellPackages.simple-smt"},"last_updated":"2024-12-23T21:10:33Z","outputs":[{"name":"out","path":"/nix/store/nb94wpjr5x79calfcbi8qh4zn0vr6hv2-simple-smt-0.9.7","default":true},{"name":"doc","path":"/nix/store/5d5bwspq0i6vd811n8d29j763hxjsqlp-simple-smt-0.9.7-doc"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"de1864217bfa9b5845f465e771e0ecb48b30e02d"},"attr_path":"haskellPackages.simple-smt"},"last_updated":"2024-12-23T21:10:33Z","outputs":[{"name":"out","path":"/nix/store/78pmvj3cwjldr3s2nnza2lqz9jdqrfac-simple-smt-0.9.7","default":true},{"name":"doc","path":"/nix/store/2d4swm5kiwv9afy559hq82m3ls6bg5ks-simple-smt-0.9.7-doc"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"de1864217bfa9b5845f465e771e0ecb48b30e02d"},"attr_path":"haskellPackages.simple-smt"},"last_updated":"2024-12-23T21:10:33Z","outputs":[{"name":"out","path":"/nix/store/5islwnd857l98dbab9hfy32hjjvd8m6a-simple-smt-0.9.7","default":true},{"name":"doc","path":"/nix/store/1bnfk9s2jxgfkvyg90pdgd63dp23dlfi-simple-smt-0.9.7-doc"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"de1864217bfa9b5845f465e771e0ecb48b30e02d"},"attr_path":"haskellPackages.simple-smt"},"last_updated":"2024-12-23T21:10:33Z","outputs":[{"name":"out","path":"/nix/store/n21bh6wk5mw7k5n2gycaynk8mcc69xni-simple-smt-0.9.7","default":true},{"name":"doc","path":"/nix/store/kkikj9qp41yncirvfaiw4miki8c15vv2-simple-smt-0.9.7-doc"}]}}}