Man pages matching name inttypes.h in section 3avr:

inttypes.h.3avr.en	debian 10 / avr-libc
inttypes.h.3avr.en	debian 11 / avr-libc
inttypes.h.3avr.en	debian 12 / avr-libc