Man pages matching name allegro-dev-tools in section 1:

allegro-dev-tools.1.en	debian 10 / liballegro4-dev
allegro-dev-tools.1.en	debian 11 / liballegro4-dev
allegro-dev-tools.1.en	debian 12 / liballegro4-dev