Man pages matching name sbcl in section 1:

sbcl.1.en	debian 10 / sbcl
sbcl.1.en	debian 11 / sbcl
sbcl.1.en	debian 12 / sbcl