Bug#1005920: closed by Debian FTP Masters <ftpmaster@ftp-master.debian.org> (reply to Julien Puydt <jpuydt@debian.org>) (Bug#1005920: fixed in coq-doc 8.15.0-3)

[Julien Puydt <julien.puydt@gmail.com>]

Hi,

Le mercredi 23 février 2022 à 13:21 +0100, Andreas Beckmann a écrit :
> With all these B-D added, the build fails for me now with
> 
> Not sure what exactly causes the failure ...

It's an heisenbug:
- I added a patch to get more log ;
- I tried to build the package: success ;
- I tried again: failure.

Cheers,

J.Puydt