Bug#1000632: RM: coq/8.12.0-3+b3 and others
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
Reply to: