On Tue, Mar 10, 2020 at 4:12 PM Jerry James <loganjerry@xxxxxxxxx> wrote: > 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. Two weeks later... This is going to happen today. I have also discovered that the gappalib-coq package, which is a dependency of why, is not needed by the latest version of anything in the coq stack, and indeed FTBFS with the latest version of coq. Furthermore, the gappa package is only needed to support gappalib-coq. Therefore, I intend to retire 3 packages later today: gappa gappalib-coq why -- 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
