Package: release.debian.org Severity: normal User: [email protected] 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
- Bug#984739: nmu: singular_1:4.1.2-p1+ds-2 Andreas Beckmann
- Bug#984739: marked as done (nmu: singular_... Debian Bug Tracking System
