Bug#1040214: RM: alt-ergo -- RoM, obsolete, non-free

[julien.puydt@gmail.com]

Package: ftp.debian.org
Severity: normal
X-Debbugs-Cc: debian-ocaml-maint@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-maint@lists.debian.org>

------------------- Reason -------------------

----------------------------------------------

Checking reverse dependencies...
No dependency problem found.



Thanks,

J.Puydt