Package: release.debian.org Severity: normal User: release.debian....@packages.debian.org Usertags: rm X-Debbugs-Cc: debian-ocaml-ma...@lists.debian.org
Dear Release Managers, #1000573 prevents a bunch of packages [1] from migrating to testing. It would makes things better if coq and some related packages [2] could be removed from testing. [1] 17 packages (including binNMUs): alt-ergo ben botch camlimages coinst cryptokit cudf dose3 eliom extlib js-of-ocaml nurpawiki ocaml-base64 ocaml-graphics ocaml-mccs ocaml-zarith ocsigenserver [2] Easy hint: -coq -frama-c -prooftree -ssreflect -why3 Cheers, -- Stéphane
