{"name":"haskellPackages.cudd","version":"0.1.0.4","summary":"Bindings to the CUDD binary decision diagrams library","systems":{"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"a343533bccc62400e8a9560423486a3b6c11a23b"},"attr_path":"haskellPackages.cudd"},"last_updated":"2024-03-08T13:51:52Z","outputs":[{"name":"out","path":"/nix/store/hbml0yabssnzgx0dpxf8m41yjdi4il4a-cudd-0.1.0.4","default":true},{"name":"doc","path":"/nix/store/99p0g51fckn9gk6p5klcw5dprpznjzpw-cudd-0.1.0.4-doc"}]}}}