nixpkgs/pkgs/development/libraries/cudd
..
cudd.patch
default.nix