Control: tags -1 confirmed
On 2022-10-01 22:10:46 +0200, julien.pu...@gmail.com wrote:
> Package: release.debian.org
> Severity: normal
> User: release.debian@packages.debian.org
> Usertags: transition
> X-Debbugs-Cc: jpu...@debian.org
> X-Debbugs-Cc: Debian OCaml Maintainers
>
>
> Hi,
>
>
Package: release.debian.org
Severity: normal
User: release.debian@packages.debian.org
Usertags: transition
X-Debbugs-Cc: jpu...@debian.org
X-Debbugs-Cc: Debian OCaml Maintainers
Hi,
there is a new version of coq-hierarchy-builder ; it requires
rebuilding another package:
nmu mathcomp-analy
2 matches
Mail list logo
