{ "rev": "refs/tags/v0.1.8", "version": "0.1.8", "hash": "chCu/JmgzW5Y6UBfAPy8zolL9Rp3zATLEZ3lZ/zPP0U=", "paths": { "plugins": ["tla-workbenches"] } }