Man pages matching name mixvm in section 1:

mixvm.1.en	debian 10 / mdk
mixvm.1.en	debian 11 / mdk
mixvm.1.en	debian 12 / mdk