VSCoq Icon Image

VSCoq Vsix Version History

A Free Programming Languages Extension By Maxime Dénès

4 Votes, Average: 5 out of 5 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

  1. 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

  2. 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

  3. 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

  4. 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

  5. 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

  6. 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

  7. 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

  8. 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

  9. 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

  10. 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

  11. 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

  12. 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

  13. 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

  14. 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

  15. 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

More Extension to Consider (Similar or Related)