Man pages matching name mnexec in section 1:

mnexec.1.en	debian 10 / mininet
mnexec.1.en	debian 11 / mininet
mnexec.1.en	debian 12 / mininet