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

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



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?

Cheers,
Emilio


Reply to: