Agda Mode Vsix Version History
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
-
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.4.6 VSIX File (Old Version VSIX File)
• Updated: December 9, 2023
• Require: VS Code 1.74.0 and up
• File Size: 546.25 KB (559364 Bytes)
• MD5: 64da3d88ac9ab92150483af1ada1cae4
• SHA1: 3b85f4a583d84cef245e05ab1537ca7642e2cea2
• SHA256: 7c4fa770a56710180cdca13d0084bf3b2e6e35126c03ed8e15f56d00493b769b
-
Agda Mode v0.4.4 VSIX File (Old Version VSIX File)
• Updated: December 3, 2023
• Require: VS Code 1.74.0 and up
• File Size: 566.26 KB (579846 Bytes)
• MD5: 53464076fd00ee71d7e814ebc75d50cb
• SHA1: ba1d392e0f29823a22535f65cae08419f0f245aa
• SHA256: 36c93d97aa33e1e519d3ddd32f5a826ba40abce45d0d2921e3eea0c85d08334e
-
Agda Mode v0.4.2 VSIX File (Old Version VSIX File)
• Updated: November 20, 2023
• Require: VS Code 1.41.0 and up
• File Size: 572.64 KB (586386 Bytes)
• MD5: b86bc4d88e95a6dabb195cb4b782e362
• SHA1: f6cb3e59e8b6619046400c6b71c7683d197d3c5b
• SHA256: d6ef96c9f23cf497740b42614bf4f237bfeaf631f40879ce73153bc4a7ece7a8
-
Agda Mode v0.4.1 VSIX File (Old Version VSIX File)
• Updated: September 4, 2023
• Require: VS Code 1.41.0 and up
• File Size: 563.89 KB (577428 Bytes)
• MD5: 1fc382641de28d6a904964cf7bc18e3e
• SHA1: e3333b18953d65006680f77c0d7221bd5ab2c804
• SHA256: 66dd8e89f852e412341dc31990a39ad60a95f55a63d2521447a55c1ef5f933da
-
Agda Mode v0.4.0 VSIX File (Old Version VSIX File)
• Updated: August 2, 2023
• Require: VS Code 1.41.0 and up
• File Size: 559.89 KB (573324 Bytes)
• MD5: d30a32abcaa88902fca204240e1b6ae7
• SHA1: 5584ddd48aea48a0fb5fb599b78cc76b0343198d
• SHA256: 1ff16068d942d0719a21a952d7b87bc6680a0f002d444d498181ee3885b8c1b0
-
Agda Mode v0.3.12 VSIX File (Old Version VSIX File)
• Updated: July 24, 2023
• Require: VS Code 1.41.0 and up
• File Size: 564.07 KB (577604 Bytes)
• MD5: 0df3cf1c49fc117882f10e3f18f97db5
• SHA1: e1f23697ec906aff9307d48cc91ad7fb273cb76b
• SHA256: 45acd7f9de3cc4b01407a62429583f13e2876ac395fc5dfde48feaffb0ccbba3
-
Agda Mode v0.3.11 VSIX File (Old Version VSIX File)
• Updated: August 11, 2022
• Require: VS Code 1.41.0 and up
• File Size: 489.80 KB (501551 Bytes)
• MD5: afd716389f18ba05d01888583f8d480f
• SHA1: 1d5849d3b6e36f758ba5a85b04e663ce86c26ef7
• SHA256: 8e71f7a0daaf90effe3a2fbc30cd51aa8a0f16b41930358b4849eb54b9dce552
-
Agda Mode v0.3.10 VSIX File (Old Version VSIX File)
• Updated: August 6, 2022
• Require: VS Code 1.41.0 and up
• File Size: 489.70 KB (501452 Bytes)
• MD5: 3e2f8cecca5308b161aed81bb6287ad8
• SHA1: 12feba5e2e393aaba08068fb4f2b1a3e49ea2c47
• SHA256: 624b6e166ee425997d5116f2bf1c2b41d45313e06c6d8fdd1192b9ef0dceb19f
-
Agda Mode v0.3.9 VSIX File (Old Version VSIX File)
• Updated: May 5, 2022
• Require: VS Code 1.41.0 and up
• File Size: 479.02 KB (490521 Bytes)
• MD5: fc842e1c422b4d755ea5900cb523f9c9
• SHA1: d36d7cac2255d5bd61d555dc85b587d117b4fd0b
• SHA256: ab3a40b440dc03013abe2a96d6c1dcd07b56ea012dca613f817d75da684d1747
-
Agda Mode v0.3.8 VSIX File (Old Version VSIX File)
• Updated: May 2, 2022
• Require: VS Code 1.41.0 and up
• File Size: 478.89 KB (490384 Bytes)
• MD5: aaf917d6375412aa662d8b01301082ef
• SHA1: ebf80e880b2a672466bcfdc8a60cc77f6e82ecd6
• SHA256: 0c26d6d5b1359ea14da89b4cfc243446e10b2284f82ac426ac41edcd6f46439d
-
Agda Mode v0.3.7 VSIX File (Old Version VSIX File)
• Updated: December 21, 2021
• Require: VS Code 1.41.0 and up
• File Size: 478.93 KB (490425 Bytes)
• MD5: a8ec28d659ee8208c0da00c901144ae0
• SHA1: 26f1cb9a6d17aa349c925d90f7d34073e456abef
• SHA256: 2be917c89d7249d3e241004a58f082df13508a2d33bb58de2890e446fd6ab442
-
Agda Mode v0.3.6 VSIX File (Old Version VSIX File)
• Updated: October 29, 2021
• Require: VS Code 1.41.0 and up
• File Size: 476.81 KB (488258 Bytes)
• MD5: 37498d21b56b4a5b29e009a5e9c3fec1
• SHA1: b94f9003fcb7cbb12845e1aafe1047745941559d
• SHA256: 959bcd78bd9a6d829a7fc2b02fab0fe72cbf792432990195635965b85812fac5
-
Agda Mode v0.3.5 VSIX File (Old Version VSIX File)
• Updated: October 25, 2021
• Require: VS Code 1.41.0 and up
• File Size: 476.80 KB (488248 Bytes)
• MD5: d820c44d400d201e4df3f9ef14d358fe
• SHA1: fafd57085dfb51057ddd97998f9f862375b49cb6
• SHA256: 56b48281246f7ff1629cec2fdd75e08cc146cc1db53cd59d82c4becb33f1cce8
-
Agda Mode v0.3.4 VSIX File (Old Version VSIX File)
• Updated: October 22, 2021
• Require: VS Code 1.41.0 and up
• File Size: 476.74 KB (488178 Bytes)
• MD5: c7a6b72ece05f6172ca37c0f82ddb893
• SHA1: 8eb84c49922898d1bcd158830754f0f7d90b9745
• SHA256: 1b2f8aae6636074b959668dc56edb3d390419f2d19d5f7ee1e803033b9f1b72f