Package: ftp.debian.org
Severity: normal
User: [email protected]
Usertags: remove
X-Debbugs-Cc: [email protected], Debian Math Team 
<[email protected]>, [email protected]
Control: affects -1 + src:antic

Upstream merged src:antic into src:flint, and we already have src:flint, so we
don't need src:antic anymore.

dak confirms all packages migrated to the new scheme, so it's ready to go.

Cheers,

J.Puydt

Reply via email to