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. If someone has a better clue and a serious fix... Cheers, J.Puydt
