Dafny CLI Vsix Version History
A Free Programming Languages Extension By Roberto Saltini
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
-
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
-
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
-
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
-
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
-
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