Man pages matching name asnval in section 1:

asnval.1.en	debian 10 / ncbi-tools-bin
asnval.1.en	debian 11 / ncbi-tools-bin
asnval.1.en	debian 12 / ncbi-tools-bin