On 13/03/2025 17:21, Julien Puydt wrote:
Package: release.debian.org Severity: normal User: [email protected] Usertags: transition X-Debbugs-Cc: [email protected] X-Debbugs-Cc: Debian OCaml Maintainers <[email protected]>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
