Package: ftp.debian.org Severity: normal X-Debbugs-Cc: debian-ocaml-maint@lists.debian.org Dear FTP Team, Please remove galax from unstable. It has no human maintainers, FTBFS and not in stable. Cheers, -- Stéphane