** Tags removed: kernel-series-unknown -- Sync coq-float 1:8.2-1.2-4 (universe) from Debian testing (main) https://bugs.launchpad.net/bugs/534909 You received this bug notification because you are a member of Ubuntu Package Archive Administrators, which is a direct subscriber.