Man pages matching name frama-c in section 1:

frama-c.1.en	debian 10 / frama-c-base
frama-c.1.en	debian 11 / frama-c-base
frama-c.1.en	debian 12 / frama-c-base