Bug#1060988: mathcomp-analysis: FTBFS: make[3]: *** [Makefile.coq:838: classical/mathcomp_extra.vo] Error 1
Source: mathcomp-analysis
Version: 0.6.4-3
Severity: serious
Justification: FTBFS
Tags: trixie sid ftbfs
User: lucas@debian.org
Usertags: ftbfs-20240115 ftbfs-trixie
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 classical/boolp.v
> COQC classical/mathcomp_extra.v
> COQC theories/forms.v
> COQC theories/altreals/xfinmap.v
> File "./classical/mathcomp_extra.v", line 7, characters 9-28:
> Error: The reference choice.Choice.mixin was not found in the current
> environment.
>
> make[3]: *** [Makefile.coq:838: classical/mathcomp_extra.vo] Error 1
The full build log is available from:
http://qa-logs.debian.net/2024/01/15/mathcomp-analysis_0.6.4-3_unstable.log
All bugs filed during this archive rebuild are listed at:
https://bugs.debian.org/cgi-bin/pkgreport.cgi?tag=ftbfs-20240115;users=lucas@debian.org
or:
https://udd.debian.org/bugs/?release=na&merged=ign&fnewerval=7&flastmodval=7&fusertag=only&fusertagtag=ftbfs-20240115&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 mark 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.
Reply to: