dafny 3.4.1

[fabiomadge]

• Have you followed the guidelines for contributing?
• Have you ensured that your commits follow the commit style guide?
• Have you checked that there aren't other open pull requests for the same formula update/change?
• Have you built your formula locally with brew install --build-from-source <formula>, where <formula> is the name of the formula you're submitting?
• Is your test running fine brew test <formula>, where <formula> is the name of the formula you're submitting?
• Does your build pass brew audit --strict <formula> (after doing brew install --build-from-source <formula>)? If this is a new formula, does it pass brew audit --new <formula>?

---

[fabiomadge]

Looks like we need to wait for #92991.

[cho-m]

@fabiomadge Thanks for your contribution. Since we needed to rebuild dafny in dotnet PR #92991, I cherry-picked your commit there and it has been merged, so closing this one.

Ref: 0752704