Package: release.debian.org Severity: normal User: release.debian.org@packages.debian.org Usertags: binnmu nmu singular_1:4.1.2-p1+ds-2 . ANY . experimental . -m "Rebuild against libflint-2.6.1." libflint-2.5.2 is gone ... Andreas