homebrew-core icon indicating copy to clipboard operation
homebrew-core copied to clipboard
verified publisher icon Homebrew

dafny 4.8.0

Open BrewTestBot opened this issue 1 year ago • 1 comments

Created by brew bump

Created with brew bump-formula-pr.

BrewTestBot avatar Aug 28 '24 18:08 BrewTestBot

Not the latest release yet

iMichka avatar Aug 28 '24 20:08 iMichka

:robot: An automated task has requested bottles to be published to this PR.

github-actions[bot] avatar Aug 30 '24 04:08 github-actions[bot]