There are currently no open bugs.

"dafny" versions published in Ubuntu

Lunar (2.3.0+dfsg-0.1): universe/misc
Kinetic (2.3.0+dfsg-0.1): universe/misc
Jammy (2.3.0+dfsg-0.1): universe/misc
Focal (2.3.0+dfsg-0.1): universe/misc
Bionic (1.9.7-1): universe/misc