Bug#411147: maxima: needs to depend on libgmp3c2

[Marco Presi]

Hi,

just to point out that maxima shuould depend on libgmp3c2, *not* on
libgmp3.

Regards

Marco



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