Man pages matching name umps3-objdump in section 1:

umps3-objdump.1.en	debian 11 / umps3
umps3-objdump.1.en	debian 12 / umps3