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