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