Bug#1060988: marked as done (mathcomp-analysis: FTBFS: make[3]: *** [Makefile.coq:838: classical/mathcomp_extra.vo] Error 1)

[julien.puydt@gmail.com]

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-T1@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 owner@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