Man pages matching name xapian-progsrv in section 1:

xapian-progsrv.1.en	debian 10 / xapian-tools
xapian-progsrv.1.en	debian 11 / xapian-tools
xapian-progsrv.1.en	debian 12 / xapian-tools