There are currently no open bugs.

"dafny" versions published in Ubuntu

Focal (2.3.0+dfsg-0.1): universe/misc
Eoan (1.9.7-1): universe/misc
Disco (1.9.7-1): universe/misc
Bionic (1.9.7-1): universe/misc