Dafny CLI Icon Image

Dafny CLI Vsix Version History

A Free Programming Languages Extension By Roberto Saltini

0 Votes, Average: 0 out of 5 Downloads: 7 Updated: September 9, 2022

VsixHub collected total 5 versions for Dafny CLI VSIX (roberto-saltini.dafny-cli). You could download one of the legacy or old version of it.

Dafny CLI Extension for VSCode Version History

  1. Dafny CLI v0.5.1 VSIX File (Latest Version VSIX File)

    • Updated: September 9, 2022

    • Require: VS Code 1.48.0 and up

    • File Size: 11.20 KB (11470 Bytes)

    • MD5: 3410cb88e6cb6b1d86b51acee4b2807a

    • SHA1: 2af04fe1d755906f10b04d407e3988fe97ae2781

    • SHA256: bc9f64577adeffa638d6f7c3db65c29e8d565d78c8665214b5dec5854d002848

  2. Dafny CLI v0.4.3 VSIX File (Old Version VSIX File)

    • Updated: July 25, 2022

    • Require: VS Code 1.48.0 and up

    • File Size: 10.91 KB (11174 Bytes)

    • MD5: 5b406275f22404fcf964e2a6e6610e35

    • SHA1: b426ba45e32f41a67d38cdac55654fe97a628577

    • SHA256: 68520f2e84be7cab4bcd058030f4f5bf6916ed35a63cb9011c28cb0b4be7dec7

  3. Dafny CLI v0.4.1 VSIX File (Old Version VSIX File)

    • Updated: July 18, 2022

    • Require: VS Code 1.48.0 and up

    • File Size: 10.84 KB (11099 Bytes)

    • MD5: 8561185b9167ba380ce8355733823c8a

    • SHA1: 0a9fb7c0cd5911f22c97c93579cc6ae0d041c9c2

    • SHA256: aefdfdb9f73740d66ff2ea607ed70815e8580772bb9c60690b5cf8c5d9a87990

  4. Dafny CLI v0.3.3 VSIX File (Old Version VSIX File)

    • Updated: December 27, 2021

    • Require: VS Code 1.48.0 and up

    • File Size: 9.42 KB (9645 Bytes)

    • MD5: baceb14e9f2714658c0fb30ddc2a9824

    • SHA1: acc63c855eb12d6346ccc32d15ab325d4f8749cc

    • SHA256: c2f23b03144152fa6883da30f8e790544b5a78b8cfd3b3bc94251eaa79f972a1

  5. Dafny CLI v0.3.1 VSIX File (Old Version VSIX File)

    • Updated: December 19, 2021

    • Require: VS Code 1.48.0 and up

    • File Size: 9.18 KB (9404 Bytes)

    • MD5: 91939e3dd8fbb0f82754a09093937248

    • SHA1: 3e5a668a11d320faebff463ac7ba8ae06875d12c

    • SHA256: 61750921bbdae3cab89ca4a27154004e9639e5254a67a5969058050f491e0c35

More Extension to Consider (Similar or Related)