Changelog for cudd-static-2.4.2-2.fc12.x86_64.rpm :
Fri Jul 24 14:00:00 2009 Fedora Release Engineering - 2.4.2-2
- Rebuilt for https://fedoraproject.org/wiki/Fedora_12_Mass_Rebuild

Tue May 12 14:00:00 2009 Jerry James - 2.4.2-1
- Update to 2.4.2
- Drop upstreamed cudd-2.4.1-strcat.patch
- Merge Mamoru\'s patch into cudd-2.4.2-sharedlib.patch

Sun Mar 29 14:00:00 2009 Conrad Meyer - 2.4.1-6
- Use Mamoru\'s patch (thanks!).

Sat Mar 28 13:00:00 2009 Conrad Meyer - 2.4.1-5
- Add patch to build obj/ directory. (Resolves missing symbol
problems.)

Tue Feb 24 13:00:00 2009 Fedora Release Engineering - 2.4.1-4
- Rebuilt for https://fedoraproject.org/wiki/Fedora_11_Mass_Rebuild

Thu Jan 22 13:00:00 2009 Jerry James - 2.4.1-3
- Add patches to address various minor build infelicities
- Build both shared and static libraries
- Install the test binary, nanotrav, and its man page
- Gather documentation from all of the subdirectories

Sun Jan 4 13:00:00 2009 Conrad Meyer - 2.4.1-2
- Add LICENSE, cudd/doc to docs.

Fri Dec 12 13:00:00 2008 Conrad Meyer - 2.4.1-1
- Initial package.