On Tue, Mar 10, 2020 at 4:12 PM Jerry James <loganje...@gmail.com> 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:


Jerry James
devel mailing list -- devel@lists.fedoraproject.org
To unsubscribe send an email to devel-le...@lists.fedoraproject.org
Fedora Code of Conduct: 
List Guidelines: https://fedoraproject.org/wiki/Mailing_list_guidelines
List Archives: 

Reply via email to