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