On Fri, May 31, 2019 at 10:10:11AM -0600, Jerry James wrote: > 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. why3 is a replacement for it, is that right? Also: https://bugzilla.redhat.com/show_bug.cgi?id=1673688 https://pagure.io/releng/issue/8310 Still waiting for 4.08 to be released to complete this ... Rich. -- Richard Jones, Virtualization Group, Red Hat http://people.redhat.com/~rjones Read my programming and virtualization blog: http://rwmj.wordpress.com virt-builder quickly builds VMs from scratch http://libguestfs.org/virt-builder.1.html _______________________________________________ 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
