Agda Mode Icon Image

Agda Mode Vsix Version History - Page 2

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 2

  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.3.2 VSIX File (Old Version VSIX File)

    • Updated: September 27, 2021

    • Require: VS Code 1.41.0 and up

    • File Size: 467.07 KB (478279 Bytes)

    • MD5: ea1ef283bb41c080ca6472f105a8ce77

    • SHA1: 8d9eb0e0193bc5c0db5eced168f1f3498e527528

    • SHA256: 7bc1d6adb6d03fc5762d9deffcb4dbc95c30b99c42e93d63329b8d15058e342a

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

    • Updated: September 26, 2021

    • Require: VS Code 1.41.0 and up

    • File Size: 466.80 KB (478003 Bytes)

    • MD5: c7dda539c16929ee2c59dee1d8d329c1

    • SHA1: d2ebfc5de4f0113adf11441d91af3ced31e7d1e4

    • SHA256: c3c9edaa0ab094879d72f6ae95fd136d301a332186ec91c34ecc1d65a0707cd9

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

    • Updated: August 30, 2021

    • Require: VS Code 1.41.0 and up

    • File Size: 462.67 KB (473774 Bytes)

    • MD5: 386ab2b4c9adbf0e11dac5b5b3da2a6c

    • SHA1: 4e64a1175159a0e8d136fc50756238cceaec4dfc

    • SHA256: d8f15f17248ea3114465d61bd8117a5d079813281b4e7fd626e6fff0829f7356

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

    • Updated: August 17, 2021

    • Require: VS Code 1.41.0 and up

    • File Size: 407.42 KB (417198 Bytes)

    • MD5: d256aeeec16d633679e8b185629d3b95

    • SHA1: 3b2ddc6c51d3e62551704826e219e6fd07c1a649

    • SHA256: 5cf36a88a4b783c76ef4cc1222059cb5132c96b97298d8a84237424d956e9ad2

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

    • Updated: August 13, 2021

    • Require: VS Code 1.41.0 and up

    • File Size: 407.11 KB (416879 Bytes)

    • MD5: c17824c525abd2d80d64c51925917012

    • SHA1: 673c40bc95bd04cd847a30e29cf8392b2b18075f

    • SHA256: 39bbfdc070e45c0fbe13a290f1365b0f858d484d8aa644476962b61147f22b20

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

    • Updated: August 8, 2021

    • Require: VS Code 1.41.0 and up

    • File Size: 406.21 KB (415957 Bytes)

    • MD5: b5d91303f8ca6c12f93fb1a450d25563

    • SHA1: c67dd888197666f8d571d52c6cb5642aced9d6a4

    • SHA256: 6919e74d9a575891c131479372f81ecfb9a9ee4c051fc6c58ba8e9abdf672839

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

    • Updated: May 28, 2021

    • Require: VS Code 1.41.0 and up

    • File Size: 371.71 KB (380629 Bytes)

    • MD5: 73efbe7eddc9cdeb7ec56d66a0f03010

    • SHA1: 2637553b6eb1d55f9417aaca66bdddb66261af54

    • SHA256: 1863ae41ffa67cd26d531012d1082dde812f4606b5acf6a5a4a1497ed715529c

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

    • Updated: March 26, 2021

    • Require: VS Code 1.41.0 and up

    • File Size: 373.70 KB (382666 Bytes)

    • MD5: 6510d38dfe51a3bf17a63b243d283c2c

    • SHA1: b757a7889fc3208821501a666d37abb0dec640d9

    • SHA256: fbf8e4d295c9bd2607a038a2806c70b9bd5cf8297ab87fddb09e368a3b50561a

  10. Agda Mode v0.2.9 VSIX File (Old Version VSIX File)

    • Updated: March 14, 2021

    • Require: VS Code 1.41.0 and up

    • File Size: 371.89 KB (380811 Bytes)

    • MD5: 968244ea6e20153cea05605915992cce

    • SHA1: 2d8e3477093c257dd9e6ed1179ba8f09ffc9ff58

    • SHA256: b5f2ebb7e06fdb46bbe97edd8b5df15a91da3cba4a2f1f6882726c902329707f

  11. Agda Mode v0.2.8 VSIX File (Old Version VSIX File)

    • Updated: March 3, 2021

    • Require: VS Code 1.41.0 and up

    • File Size: 371.08 KB (379990 Bytes)

    • MD5: 08bbf7cd2fbe18e85dd2cbd6d97b5a41

    • SHA1: b98c9bbdbe81ff5dc5c7c9b846d1288eb3e7855d

    • SHA256: 0ac035899107a3f7b4488b5c163ed35bc19a4c3e75673fa588d187c27fb13323

  12. Agda Mode v0.2.7 VSIX File (Old Version VSIX File)

    • Updated: January 17, 2021

    • Require: VS Code 1.41.0 and up

    • File Size: 323.92 KB (331696 Bytes)

    • MD5: fcb273d83a7104aa23a0fd8f0c0925ea

    • SHA1: 77b3c925ee5c8e856cf4efa23c781a17daa663a7

    • SHA256: a3d1d19a3904dfd5797b210035f77e84b4cd7db41b7b32df14c533cd5430e61d

  13. Agda Mode v0.2.4 VSIX File (Old Version VSIX File)

    • Updated: January 13, 2021

    • Require: VS Code 1.41.0 and up

    • File Size: 323.41 KB (331168 Bytes)

    • MD5: 2459e3fac774fc1431b89d4732f472f6

    • SHA1: 4008c6f5f60f1454fb89d42e5f5d6f653b12d43e

    • SHA256: 04a73ee065b7b95f16c991895be8c0afb1fa822533641cbd3493ad87b32c672d

  14. Agda Mode v0.2.3 VSIX File (Old Version VSIX File)

    • Updated: December 23, 2020

    • Require: VS Code 1.41.0 and up

    • File Size: 322.09 KB (329817 Bytes)

    • MD5: 0796c76ee03c5deaab9a0bdce7b35b2f

    • SHA1: 24fca146eef41681155af6d93e7efedbc68d823f

    • SHA256: 9de73a8f831f8d678b30fc8eb93e9eb9ca754bfe4d5591228bf0b72a4b17747a

  15. Agda Mode v0.2.2 VSIX File (Old Version VSIX File)

    • Updated: November 23, 2020

    • Require: VS Code 1.41.0 and up

    • File Size: 322.04 KB (329774 Bytes)

    • MD5: 1a3855bdbfd229bf22499eecf5840bc5

    • SHA1: 76b427806f76444cbd44c6e054d906b04aadf4fa

    • SHA256: 14a39c1a88a507f4c46e5f100082af6800ddbd8fd8c65b4a44b8f738350ece8f

More Extension to Consider (Similar or Related)