Man pages matching name fricas in section 1:

fricas.1.en	debian 11 / fricas
fricas.1.en	debian 12 / fricas