{"name":"haskellPackages.simple-smt","version":"0.9.8","summary":"A simple way to interact with an SMT solver process","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"f20cd90e28fe0403873f473b29e42662cd86e8c4"},"attr_path":"haskellPackages.simple-smt"},"last_updated":"2026-10-16T02:15:57Z","outputs":[{"name":"out","path":"/nix/store/rb31gb1smlycapp6lrdm88hixvpb5wfh-simple-smt-0.9.8","default":true},{"name":"doc","path":"/nix/store/fva3x36c655xbq7vx8dvnbizl4iqlnb0-simple-smt-0.9.8-doc"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"f20cd90e28fe0403873f473b29e42662cd86e8c4"},"attr_path":"haskellPackages.simple-smt"},"last_updated":"2026-10-16T02:15:57Z","outputs":[{"name":"out","path":"/nix/store/mj84xsmimxlzb6n5pc7h3mikic6is9l9-simple-smt-0.9.8","default":true},{"name":"doc","path":"/nix/store/gwqsm7cvlajb8q20r6ykhpwimjz5vqp2-simple-smt-0.9.8-doc"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"3d46470bb3030020f7e1361f33514854f5bfa86d"},"attr_path":"haskellPackages.simple-smt"},"last_updated":"2026-06-27T07:37:20Z","outputs":[{"name":"out","path":"/nix/store/r89482f0d73kpmvx3z5rkxppvg00wf9d-simple-smt-0.9.8","default":true},{"name":"doc","path":"/nix/store/akpk2isi06q29bb3l5mz8wna891wcjgf-simple-smt-0.9.8-doc"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"f20cd90e28fe0403873f473b29e42662cd86e8c4"},"attr_path":"haskellPackages.simple-smt"},"last_updated":"2026-10-16T02:15:57Z","outputs":[{"name":"out","path":"/nix/store/nwqidcvy65m96fz77sqi9p31y4cl9maj-simple-smt-0.9.8","default":true},{"name":"doc","path":"/nix/store/07dhjk1y3m6aj1asc5rpdx3f061gzaq8-simple-smt-0.9.8-doc"}]}}}