Package: ftp.debian.org Severity: normal X-Debbugs-Cc: debian-ocaml-ma...@lists.debian.org
alt-ergo used to be free-as-in-Debian, and was packaged as such. Since then it became non-free and the latest free version is obsolete. I propose to remove the package from Debian ; according to dak there is no problem doing so: $ ssh mirror.ftp-master.debian.org "dak rm -Rn alt-ergo" Will remove the following packages from unstable: alt-ergo | 2.4.2-2 | source, amd64, arm64, armel, armhf, i386, mips64el, mipsel, ppc64el, s390x Maintainer: Debian OCaml Maintainers <debian-ocaml-ma...@lists.debian.org> ------------------- Reason ------------------- ---------------------------------------------- Checking reverse dependencies... No dependency problem found. Thanks, J.Puydt
