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@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
