"pkgconfig(linbox)"
