On Thu, Mar 19, 2020 at 4:25 PM Fabio Valentini <decathorpe@xxxxxxxxx> wrote:
> - coq{,-coqide}
This one needs a version update. For that, it needs several new
packages. I've been working through the reviews, and we're almost
there! Two more reviews to get through, and the new coq version can
be built.
> - frama-c
> - gappalib-coq
> - ocaml-why3
These are blocked waiting for the coq build.
> - ocaml-ppx-tools
> - ocaml-stdint
There are updates for these two. They should be pushed stable
tomorrow, I think.
> - why-jessie
I am going to retire the why package when I update the coq stack.
--
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
