Quint Vsix Version History
A Free Programming Languages Extension By Informal Systems
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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