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
--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)