tarball=linbox-VERSION.tar.gz
sha1=8e8352dcbdf1f2412404e2ef1c81e556554755f3
sha256=2a260d1aff12f9e4431929b5d5b26e70c26f004d16b47f81ccc0ee8c0d0b09d5
upstream_url=https://github.com/mkoeppe/linbox/releases/download/v1.7.0%2Bsage-2024-05-18/linbox-1.7.0.tar.gz
