Bug#1019536: transition: coq-elpi and mathcomp-analysis

Control: tags -1 confirmed On 2022-09-11 13:40:02 +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, > >

Bug#1019536: transition: coq-elpi and mathcomp-analysis

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 are new versions of two Coq-related packages ; that makes a four- packages transition: nmu coq-hierarc