I've just built the new camlp5 in Fedora Rawhide (only, not F32): https://koji.fedoraproject.org/koji/taskinfo?taskID=42313992
This may break the following dependencies (and dependencies of these, but I don't have an easy way to calculate that): coq flocq gappalib-coq why why3 I would normally build these for you too, but AIUI we're waiting on some fixes to Coq still so the whole "Coq stack" isn't being built at the moment anyway. However if you would like me to take care of it then it's no problem, just let me know. Rich. -- Richard Jones, Virtualization Group, Red Hat http://people.redhat.com/~rjones Read my programming and virtualization blog: http://rwmj.wordpress.com libguestfs lets you edit virtual machines. Supports shell scripting, bindings from many languages. http://libguestfs.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
