Source: mathcomp-analysis Version: 0.5.0-2 Severity: serious Justification: FTBFS Tags: bookworm sid ftbfs User: lu...@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=lu...@debian.org or: https://udd.debian.org/bugs/?release=na&merged=ign&fnewerval=7&flastmodval=7&fusertag=only&fusertagtag=ftbfs-20220412&fusertaguser=lu...@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.
