Agda Mode Icon Image

Agda Mode Vsix Version History - Page 3

A Free Other Extension By Ting-Gian LUA

0 Votes, Average: 5 out of 5 Downloads: 4 Updated: December 16, 2023

VsixHub collected total 37 versions for Agda Mode VSIX (banacorn.agda-mode). You could download one of the legacy or old version of it.

Agda Mode Extension for VSCode Version History - Page 3

  1. Agda Mode v0.4.7 VSIX File (Latest Version VSIX File)

    • Updated: December 16, 2023

    • Require: VS Code 1.74.0 and up

    • File Size: 563.00 KB (576514 Bytes)

    • MD5: 051855f713919a966db0425e730b30d0

    • SHA1: ddcbbdd74316e1a60559eb8720dfab5d6d808bca

    • SHA256: 80d6b79f5ea53f7a28051bc66ae813b9ae085dc233a4c93b8c160c24342c634d

  2. Agda Mode v0.2.0 VSIX File (Old Version VSIX File)

    • Updated: October 8, 2020

    • Require: VS Code 1.41.0 and up

    • File Size: 325.16 KB (332967 Bytes)

    • MD5: e9647f18eda381333bc59462fc8481f0

    • SHA1: 04ee2546ab5037910369a44795ad19614b7a7537

    • SHA256: 055fe954bc279429aff5c235bb676b052757cca31a1d2f9d91070d291f4fb542

  3. Agda Mode v0.1.16 VSIX File (Old Version VSIX File)

    • Updated: September 25, 2020

    • Require: VS Code 1.41.0 and up

    • File Size: 495.48 KB (507373 Bytes)

    • MD5: 2280cbc50446d20dd13f1ac04062be2c

    • SHA1: ea92eec28644e60f628fd026c9eac7dad05f2c7a

    • SHA256: a1f97d5cf523c3505d9714533b43fdda5c8315e514e815ddb23fdc64fb8ec5f4

  4. Agda Mode v0.1.15 VSIX File (Old Version VSIX File)

    • Updated: September 7, 2020

    • Require: VS Code 1.41.0 and up

    • File Size: 495.21 KB (507095 Bytes)

    • MD5: 524f9a896e0cb33a480f075af8f7e5cb

    • SHA1: 5315b4adb70e9ea924441c40a455da0c294c545c

    • SHA256: 3a4b30b8433028a9fc2b7c2b773d5a0f8f9c1713e77665c5a885cf7a9470ed7d

  5. Agda Mode v0.1.14 VSIX File (Old Version VSIX File)

    • Updated: August 28, 2020

    • Require: VS Code 1.41.0 and up

    • File Size: 495.01 KB (506890 Bytes)

    • MD5: 1b6545cdd1ef6235776a73bbe0cde3b5

    • SHA1: 588196cc9ddce49646e403f7f069c6692ff42c42

    • SHA256: 271145ed0c23d91ba0c6c575a748642cb3faead65cfb43295868000341708c20

  6. Agda Mode v0.1.13 VSIX File (Old Version VSIX File)

    • Updated: August 20, 2020

    • Require: VS Code 1.41.0 and up

    • File Size: 495.00 KB (506880 Bytes)

    • MD5: 45976a9a78658c73db232ce4d372c3f7

    • SHA1: 5620b7da85d683cb1ef703b2c9d533338135580b

    • SHA256: f408d2ee6d445351f3c4122e45265288efcfac04ed73e8f61dca4cc4f2148f38

  7. Agda Mode v0.0.4 VSIX File (Old Version VSIX File)

    • Updated: June 22, 2020

    • Require: VS Code 1.41.0 and up

    • File Size: 218.40 KB (223645 Bytes)

    • MD5: ef8bb9dcc4f7d4077f88351933b713cc

    • SHA1: c895bd393b73af94f711245abf61d6c6759054ea

    • SHA256: b9587c6349892999049d62f40282b6fd5c6f552f8755217bdcb724d60bb2ce21

  8. Agda Mode v0.0.3 VSIX File (Old Version VSIX File)

    • Updated: June 4, 2020

    • Require: VS Code 1.41.0 and up

    • File Size: 124.78 KB (127775 Bytes)

    • MD5: 4aa606b7f6e0ab846edd634c4b9cd307

    • SHA1: 7d091477c42faf21a7e4006b574adbdb5ae01f97

    • SHA256: 3e5a6d9c4fbdb722e2cafc65009009575bad973d4af5a4fa711cc5a39e08fabf

  9. Agda Mode v0.0.2 VSIX File (Old Version VSIX File)

    • Updated: May 29, 2020

    • Require: VS Code 1.41.0 and up

    • File Size: 121.44 KB (124351 Bytes)

    • MD5: 784fd79fe5f6e4f869380ad2269166dd

    • SHA1: 24db05ef8756fad6f7544150e40ff51378dff0ff

    • SHA256: af61de1fc1e04995b6c8002b4db94399e7024ffb13aa61378c0f718159e7bfe8

More Extension to Consider (Similar or Related)