Yes, Coq ditched Camlp5 as well. But there are still 4 packages (I excluded Coq-related ones) depending on it:
- ELPI (there is an issue to drop Camlp5 support https://github.com/LPCIC/elpi/issues/13)
- bigbro
- ledit
- orpie - https://github.com/pelzlpj/orpie/issues/18
- ulex-camlp5 (abandoned and deprecated in favor of sedlex)
While every mentioned package has no reverse dependencies, ulex has a lot:
- beluga - ported to sedlex and dune, should be the part of the next (0.8.3?) release.
- cduce - bugtracker seems dead
- fstar>=0.9.5.0 - created an issue #1792 for porting to sedlex
- higlo (abandoned) - created an issue #3 for porting to sedlex
- kremlin - ported to sedlex, should be the part of the next (0.9.7?) release
- lambdoc (abandoned) - created an issue #37 for porting to sedlex
- mezzo (abandoned)
- opa-base - created an issue #196 for porting to sedlex
- piqilib - ported to sedlex, should be the part of the next (0.6.15?) release.
- pxp
- sociaml-vcard (abandoned) - created an issue #1 for porting to sedlex
- wdialog
So it makes sense to update Camlp5 for a while, at least until these will not switch to sedlex for example.