The upstream download site for the cudd package stopped responding about 8 months ago. About 4 months ago, the DNS entry for the upstream download site disappeared. Strangely, the author's home page still has a link pointing to that site.
In any case, nothing in Fedora uses cudd anymore. The cbmc package still has a BuildRequires for cudd-devel, but doesn't appear to actually use it. I intend to drop the BR from cbmc and retire cudd in F31 and Rawhide at the end of this week. If anybody wants to keep it, let me know. -- Jerry James http://www.jamezone.org/
_______________________________________________ devel mailing list -- devel@lists.fedoraproject.org To unsubscribe send an email to devel-le...@lists.fedoraproject.org Fedora Code of Conduct: https://docs.fedoraproject.org/en-US/project/code-of-conduct/ List Guidelines: https://fedoraproject.org/wiki/Mailing_list_guidelines List Archives: https://lists.fedoraproject.org/archives/list/devel@lists.fedoraproject.org
