Hi, Le lundi 29 janvier 2024 à 09:39 +0000, Debian Bug Tracking System a écrit : > Your message dated Mon, 29 Jan 2024 09:35:04 +0000 > with message-id <e1ruo2i-004wwj...@fasolo.debian.org> > and subject line Bug#1060988: fixed in mathcomp-analysis 1.0.0-1 > has caused the Debian Bug report #1060988, > regarding mathcomp-analysis: FTBFS: make[3]: *** [Makefile.coq:838: > classical/mathcomp_extra.vo] Error 1 > to be marked as done. > > This means that you claim that the problem has been dealt with. > If this is not the case it is now your responsibility to reopen the > Bug report if necessary, and/or fix the problem forthwith. > > (NB: If you are a system administrator and have no idea what this > message is talking about, this may indicate a serious mail system > misconfiguration somewhere. Please contact ow...@bugs.debian.org > immediately.)
I had a transition planned, and as the new mathcomp-analysis wasn't out yet when I requested it, it wasn't part of its ben script... I'll upload manually a -2 when time will come. Cheers, J.Puydt