Package: ftp.debian.org Severity: normal X-Debbugs-Cc: flint-...@packages.debian.org, sramac...@debian.org Control: affects -1 + src:flint-arb User: ftp.debian....@packages.debian.org Usertags: remove
flint-arb has been merged into flint. See #1058814 Please remove flint-arb from the archive. Cheers -- Sebastian Ramacher
