Marked for autoremoval on 12 November due to opam: #1082976high
Version 1.0+8.19-2 of coq-dpdgraph is marked for autoremoval from testing on Tue 12 Nov 2024. It depends (transitively) on opam, affected by #1082976. You should try to prevent the removal by fixing these RC bugs.