Source: coq Version: 8.14.0+dfsg-3 Severity: serious Tags: ftbfs https://buildd.debian.org/status/package.php?p=coq&suite=sid
... Error: Don't know how to build _build/default/user-contrib/Ltac2/ltac2_plugin.cmxs Hint: did you mean _build/default/user-contrib/Ltac2/ltac2_plugin.cma? make[3]: *** [Makefile.common:190: _build/default/user-contrib/Ltac2/ltac2_plugin.cmxs] Error 1
