I announced last summer that I was going to retire the why package, due to its upstream abandoning it, but then was able to keep it working, so kept it for Fedora 31. I am just a handful of package reviews away from updating coq and frama-c to their latest upstream versions. With these updates, the why package is broken again. Rather than spend more time trying to keep abandonware working in Fedora, I intend to retire the why package in both Rawhide and F32. If somebody wants to try to keep it working, let me know in the next week. -- 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://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@xxxxxxxxxxxxxxxxxxxxxxx
