nixpkgs/pkgs/development/libraries/linbox/patches
..
linbox-pr256-part2.patch linbox: backport upstream fixes 2020-10-26 18:29:29 +09:00