Builds for dafny

Latest: 2.3.0+dfsg-0.1