%FILES%
usr/
usr/include/
usr/include/cudd.h
usr/include/cudd/
usr/include/cudd/config.h
usr/include/cudd/mtr.h
usr/include/cudd/util.h
usr/include/cuddObj.hh
usr/include/dddmp.h
usr/lib/
usr/lib/libcudd-3.0.0.so.0
usr/lib/libcudd-3.0.0.so.0.0.0
usr/lib/libcudd.so
usr/share/
usr/share/licenses/
usr/share/licenses/cudd/
usr/share/licenses/cudd/LICENSE
