fflas-ffpack 2.4.3 -> 2.5.0
giac 1.9.0.41 -> 1.9.0-43
givaro 4.1.1 -> 4.2.0
linbox 1.6.3 -> 1.7.0