dgemv(3) on Linux

The text c1827bc92f05, as Debian 12 (Bookworm) shipped it.

double

dgemv(3) on Linux now