There are currently no open bugs.

"dafny" versions published in Ubuntu

Hirsute (2.3.0+dfsg-0.1): universe/misc
Groovy (2.3.0+dfsg-0.1): universe/misc
Focal (2.3.0+dfsg-0.1): universe/misc
Bionic (1.9.7-1): universe/misc