On Tue, Mar 10, 2020 at 4:12 PM Jerry James 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
On Thu, Jun 6, 2019 at 9:12 PM Jerry James wrote:
> I got about half of the builds done. Unfortunately, the alt-ergo build
> failed on 32-bit ARM with errors that I don't understand:
>
> https://koji.fedoraproject.org/koji/buildinfo?buildID=1280684
>
> I ran the build twice just in case it was a
On Mon, Jun 3, 2019 at 12:24 PM Jerry James wrote:
> Noted. I will probably get all these packages built on Wednesday or
> Thursday of this week. If that turns out to be a bad time for you, please
> let me know and I will postpone the builds. Regards,
>
I got about half of the builds done. U
On Mon, Jun 3, 2019 at 9:40 AM Richard W.M. Jones wrote:
> why3 is a replacement for it, is that right?
>
Sort of. Wh3 was originally intended to be a complete replacement, but
functionality has been migrated slowly, requiring one to use both why and
why3 for some years now to get everything.
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