Agda Mode Vsix Version History - Page 2
A Free Other Extension By Ting-Gian LUA
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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