Package: ftp.debian.org Severity: normal Hi, Please remove the unused jellydoc package, it was only useful for packaging jenkins which was removed last year. Thank you, Emmanuel Bourg