Bug#723897: RM: lib32gmp-dev, lib32gmp10, lib32gmpxx4 -- ROM; obsolete

Package: ftp.debian.org
Severity: normal

These three binary packages are obsolete and can be removed.
Thanks,
-Steve



-- 
To UNSUBSCRIBE, email to [email protected]
with a subject of "unsubscribe". Trouble? Contact [email protected]

Reply via email to