Did you know ... Search Documentation:
Pack bddem -- cudd-3.0.0/configure

The current version of pack bddem does not contain a file cudd-3.0.0/configure