Bug#741196: libpetsc3.4.2: libpetsc.so.3.4.2 links with both GPL-licensed and GPL-incompatible libraries

[Drew Parsons]

Source: petsc
Followup-For: Bug #741196

CeCILL explicitly asserts that its licence is compatible with GPL.

http://www.cecill.info/faq.en.html#compatible

I think we can close this bug.