Add pre-processing to coinstallability checks#5024

Merged

rjbou merged 6 commits intoocaml:masterfrom AltGr:fast-coinst

Feb 22, 2022

+401-195

Commits on Feb 22, 2022

Reftests: replace vars on the right-hand of exports

AltGr
authored and
rjbou
committed
Add tests on (co-)installability

AltGr
authored and
rjbou
committed
Add pre-processing to coinstallability checks

AltGr
authored and
rjbou
committed
Fix coinstallability filter corner case

AltGr
authored and
rjbou
committed
opam list: fix another small blind spot

AltGr
authored and
rjbou
committed
update changes
rjbou
committed