Man pages matching name micalc in section 1:

micalc.1.en	debian 10 / mitools
micalc.1.en	debian 11 / mitools
micalc.1.en	debian 12 / mitools