The upgrade of Givaro to 4.2.0 broke linbox, and the easyiest way to fix it is to upgrade, although it is BROKEN on -CURRENT. Release notes at <https://github.com/linbox-team/linbox/releases/tag/v1.7.0>.
The upgrade of Givaro to 4.2.0 broke linbox, and the easyiest way to fix it is to upgrade, although it is BROKEN on -CURRENT. Release notes at <https://github.com/linbox-team/linbox/releases/tag/v1.7.0>.