Package: ftp.debian.org Severity: normal User: ftp.debian.org@packages.debian.org Usertags: remove X-Debbugs-Cc: coq@packages.debian.org, debian-ocaml-maint@lists.debian.org Control: affects -1 + src:coq Dear FTP Team, Please remove all libcoq-ocaml-dev (binary) packages from unstable. They correspond to an old coq source package, but coq has stopped building them for months. Cheers, J.Puydt