Tentative Mac OS, Dafny version 1.9.5.20923

Rating: No reviews yet
Downloads: 25
Change Set: 7f068d6ded4e
Released: Sep 23, 2015
Updated: Sep 23, 2015 by rustanleino
Dev status: Beta Help Icon

Recommended Download

Application Dafny 1.9.5.20923, Mac OS
application, 23611K, uploaded Sep 23, 2015 - 25 downloads

Release Notes

If this works, then Linux versions will follow

Reviews for this release

No reviews yet for this release.