Man pages matching name micropolis in section 6:

micropolis.6.en	debian 10 / micropolis
micropolis.6.en	debian 11 / micropolis
micropolis.6.en	debian 12 / micropolis