Hi,

I thought my upload of 20220511-manganese-1.1 fixed the autopkgtest
issues with the package. After all, it just worked here!

But it looks like it's still failing on the Debian autopkgtest
infrastructure:

autopkgtest [21:19:22]: test eva: [-----------------------
[kernel] User Error: cannot load plug-in 'frama-c-wp': cannot load
module
Details: error loading shared library: Dynlink error: error loading
shared library: Failure("/usr/lib/frama-c/plugins/top/Wp.cmxs:
undefined symbol: camlWhy3__Whyconf__equal_501")
[kernel] User Error: Deferred error message was emitted during
execution. See above messages for more information.
[kernel] Frama-C aborted: invalid user input.
autopkgtest [21:19:22]: test eva: -----------------------]
autopkgtest [21:19:22]: test eva: - - - - - - - - - - results - - - -
- - - - - -
eva FAIL non-zero exit status 1

and:

autopkgtest [21:19:26]: test wp: [-----------------------
warning: cannot read config file /tmp/autopkgtest- lxc.iexeoadb/downtmp/wp-artifacts/wp/why3.conf:
/tmp/autopkgtest-lxc.iexeoadb/downtmp/wp-artifacts/wp/why3.conf: No
such file or directory
autopkgtest [21:19:27]: test wp: -----------------------]
autopkgtest [21:19:27]: test wp: - - - - - - - - - - results - - - - -
- - - - -
wp FAIL non-zero exit status 1

and I have no clue why!

If someone can have a look... help is welcome.

Cheers,

J.Puydt

--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)