George Huebner 8c860b090a linbox: fix clang build ...

Can be safely reverted after updating to 1.7.1 or beyond

2024-03-26 19:26:22 +01:00

..

default.nix

linbox: fix clang build

2024-03-26 19:26:22 +01:00