GPL packages linked against libmotif3

[Santiago Vila <sanvila@unex.es>]

Hello.

After a discussion on debian-user-spanish about the GPL, I found about
this package in contrib:

Package: ida
Depends: [...] libmotif3

AFAIK, this violates the GPL license of ida. Am I missing anything?

Thanks.