Package:src:frama-c Version: 20201209+titanium-2 Severity: serious Tags: sid bullseye
[...] ocamlfind: Not supported in your configuration: ocamlopt make[1]: *** [share/Makefile.generic:88: src/libraries/stdlib/extlib.cmx] Error 2 make[1]: *** Waiting for unfinished jobs.... make[1]: Leaving directory '/<<PKGBUILDDIR>>' dh_auto_build: error: make -j4 returned exit code 2