Gobra IDE Icon Image

Gobra IDE Vsix Version History

A Free Programming Languages Extension By Chair of Programming Methodology - ETH Zurich

0 Votes, Average: 0 out of 5 Downloads: 6 Updated: February 20, 2024

VsixHub collected total 3 versions for Gobra IDE VSIX (viper-admin.gobra-ide). You could download one of the legacy or old version of it.

Gobra IDE Extension for VSCode Version History

  1. Gobra IDE v2.0.0 VSIX File (Latest Version VSIX File)

    • Updated: February 20, 2024

    • Require: VS Code 1.63.0 and up

    • File Size: 174.16 KB (178339 Bytes)

    • MD5: a9bed6dbd7c8a3c71c9c63ecaccbf8d2

    • SHA1: 2462f430c5218dbbdf2ccedfc71e429302522014

    • SHA256: 40b9a0d53e167040e9258b828fa88780603fb41453a50e94086796e4c4f1fdc2

  2. Gobra IDE v1.1.0 VSIX File (Old Version VSIX File)

    • Updated: September 21, 2022

    • Require: VS Code 1.45.0 and up

    • File Size: 247.74 KB (253685 Bytes)

    • MD5: 5bf42317ae031c1fc3efe0c3f4485b77

    • SHA1: 3123518623579b209da7ef382783a87ec1e79d2e

    • SHA256: 7de7a8348fed257cc39dbff0711548912e6e317819881a1d28c6798d14ac28a7

  3. Gobra IDE v1.0.0 VSIX File (Old Version VSIX File)

    • Updated: February 10, 2022

    • Require: VS Code 1.45.0 and up

    • File Size: 244.91 KB (250790 Bytes)

    • MD5: d34e1186c4a36a399f0100b2aeadedcf

    • SHA1: 05e5d63424538e85257935ec509c87d8c140a05b

    • SHA256: 19a16a0e5bbdbffcaf438541d130ff5105b7a91b0448cf05ed9b128858a035e2

More Extension to Consider (Similar or Related)