[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#1100416: transition: coq-elpi, coq-quickchick, coq-simple-io and coqeal



Hi,

Le jeu. 13 mars 2025, 17:29, Emilio Pozuelo Monfort <pochu@debian.org> a écrit :
On 13/03/2025 17:21, Julien Puydt wrote:
> Package: release.debian.org
> Severity: normal
> User: release.debian.org@packages.debian.org
> Usertags: transition
> X-Debbugs-Cc: jpuydt@debian.org
> X-Debbugs-Cc: Debian OCaml Maintainers
> <debian-ocaml-maint@lists.debian.org>
>
> A new upstream version of coq-elpi, coq-quickchick, coq-simple-io and
> coqeal are out ; they require rebuilding all depending packages (see
> below).
>
> I'm waiting for the "go!" signal to upload the new packages.

Do the rdeps build against the new versions?

Yes, they do.

J.Puydt

Reply to: