Clarification on licenses and use of MPLv2 in GPLv3+ software

[Johnny Jazeix]

Hi,

GCompris is released under GPLv3+ license. We incorporated the code of
a checkers engine under MPL2 licence
(https://github.com/shubhendusaurabh/draughts.js).

I would like to be sure that it does not change the licence of
GCompris (or if we have to ask for a possible relicensing of the
library).
As I read the documentation in
https://www.gnu.org/licenses/license-list.en.html#MPL-2.0, we are
doing a "Larger Work" that combines that library with our GPLv3+ code.
The library, under our code, will have both licences (we left the
LICENSE file besides) and GCompris can be distributed as GPLv3+.

Can anyone confirm if my logic is good?

Cheers,

Johnny