Man pages matching name velveth_de in section 1:

velveth_de.1.en	debian 10 / velvet
velveth_de.1.en	debian 11 / velvet
velveth_de.1.en	debian 12 / velvet