VSCoq Vsix Version History
A Free Programming Languages Extension By Maxime Dénès
Downloads: 11 Updated: February 21, 2024
VsixHub collected total 17 versions for VSCoq VSIX (maximedenes.vscoq). You could download one of the legacy or old version of it.
VSCoq Extension for VSCode Version History
-
VSCoq v2.1.2 VSIX File (Latest Version VSIX File)
• Updated: February 21, 2024
• Require: VS Code 1.74.0 and up
• File Size: 287.62 KB (294523 Bytes)
• MD5: 1016ab1b5a8e695cfe647c285796e9fe
• SHA1: 5fa00392975a38af738b424ff91135942bb22677
• SHA256: 723a432ab9f50610baead34933ce9c32e2eb0968317a7f8c7d2219f1c9b32031
-
VSCoq v2.1.0 VSIX File (Old Version VSIX File)
• Updated: February 13, 2024
• Require: VS Code 1.74.0 and up
• File Size: 266.27 KB (272665 Bytes)
• MD5: 3f0d7d8fac5fa42e48b5b021cb74b044
• SHA1: 8fa0a37a7f875a3ad7195309af8bf9e6c681cdbf
• SHA256: 3391068779b9055ec056bacfd958b5700cfa004a23ccc8faa93b60b0092ed2ff
-
VSCoq v2.0.3 VSIX File (Old Version VSIX File)
• Updated: December 6, 2023
• Require: VS Code 1.74.0 and up
• File Size: 269.79 KB (276261 Bytes)
• MD5: 98bb7a981b17b73c21b32dd44cdbc044
• SHA1: b37505d48f1ea28b6961e1cd91e06b23478f5446
• SHA256: 658c9084eb335b214598093c3f8dafa053f61654228424fa167973571cbb28ca
-
VSCoq v2.0.2 VSIX File (Old Version VSIX File)
• Updated: October 17, 2023
• Require: VS Code 1.74.0 and up
• File Size: 269.57 KB (276040 Bytes)
• MD5: 52c6fcc10f9cdaadbf668f5b3ec49d10
• SHA1: aae6e5e09b632dc5e3d9bf738b5c92a758ba0588
• SHA256: a66bdcd529e6c5ce0c5ad6da819f2dd8c6a15904619b2eba814334c2a079aab9
-
VSCoq v2.0.1 VSIX File (Old Version VSIX File)
• Updated: September 20, 2023
• Require: VS Code 1.74.0 and up
• File Size: 268.02 KB (274456 Bytes)
• MD5: bb8f46c556d84354a174aa67c96927d1
• SHA1: f09147499449517363ba30a8cbe2e0b39fb61ef2
• SHA256: 4ac6e20fde50e63ce8168464c5eec3b5e7f796e3a716aed6d97b939a1d46ca1f
-
VSCoq v2.0.0 VSIX File (Old Version VSIX File)
• Updated: September 15, 2023
• Require: VS Code 1.74.0 and up
• File Size: 267.56 KB (273986 Bytes)
• MD5: 6b32b7d1afa56642387af71664108d05
• SHA1: 7951a13d09a60261dc846f5f52dc60d6cc794cc1
• SHA256: f95792e842cc4ba48999bb0bba77c945d4f44e6cac982821e80a4ce2891b5a74
-
VSCoq v1.9.3 VSIX File (Old Version VSIX File)
• Updated: August 28, 2023
• Require: VS Code 1.74.0 and up
• File Size: 267.66 KB (274084 Bytes)
• MD5: 692c8febcccb08e040561ed6af75a053
• SHA1: 3b5df1fb8365c5242344768ee3f06b1deffc3031
• SHA256: f159169eae96c8450d8ec808bee838bdce20eaf3607d0fb1dcd93dc6e5df7326
-
VSCoq v1.9.2 VSIX File (Old Version VSIX File)
• Updated: August 23, 2023
• Require: VS Code 1.74.0 and up
• File Size: 265.58 KB (271949 Bytes)
• MD5: 4d6519971c0e739a7a9cdc7955882749
• SHA1: e4671b7fcddec495790f6362678bdd5f67caffb7
• SHA256: 1326a76f91903d1566afc6d96c3cd59ac153084e192d0d314537ac86aac1b537
-
VSCoq v1.9.0 VSIX File (Old Version VSIX File)
• Updated: August 5, 2023
• Require: VS Code 1.74.0 and up
• File Size: 263.92 KB (270253 Bytes)
• MD5: fdd8c8a94cc65d4880b7483af1e59777
• SHA1: 8f244c7fc07f24d28247b06a68c740cd3d2d3894
• SHA256: e92d5891acf596cc70fa94ebcbaf99ccc1f9422157bcd91fdd4535697ecaf372
-
VSCoq v0.3.8 VSIX File (Old Version VSIX File)
• Updated: March 1, 2023
• Require: VS Code 1.38.0 and up
• File Size: 2.29 MB (2397688 Bytes)
• MD5: dc70d45b3d560b8e47d76915622705cd
• SHA1: 24fa046430b086dec60a8da5df23f875665b71c1
• SHA256: d055f9281b2f52623e24c1819da2379099a60fe63a5c597b2d11d4d000db1e8b
-
VSCoq v0.3.7 VSIX File (Old Version VSIX File)
• Updated: January 11, 2023
• Require: VS Code 1.38.0 and up
• File Size: 8.86 MB (9288550 Bytes)
• MD5: 67ac19c136948eb198732d0661e554fc
• SHA1: 961be0abad0696cea0c0d7e68aa067b34a22ab9b
• SHA256: 413f9f6f6de0f885e534a3406e3003129aab4ba965d96f18774633c090238504
-
VSCoq v0.3.6 VSIX File (Old Version VSIX File)
• Updated: January 3, 2022
• Require: VS Code 1.38.0 and up
• File Size: 1.37 MB (1438828 Bytes)
• MD5: 2420118a9f7454a9cb63777606a56799
• SHA1: d1c2611b7cb1e03344a67967ef7645714ec872c1
• SHA256: 6f4802684cede72023e77a0b159497483ddbba6f49d5f61eb3fb9ff7e3a551e9
-
VSCoq v0.3.5 VSIX File (Old Version VSIX File)
• Updated: June 14, 2021
• Require: VS Code 1.38.0 and up
• File Size: 15.94 MB (16710465 Bytes)
• MD5: 11de462806d6105d202f56b956ed130e
• SHA1: 9690a7389577e82c5d2146270f1916693092018a
• SHA256: 9948ca8ec05466981f30e58246711b510a5cee782cf83c2fc8ba039219698417
-
VSCoq v0.3.4 VSIX File (Old Version VSIX File)
• Updated: March 15, 2021
• Require: VS Code 1.38.0 and up
• File Size: 2.94 MB (3082386 Bytes)
• MD5: b1c285fbe696111caa3cc888cfc974db
• SHA1: e9685538495ca40371765a7eb3a653f225781a44
• SHA256: 7c18010f52148a997f1a0379fa1b59d5664b5feb26b0f1526c1808fae22c8782
-
VSCoq v0.3.2 VSIX File (Old Version VSIX File)
• Updated: July 16, 2020
• Require: VS Code 1.38.0 and up
• File Size: 10.70 MB (11215664 Bytes)
• MD5: 9c7d922acdd3bf30bcee1bc0cc4129ca
• SHA1: c4395bdd6ac166a9a070f218d03121a00c378efc
• SHA256: 6ba511551bb80370bbcc7e57cb67a8cb18b7e7cbc21930619762c1bed557a5cc