Gobra IDE Vsix Version History
A Free Programming Languages Extension By Chair of Programming Methodology - ETH Zurich
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
-
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
-
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
-
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