Man pages matching name premake4 in section 1:

premake4.1.en	debian 10 / premake4
premake4.1.en	debian 11 / premake4
premake4.1.en	debian 12 / premake4