Man pages matching name stockfish in section 6:

stockfish.6.en	debian 10 / stockfish
stockfish.6.en	debian 11 / stockfish
stockfish.6.en	debian 12 / stockfish