Man pages matching name xotclsh in section 1:

xotclsh.1.en	debian 10 / nsf-shells
xotclsh.1.en	debian 10 / xotcl-shells
xotclsh.1.en	debian 11 / nsf-shells
xotclsh.1.en	debian 11 / xotcl-shells
xotclsh.1.en	debian 12 / nsf-shells
xotclsh.1.en	debian 12 / xotcl-shells