Package: ftp.debian.org Severity: normal lava-server no longer exists as a source package, only as a binary, now that 2018.5-1 has been accepted into unstable.
Please remove the lava-server source package 2018.4-1 - all binaries previously provided by this source package are now built from the lava source package 2018.5-1. http://cdn-fastly.deb.debian.org/debian/pool/main/l/lava/lava_2018.5-1.dsc replaces: http://cdn-fastly.deb.debian.org/debian/pool/main/l/lava-server/lava-server_2018.4-1.dsc Thanks.
