Changelog for libcudd0-debuginfo-2.5.0-4.2.x86_64.rpm :

* Sat Oct 11 2014 jengelhAATTinai.de- Use source URLs. Drop dist-xz from cudd-automake.diff patch (it\'s not needed for our build).
* Tue Apr 16 2013 jengelhAATTinai.de- Initial package (version 2.5.0) for build.opensuse.org