The text 264eb769093c, as Debian 12 (Bookworm) shipped it.
manual page for checkproof 2.6
checkproof(1) on Linux now
