stdint.h(3avr) on Linux

The text 70c6bc450343, as Debian 11 (Bullseye) shipped it.

stdint.h(3avr) on Linux now