Le mercredi 23 août 2023 à 09:07 +0100, Simon McVittie a écrit :
> On Wed, 23 Aug 2023 at 08:41:44 +0200, julien.pu...@gmail.com wrote:
> > let's lower the severity to avoid blocking migration during the
> > discussion -- after all the Breaks already avoids the file conflict
> > issue.
>
> Sorry,
Package: libcoq-mathcomp-classical
Version: 0.6.4-1+b1
Severity: serious
User: debian...@lists.debian.org
Usertags: fileconflict
Control: affects -1 + libcoq-mathcomp-analysis
libcoq-mathcomp-classical starts to ship the following files:
2 matches
Mail list logo
