On Thu, Jun 27, 2024 at 3:13 PM Richard W.M. Jones <rjo...@redhat.com> wrote: > On Wed, Jun 26, 2024 at 10:11:20AM -0600, Jerry James wrote: > > ocaml-ppx-import > > This is needed at runtime by frama-c, so I can take or co-maintain > this if you want.
That's a mistake. The latest version of frama-c (29.0) removed the dependency on ocaml-ppx-import. I removed the BuildRequires, but forgot about the Requires. I'm working on an update of the JaneStreet packages to version 0.17.x, which will include a frama-c rebuild. I'll remove the Requires when all of those builds are ready to go. Thanks for catching that! -- 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 Do not reply to spam, report it: https://pagure.io/fedora-infrastructure/new_issue
