Bug#984739: nmu: singular_1:4.1.2-p1+ds-2

[Andreas Beckmann]

Package: release.debian.org
Severity: normal
User: release.debian....@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