Man pages matching name acl2 in section 1:

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