On Thu, Mar 19, 2020 at 4:25 PM Fabio Valentini <[email protected]> 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 -- [email protected] To unsubscribe send an email to [email protected] 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/[email protected]
