Man pages matching name virtex in section 1:

virtex.1.zh_CN	debian 10 / manpages-zh
virtex.1.zh_TW	debian 10 / manpages-zh
virtex.1.zh_CN	debian 11 / manpages-zh
virtex.1.zh_TW	debian 11 / manpages-zh
virtex.1.zh_CN	debian 12 / manpages-zh
virtex.1.zh_TW	debian 12 / manpages-zh