From julien.puydt@gmail.com@21:1/5 to All on Thu Jun 23 11:50:01 2022
Hi,
one of frama-c's autopkgtest was failing because of:
[kernel] User Error: [findlib] package 'ppx_import' not found (required
by `frama-c.kernel')
[kernel] User Error: Deferred error message was emitted during
execution. See above messages for more information.
That was because the frama-c-base package didn't depend on libppx- import-ocaml-28us3 as it should have, because for some reason dh-ocaml
didn't detect this dep.
I added a crude dep on libppx-import-ocaml to get around it, but that
is more a workaround than a real fix.