Bug#919461: ssreflect ftbfs in unstable
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
Reply to: