getsqrhrt(3) on Linux

The text ad34ef7d2b1e, as Debian 13 (Trixie) shipped it.

getsqrhrt: tall-skinny QR factor, with Householder reconstruction

getsqrhrt(3) on Linux now