Bug#1016748: mathcomp-analysis: FTBFS: test failure: Error: apply-w-params

[Sebastian Ramacher <sramacher@debian.org>]

Source: mathcomp-analysis
Version: 0.5.2-1
Severity: serious
Tags: ftbfs
Justification: fails to build from source (but built successfully in the past)

Rebuilds of mathcomp-analysis failed:

COQC theories/realfun.v
COQC theories/exp.v
COQC theories/lebesgue_measure.v
File "./theories/lebesgue_measure.v", line 133, characters 0-76:
Warning: Casts are ignored in patterns [cast-in-pattern,automation]
File "./theories/lebesgue_measure.v", line 133, characters 0-76:
Warning: Casts are ignored in patterns [cast-in-pattern,automation]
COQC theories/lebesgue_integral.v
COQC theories/trigo.v
File "./theories/lebesgue_integral.v", line 201, characters 0-51:
Error: apply-w-params

make[3]: *** [Makefile.coq:764: theories/lebesgue_integral.vo] Error 1
make[3]: *** Waiting for unfinished jobs....
make[2]: *** [Makefile.coq:387: all] Error 2


Cheers
-- 
Sebastian Ramacher