On Thu, Jun 27, 2024 at 3:13 PM Richard W.M. Jones rjones@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!