Bug#1000632: RM: coq/8.12.0-3+b3 and others

[Stéphane Glondu <glondu@debian.org>]

Package: release.debian.org
Severity: normal
User: release.debian.org@packages.debian.org
Usertags: rm
X-Debbugs-Cc: debian-ocaml-maint@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