Status of failures of opam packages

[lthls]

This issue tracks the packages that are known to fail to install (with tests enabled) with the latest flambda2 but not with the vanilla 4.12 compiler, with the reason.

Package name	Reason
asak	compiler-libs
bap-core-theory	Typing of %apply primitive
batteries	Stdlib externals
bun	afl-test error, need to investigate
camlp4	compiler-libs
camlp5	compiler-libs
chamo	compiler-libs
charset	external declaration mismatch
coq	Obj.set_tag
deadlock	Uses frama-c
earlybird	compiler-libs
eliom	compiler-libs
frama-c	Invalid generated (unsafe use of Obj)
frama-c-metacsl	Uses frama-c
gospel	Printing of types
jupyter	compiler-libs
mdx	compiler-libs
merlin	compiler-libs
mlcuddidl	Obj.truncate
ocamlbrowser	compiler-libs
ocp-index	compiler-libs
odoc	compiler-libs
odoc-depgraph	missing ocamldoc libs
ounit2	backtraces (raise vs reraise)
ppx_import	compiler-libs
ppx_open	compiler-libs
reanalyze	compiler-libs
reason	compiler-libs
sentry	Error in atdgen-runtime (need update to the atdgen-runtime patch)
stdcompat	Stdlib externals
tezos-protocol-environment	Stdlib externals
utop	compiler-libs

Frama C has been patched, hopefully the next release will run correctly.
For atdgen, an issue has been open (ahrefs/atd#221), and there is a patch in the repo, but the patch is incomplete so sentry still fails.
We also have a patch for Coq, but every time they release a new version we would need to re-apply the patch to that.