Changelog for cudd-devel-3.0.0-2.1205.x86_64.rpm :

* Sat Mar 12 2016 jengelhAATTinai.de- Update to new upstream release 3.0.0
* No changelog was provided- Drop cudd-automake.diff (applied upstream)
* Sat Oct 11 2014 jengelhAATTinai.de- Use source URLs. Drop dist-xz from cudd-automake.diff patch (it\'s not needed for our build).