dgesvd(3) on Linux

The text ccef4ecc9e2d, as Debian 7 (Wheezy) shipped it.

dgesvd(3) on Linux now