Use openspecfun.
Amos and Faddeeva were moved out of openlibm.
libopenlibm-extras is now libopenspecfun, which has its own repo.