Man pages matching name topcom-hypersimplex in section 1:

topcom-hypersimplex.1.en	debian 11 / topcom
topcom-hypersimplex.1.en	debian 12 / topcom