In a few days, I intend to update coq to version 8.9.1 in Rawhide, and also update all of the packages that depend on it. The why package has been abandoned by upstream. Its latest version does not work with the latest versions of its dependent packages (why3 and frama-c), and upstream has no intention of fixing it. I intend to retire it when I do the updates. If somebody wants it, let me know, but be aware that you will effectively have to become upstream. -- Jerry James http://www.jamezone.org/ _______________________________________________ devel mailing list -- devel@xxxxxxxxxxxxxxxxxxxxxxx To unsubscribe send an email to devel-leave@xxxxxxxxxxxxxxxxxxxxxxx Fedora Code of Conduct: https://getfedora.org/code-of-conduct.html List Guidelines: https://fedoraproject.org/wiki/Mailing_list_guidelines List Archives: https://lists.fedoraproject.org/archives/list/devel@xxxxxxxxxxxxxxxxxxxxxxx
