Package: coq-quickchick Version: 2.0-1 Tags: trixie, sid Severity: serious Justification: rc policy - "packages must be buildable within the same release" User: debian...@lists.debian.org Usertags: edos-uninstallable
coq-quickchick build-depends on dune, in bullseye this was a transitional package built by the ocaml-dune source package and depending on the ocaml-dune binary package. However in ocaml-dune 3.8.2-1 the transitional package was dropped. It is still present in unstable as a cruft package but is completely gone from testing. Presumablly you need to update your build-dependency to build-depend on dune instead of ocaml-dune.
