Bug#1009400: mathcomp-analysis: FTBFS: Error: Cannot find library elpi.elpi in loadpath

[Lucas Nussbaum <lucas@debian.org>]

Source: mathcomp-analysis
Version: 0.5.0-2
Severity: serious
Justification: FTBFS
Tags: bookworm sid ftbfs
User: lucas@debian.org
Usertags: ftbfs-20220412 ftbfs-bookworm

Hi,

During a rebuild of all packages in sid, your package failed to build
on amd64.


Relevant part (hopefully):
> make[2]: Entering directory '/<<PKGBUILDDIR>>'
> COQDEP VFILES
> COQC theories/mathcomp_extra.v
> COQC theories/boolp.v
> COQC theories/forms.v
> COQC theories/altreals/xfinmap.v
> File "./theories/forms.v", line 124, characters 0-52:
> Warning: class_of_axiom does not respect the uniform inheritance condition
> [uniform-inheritance,typechecker]
> File "./theories/forms.v", line 140, characters 0-48:
> Warning: additiver does not respect the uniform inheritance condition
> [uniform-inheritance,typechecker]
> File "./theories/forms.v", line 141, characters 0-45:
> Warning: linearr does not respect the uniform inheritance condition
> [uniform-inheritance,typechecker]
> COQC theories/signed.v
> COQC theories/classical_sets.v
> COQC theories/functions.v
> COQC theories/reals.v
> File "./theories/functions.v", line 3, characters 0-34:
> Error: Cannot find library elpi.elpi in loadpath
> 
> make[3]: *** [Makefile.coq:764: theories/functions.vo] Error 1


The full build log is available from:
http://qa-logs.debian.net/2022/04/12/mathcomp-analysis_0.5.0-2_unstable.log

All bugs filed during this archive rebuild are listed at:
https://bugs.debian.org/cgi-bin/pkgreport.cgi?tag=ftbfs-20220412;users=lucas@debian.org
or:
https://udd.debian.org/bugs/?release=na&merged=ign&fnewerval=7&flastmodval=7&fusertag=only&fusertagtag=ftbfs-20220412&fusertaguser=lucas@debian.org&allbugs=1&cseverity=1&ctags=1&caffected=1#results

A list of current common problems and possible solutions is available at
http://wiki.debian.org/qa.debian.org/FTBFS . You're welcome to contribute!

If you reassign this bug to another package, please marking it as 'affects'-ing
this package. See https://www.debian.org/Bugs/server-control#affects

If you fail to reproduce this, please provide a build log and diff it with mine
so that we can identify if something relevant changed in the meantime.