On Thu, Mar 19, 2020 at 4:25 PM Fabio Valentini <decatho...@gmail.com> 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@lists.fedoraproject.org To unsubscribe send an email to devel-le...@lists.fedoraproject.org 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@lists.fedoraproject.org
