Man pages matching name dafny in section 1:

dafny.1.en	debian 11 / dafny
dafny.1.en	debian 12 / dafny