Source: coq-float Version: 1:8.9.0-1 Severity: serious User: treinen@debian.org Usertags: edos-uninstallable Hi, coq-float fails to compile against coq 8.11.0: COQC Faux.v File "./Faux.v", line 218, characters 57-61: Error: The reference Zabs was not found in the current environment. make[4]: *** [Makefile.coq:678: Faux.vo] Error 1 make[3]: *** [Makefile.coq:327: all] Error 2 -Ralf.