Man pages matching name smlnj in section 7:

smlnj.7.en	debian 10 / smlnj
smlnj.7.en	debian 11 / smlnj
smlnj.7.en	debian 12 / smlnj