yes, this can be removed now. this thing was a temporary thing to allow packages depending on the C only library to migrate to testing without having the libgmpcxx in testing.
-- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]