Bug#1078605: Please upgrade dafny from 2.3.0 (which was produced in 2019) to a reasonably new version

[Al Ma]

Package: dafny
Version: 2.3.0+dfsg-0.1
Severity: wishlist
Please upgrade dafny from 2.3.0 (which was produced over 5 years ago) to a 
reasonably new version (e.g., 4.7.0).