Dafny Vsix Version History - Page 3
A Free Programming Languages Extension By dafny-lang
Downloads: 6 Updated: March 29, 2024
VsixHub collected total 30 versions for Dafny VSIX (dafny-lang.ide-vscode). You could download one of the legacy or old version of it.
Dafny Extension for VSCode Version History - Page 3
-
Dafny v3.3.0 VSIX File (Latest Version VSIX File)
• Updated: March 29, 2024
• Require: VS Code 1.68.0 and up
• File Size: 632.62 KB (647801 Bytes)
• MD5: 08dba3fb695b61fec0753d17dbf99da6
• SHA1: fad4095b26b128dde64ee6491095d83289a2fbcc
• SHA256: 6159b0144e06880804386860f589916b80e45ad76393b84ee69fbeb2e8f83e7e
-
Dafny v2.1.1 VSIX File (Old Version VSIX File)
• Updated: December 23, 2021
• Require: VS Code 1.52.0 and up
• File Size: 493.95 KB (505805 Bytes)
• MD5: 2fc85541a336a0fc581cf20e41926fc6
• SHA1: 6e672566a948fa60707b9fd5484d79505d248370
• SHA256: 57dae096c5f2c441355405e732de9c29c2bcfb9922e5911806fc9b3b01a2326b