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

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

2024-01-29 Thread julien . puydt

Hi, Le lundi 29 janvier 2024 à 09:39 +, Debian Bug Tracking System a écrit : > Your message dated Mon, 29 Jan 2024 09:35:04 + > with message-id > and subject line Bug#1060988: fixed in mathcomp-analysis 1.0.0-1 > has caused the Debian Bug report #1060988, > regarding mathcomp-analysis:

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

2024-01-29 Thread Debian Bug Tracking System

Your message dated Mon, 29 Jan 2024 09:35:04 + with message-id 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