Package: ftp.debian.org Severity: normal X-Debbugs-Cc: [email protected] User: [email protected] Usertags: remove
Dear FTP Team, Please remove coq-serapi from unstable. The project is dead upstream, superseced by coq-lsp (probable future ITP). I tried: ssh mirror.ftp-master.debian.org "dak rm -Rn coq-serapi" to check it's a leaf package ; it is! Cheers, J.Puydt
