Man pages matching name smartleia in section 1:

smartleia.1.en	debian 11 / smartleia
smartleia.1.en	debian 12 / smartleia