Man pages matching name trisetcmp in section 1:

trisetcmp.1.en	debian 10 / regina-normal
trisetcmp.1.en	debian 11 / regina-normal
trisetcmp.1.en	debian 12 / regina-normal