Dafny Icon Image

Dafny Vsix Version History - Page 3

A Free Programming Languages Extension By dafny-lang

0 Votes, Average: 5 out of 5 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

  1. 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

  2. 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

More Extension to Consider (Similar or Related)