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