Bug#1029538: RM: coq-theories -- NBS; cruft

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

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 coq-theories (binary) packages from unstable. They
correspond to an old coq source package, but coq has stopped building
them for 4 months. Their presence makes noise in the permanent OCaml
transition tracker [1].

[1] https://release.debian.org/transitions/html/ocaml.html


Cheers,

-- 
Stéphane