Package: src:ssreflect Version: 1.6.1-3 Severity: serious Tags: sid buster [...] debian/rules override_dh_auto_install make[1]: Entering directory '/home/packages/tmp/ssreflect-1.6.1' /usr/bin/make -C mathcomp make[2]: Entering directory '/home/packages/tmp/ssreflect-1.6.1/mathcomp' Generating Makefile.coq for Coq v8.8 with COQBIN=/usr/bin/ # Override COQDEP to find only the "right" copy .ml files COQDEP VFILES *** Warning: in file ssreflect/ssreflect.v, library ssrmatching is required and has not been found in the loadpath! *** Warning: in file ssreflect/ssreflect.v, declared ML module ssreflect_plugin has not been found! *** Warning: in file ssreflect/ssreflect.v, library ssrmatching is required and has not been found in the loadpath! *** Warning: in file ssreflect/ssreflect.v, declared ML module ssreflect_plugin has not been found! COQC ssreflect/ssreflect.v File "./ssreflect/ssreflect.v", line 4, characters 15-26: Error: Unable to locate library ssrmatching.
make[4]: *** [Makefile.coq:657: ssreflect/ssreflect.vo] Error 1 make[3]: *** [Makefile.coq:318: all] Error 2 make[2]: *** [Makefile:26: all] Error 2 make[2]: Leaving directory '/home/packages/tmp/ssreflect-1.6.1/mathcomp' make[1]: *** [debian/rules:41: override_dh_auto_install] Error 2 make[1]: Leaving directory '/home/packages/tmp/ssreflect-1.6.1' make: *** [debian/rules:22: binary] Error 2