Quint Icon Image

Quint Vsix Version History

A Free Programming Languages Extension By Informal Systems

0 Votes, Average: 0 out of 5 Downloads: 0 Updated: May 14, 2024

VsixHub collected total 26 versions for Quint VSIX (informal.quint-vscode). You could download one of the legacy or old version of it.

Quint Extension for VSCode Version History

  1. Quint v0.14.3 VSIX File (Latest Version VSIX File)

    • Updated: May 14, 2024

    • Require: VS Code 1.52.0 and up

    • File Size: 43.92 MB (46049822 Bytes)

    • MD5: 716f90a5ad873d987860a95136cf32f4

    • SHA1: 4b3174b1eb1e5afea4f2dde4e05cebfa69836eb6

    • SHA256: 53a01d17fb19527324a20ca332faa05d6242f7e17aa3dbf5968cf002bfe3c01b

  2. Quint v0.14.2 VSIX File (Old Version VSIX File)

    • Updated: May 7, 2024

    • Require: VS Code 1.52.0 and up

    • File Size: 44.09 MB (46227953 Bytes)

    • MD5: f69d294296489d88cfabba0984bab790

    • SHA1: 520a37cd39c550289897fa96f1735fe8c2cad8df

    • SHA256: 449a8c475abd4360b4483b5985b4f67f83c0fe913b16b3092431056176ea61d7

  3. Quint v0.14.1 VSIX File (Old Version VSIX File)

    • Updated: April 10, 2024

    • Require: VS Code 1.52.0 and up

    • File Size: 44.08 MB (46220817 Bytes)

    • MD5: f3924e089380f0e25fe30052a4935f6c

    • SHA1: b690d9bf4bd45144f1e3c8ee20592755ba5b5d18

    • SHA256: fad87817aeb56931062b45cb8b7f7f9a9b5bc444d6a8b0d2a86bb84a418a8191

  4. Quint v0.14.0 VSIX File (Old Version VSIX File)

    • Updated: March 26, 2024

    • Require: VS Code 1.52.0 and up

    • File Size: 39.35 MB (41259945 Bytes)

    • MD5: 4453603ee98064df5653e8155555f30b

    • SHA1: a390b11c63d28327ee1a49733611eebe50833f73

    • SHA256: e3a1b6e7763ccff13082a2eccaf02fa5a58e9857fbab1d529e50914e1082934c

  5. Quint v0.13.7 VSIX File (Old Version VSIX File)

    • Updated: February 9, 2024

    • Require: VS Code 1.52.0 and up

    • File Size: 40.76 MB (42741756 Bytes)

    • MD5: cef145c1bb10def34dc7741aa7e54144

    • SHA1: 86edb24fc47c3aae8f3ef1b043597e123e7d7850

    • SHA256: 82709a5711c6d0cea64827942e2c03c1d4758d2d620b386e1c8e63ec8fd30247

  6. Quint v0.13.2 VSIX File (Old Version VSIX File)

    • Updated: January 26, 2024

    • Require: VS Code 1.52.0 and up

    • File Size: 40.76 MB (42739951 Bytes)

    • MD5: 8039f510af5db2f5cd593f719ca1e281

    • SHA1: f6809020e6e876116546079eeea20463d7933005

    • SHA256: b8c5e2ac207eef97a6295a8709387417d35432ec21c1793bfcf61afc3c52bd8b

  7. Quint v0.13.1 VSIX File (Old Version VSIX File)

    • Updated: January 17, 2024

    • Require: VS Code 1.52.0 and up

    • File Size: 40.75 MB (42733924 Bytes)

    • MD5: 6bc0e4c16f348175198958b5a7c420c3

    • SHA1: 4e8515e236c13e34a8bde30f15f530340925093e

    • SHA256: 11d8783e3ed4591ea0c9e4b678cccac48714bc40c62e4af679e121ee5aff8b17

  8. Quint v0.13.0 VSIX File (Old Version VSIX File)

    • Updated: January 4, 2024

    • Require: VS Code 1.52.0 and up

    • File Size: 40.75 MB (42732945 Bytes)

    • MD5: 8dcaaf1f43018e995ce546b9ac858aa9

    • SHA1: 2125f4fa86a8adcbc40a916533cb0dd31b611afa

    • SHA256: 1a9a9c9efe8fa11374b24e780367cff2f4e49b72aea2377a5b3974854c6da6ff

  9. Quint v0.12.2 VSIX File (Old Version VSIX File)

    • Updated: December 19, 2023

    • Require: VS Code 1.52.0 and up

    • File Size: 40.75 MB (42732716 Bytes)

    • MD5: 420e09ffa36730dd5bae637f241b8bd4

    • SHA1: c4dfb3f252548df76bdda72d4092a90848323fb3

    • SHA256: 63bec662fbe31d96a51b5af62bcfd387b54365a7fd3af2ff1df1ca03736c9452

  10. Quint v0.12.1 VSIX File (Old Version VSIX File)

    • Updated: December 6, 2023

    • Require: VS Code 1.52.0 and up

    • File Size: 39.43 MB (41343712 Bytes)

    • MD5: 8ba14ae4c345d0d7148308bbbf81a953

    • SHA1: f64256b2879ea4976336de9d9e8cda216d418d43

    • SHA256: 1fcdb1271eae192e50952544d93c5a09506debba87dc4657e05500f127d9c262

  11. Quint v0.11.0 VSIX File (Old Version VSIX File)

    • Updated: November 22, 2023

    • Require: VS Code 1.52.0 and up

    • File Size: 40.74 MB (42715831 Bytes)

    • MD5: bef34f5385420504d7fe5a17a1aa8902

    • SHA1: fcb72a4783b7c989178368ef21b0870ca1dcd097

    • SHA256: 314a630436287c4e440a2147ebf0a3e7c003f03dd618daa5b33893aec83a7e65

  12. Quint v0.10.0 VSIX File (Old Version VSIX File)

    • Updated: November 9, 2023

    • Require: VS Code 1.52.0 and up

    • File Size: 39.42 MB (41331165 Bytes)

    • MD5: acdb2a986b9edbf7b5ad9704e004e152

    • SHA1: b9e76aac1ac59654b11ffc7234216b77261fa9ee

    • SHA256: df28632775f290f0587545185bb38280d5a0352f42fa4bd1fb944b1d0c802974

  13. Quint v0.9.1 VSIX File (Old Version VSIX File)

    • Updated: October 2, 2023

    • Require: VS Code 1.52.0 and up

    • File Size: 40.69 MB (42671709 Bytes)

    • MD5: 7546f9ab37f8557d83996efcb1e0e179

    • SHA1: 7fc5de2d9f6217e9f126c972d29c2d514c014f9f

    • SHA256: d5f06bfc252049cd0207eb3c2f2175402c669ba7b0ec82d3b568d98265b8d5d3

  14. Quint v0.9.0 VSIX File (Old Version VSIX File)

    • Updated: September 20, 2023

    • Require: VS Code 1.52.0 and up

    • File Size: 40.69 MB (42670624 Bytes)

    • MD5: 564105b197060e2d06e9fe14b54108fb

    • SHA1: f0f5d14b2fe72983e0879e8a6ecee89d7ab82b00

    • SHA256: 7dbfc293dcbecf0da173b599bb72237859de655486e63c3a97d168eb244993a7

  15. Quint v0.8.0 VSIX File (Old Version VSIX File)

    • Updated: August 26, 2023

    • Require: VS Code 1.52.0 and up

    • File Size: 40.73 MB (42710858 Bytes)

    • MD5: 9347541fc647fefab1da4484bf7f1740

    • SHA1: 1924930f38afe13a97a105ca26fa9d85c09ff06f

    • SHA256: 1118e71fcead1b48b57378f3f718a5949786ca84baef4f462369915f8c79c820

More Extension to Consider (Similar or Related)