{"name":"logicaffeine-lsp","vers":"0.8.0","deps":[{"name":"dashmap","req":"^6","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"env_logger","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"log","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicaffeine-base","req":"^0.8.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicaffeine-compile","req":"^0.8.0","features":["codegen"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicaffeine-language","req":"^0.8.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicaffeine-proof","req":"^0.8.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio","req":"^1","features":["full"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tower-lsp","req":"^0.20","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"b5905283da6fa3ec6e9d31dc5c68d3b74f694693e1f0ef8d2d12d5e096e9156b","features":{},"yanked":false,"rust_version":"1.75","pubtime":"2026-02-11T06:48:35Z"}
{"name":"logicaffeine-lsp","vers":"0.8.1","deps":[{"name":"dashmap","req":"^6","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"env_logger","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"log","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicaffeine-base","req":"^0.8.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicaffeine-compile","req":"^0.8.1","features":["codegen"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicaffeine-language","req":"^0.8.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicaffeine-proof","req":"^0.8.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio","req":"^1","features":["full"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tower-lsp","req":"^0.20","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"af04b9fc26eb26d2f9f7adeb7017873d35043a1d6acb97fc20803f1aaf04d218","features":{},"yanked":false,"rust_version":"1.75","pubtime":"2026-02-11T07:04:25Z"}
{"name":"logicaffeine-lsp","vers":"0.8.2","deps":[{"name":"dashmap","req":"^6","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"env_logger","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"log","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicaffeine-base","req":"^0.8.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicaffeine-compile","req":"^0.8.2","features":["codegen"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicaffeine-language","req":"^0.8.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicaffeine-proof","req":"^0.8.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio","req":"^1","features":["full"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tower-lsp","req":"^0.20","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"6863b57a4089d01ee899bf81e33c9b9c25cee58a51a28b8f3ed012b921d3ac83","features":{},"yanked":false,"rust_version":"1.75","pubtime":"2026-02-12T07:34:22Z"}
{"name":"logicaffeine-lsp","vers":"0.8.3","deps":[{"name":"dashmap","req":"^6","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"env_logger","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"log","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicaffeine-base","req":"^0.8.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicaffeine-compile","req":"^0.8.3","features":["codegen"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicaffeine-language","req":"^0.8.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicaffeine-proof","req":"^0.8.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio","req":"^1","features":["full"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tower-lsp","req":"^0.20","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"2a36070d1eb69dfd11ed375ce98d72440ff613a86ca06b3ad129692f678fb0a7","features":{},"yanked":false,"rust_version":"1.75","pubtime":"2026-02-12T08:37:49Z"}
{"name":"logicaffeine-lsp","vers":"0.8.4","deps":[{"name":"dashmap","req":"^6","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"env_logger","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"log","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicaffeine-base","req":"^0.8.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicaffeine-compile","req":"^0.8.4","features":["codegen"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicaffeine-language","req":"^0.8.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicaffeine-proof","req":"^0.8.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio","req":"^1","features":["full"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tower-lsp","req":"^0.20","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"86b75270670992e660abaa4c2d14594d57b1307347d1dc3865836ebf5b578472","features":{},"yanked":false,"rust_version":"1.75","pubtime":"2026-02-14T04:57:26Z"}
{"name":"logicaffeine-lsp","vers":"0.8.5","deps":[{"name":"dashmap","req":"^6","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"env_logger","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"log","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicaffeine-base","req":"^0.8.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicaffeine-compile","req":"^0.8.5","features":["codegen"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicaffeine-language","req":"^0.8.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicaffeine-proof","req":"^0.8.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio","req":"^1","features":["full"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tower-lsp","req":"^0.20","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"d38eb197b204acfcf510ac07870b7d2f1afd47aff69e55fcb11802758a825d8e","features":{},"yanked":false,"rust_version":"1.75","pubtime":"2026-02-14T05:03:46Z"}
{"name":"logicaffeine-lsp","vers":"0.8.6","deps":[{"name":"dashmap","req":"^6","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"env_logger","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"log","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicaffeine-base","req":"^0.8.6","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicaffeine-compile","req":"^0.8.6","features":["codegen"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicaffeine-language","req":"^0.8.6","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicaffeine-proof","req":"^0.8.6","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio","req":"^1","features":["full"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tower-lsp","req":"^0.20","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"8f544511801ebe6d7ec0faa53b5240fcd03f01c2cbc5de002e9796eaac8491c8","features":{},"yanked":false,"rust_version":"1.75","pubtime":"2026-02-14T05:41:13Z"}
{"name":"logicaffeine-lsp","vers":"0.8.7","deps":[{"name":"dashmap","req":"^6","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"env_logger","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"log","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicaffeine-base","req":"^0.8.7","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicaffeine-compile","req":"^0.8.7","features":["codegen"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicaffeine-language","req":"^0.8.7","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicaffeine-proof","req":"^0.8.7","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio","req":"^1","features":["full"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tower-lsp","req":"^0.20","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"37f6ef45ee152a3b377cc1573db677e41f961bac37b1b2fbf2ae22a8a3dab6fc","features":{},"yanked":false,"rust_version":"1.75","pubtime":"2026-02-14T08:43:51Z"}
{"name":"logicaffeine-lsp","vers":"0.8.8","deps":[{"name":"dashmap","req":"^6","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"env_logger","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"log","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicaffeine-base","req":"^0.8.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicaffeine-compile","req":"^0.8.8","features":["codegen"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicaffeine-language","req":"^0.8.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicaffeine-proof","req":"^0.8.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio","req":"^1","features":["full"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tower-lsp","req":"^0.20","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"c68197c33583b7ddf14da30fca32c0579802055a95a0756fc2a73230d397295d","features":{},"yanked":false,"rust_version":"1.75","pubtime":"2026-02-14T09:11:33Z"}
{"name":"logicaffeine-lsp","vers":"0.8.9","deps":[{"name":"dashmap","req":"^6","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"env_logger","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"log","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicaffeine-base","req":"^0.8.9","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicaffeine-compile","req":"^0.8.9","features":["codegen"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicaffeine-language","req":"^0.8.9","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicaffeine-proof","req":"^0.8.9","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio","req":"^1","features":["full"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tower-lsp","req":"^0.20","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"7848e9a335e963ac483fc8070bf9ed631ef5ec04747671ddba6f441870618afa","features":{},"yanked":false,"rust_version":"1.75","pubtime":"2026-02-14T09:36:12Z"}
{"name":"logicaffeine-lsp","vers":"0.8.10","deps":[{"name":"dashmap","req":"^6","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"env_logger","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"log","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicaffeine-base","req":"^0.8.10","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicaffeine-compile","req":"^0.8.10","features":["codegen"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicaffeine-language","req":"^0.8.10","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicaffeine-proof","req":"^0.8.10","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio","req":"^1","features":["full"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tower-lsp","req":"^0.20","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"fde3e6c828976c8377bdf89ee733ff012e4fb79523c981cb7262ed4277e03ad2","features":{},"yanked":false,"rust_version":"1.75","pubtime":"2026-02-14T17:53:31Z"}
{"name":"logicaffeine-lsp","vers":"0.8.11","deps":[{"name":"dashmap","req":"^6","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"env_logger","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"log","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicaffeine-base","req":"^0.8.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicaffeine-compile","req":"^0.8.11","features":["codegen"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicaffeine-language","req":"^0.8.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicaffeine-proof","req":"^0.8.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio","req":"^1","features":["full"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tower-lsp","req":"^0.20","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"139fc75f217f31b0d65e38c4173d43508739df21eaeee9ef57949f9fd5fcd070","features":{},"yanked":false,"rust_version":"1.75","pubtime":"2026-02-14T20:07:13Z"}
{"name":"logicaffeine-lsp","vers":"0.8.12","deps":[{"name":"dashmap","req":"^6","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"env_logger","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"log","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicaffeine-base","req":"^0.8.12","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicaffeine-compile","req":"^0.8.12","features":["codegen"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicaffeine-language","req":"^0.8.12","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicaffeine-proof","req":"^0.8.12","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio","req":"^1","features":["full"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tower-lsp","req":"^0.20","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"536b7604e4bcde2e2bcadb3ed60531c7e894ee1dbecf8b7049fc2fa0d7892719","features":{},"yanked":false,"rust_version":"1.75","pubtime":"2026-02-15T02:39:46Z"}
{"name":"logicaffeine-lsp","vers":"0.8.13","deps":[{"name":"dashmap","req":"^6","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"env_logger","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"log","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicaffeine-base","req":"^0.8.13","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicaffeine-compile","req":"^0.8.13","features":["codegen"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicaffeine-language","req":"^0.8.13","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicaffeine-proof","req":"^0.8.13","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio","req":"^1","features":["full"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tower-lsp","req":"^0.20","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"417ca525c89debae88fbadc800da63ae95e99c03d7ca24fb2d738e91fd829375","features":{},"yanked":false,"rust_version":"1.75","pubtime":"2026-02-15T05:26:08Z"}
{"name":"logicaffeine-lsp","vers":"0.8.14","deps":[{"name":"dashmap","req":"^6","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"env_logger","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"log","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicaffeine-base","req":"^0.8.14","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicaffeine-compile","req":"^0.8.14","features":["codegen"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicaffeine-language","req":"^0.8.14","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicaffeine-proof","req":"^0.8.14","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio","req":"^1","features":["full"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tower-lsp","req":"^0.20","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"8b458c0d810a90ee93444c57420f2e6e4bc283ee39ec6d1b202e1a6a5fa94025","features":{},"yanked":false,"rust_version":"1.75","pubtime":"2026-02-15T08:44:12Z"}
{"name":"logicaffeine-lsp","vers":"0.8.15","deps":[{"name":"dashmap","req":"^6","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"env_logger","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"log","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicaffeine-base","req":"^0.8.15","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicaffeine-compile","req":"^0.8.15","features":["codegen"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicaffeine-language","req":"^0.8.15","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicaffeine-proof","req":"^0.8.15","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio","req":"^1","features":["full"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tower-lsp","req":"^0.20","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"37eea74e66bef597f92f47e5fd69a43a1125fbeea99bcfb3b3716697c2579acf","features":{},"yanked":false,"rust_version":"1.75","pubtime":"2026-02-15T10:16:27Z"}
{"name":"logicaffeine-lsp","vers":"0.8.16","deps":[{"name":"dashmap","req":"^6","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"env_logger","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"log","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicaffeine-base","req":"^0.8.16","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicaffeine-compile","req":"^0.8.16","features":["codegen"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicaffeine-language","req":"^0.8.16","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicaffeine-proof","req":"^0.8.16","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio","req":"^1","features":["full"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tower-lsp","req":"^0.20","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"27e9f6a3b6d033fb942d7e6502ddd8dfc2eda077183a1e2d9498cb9f48137df0","features":{},"yanked":false,"rust_version":"1.75","pubtime":"2026-02-15T11:36:49Z"}
{"name":"logicaffeine-lsp","vers":"0.8.17","deps":[{"name":"dashmap","req":"^6","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"env_logger","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"log","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicaffeine-base","req":"^0.8.17","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicaffeine-compile","req":"^0.8.17","features":["codegen"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicaffeine-language","req":"^0.8.17","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicaffeine-proof","req":"^0.8.17","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio","req":"^1","features":["full"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tower-lsp","req":"^0.20","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"b59e9f25b3cae8761fc83ba35f94981c2579cefdc8fe759bfd2efed5e305a79c","features":{},"yanked":false,"rust_version":"1.75","pubtime":"2026-02-16T03:02:37Z"}
{"name":"logicaffeine-lsp","vers":"0.8.18","deps":[{"name":"dashmap","req":"^6","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"env_logger","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"log","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicaffeine-base","req":"^0.8.18","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicaffeine-compile","req":"^0.8.18","features":["codegen"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicaffeine-language","req":"^0.8.18","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicaffeine-proof","req":"^0.8.18","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio","req":"^1","features":["full"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tower-lsp","req":"^0.20","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"182584e5545a87aa03e5db4f1fed24221cd83abba5429ff7865df58129525198","features":{},"yanked":false,"rust_version":"1.75","pubtime":"2026-02-16T04:14:53Z"}
{"name":"logicaffeine-lsp","vers":"0.8.19","deps":[{"name":"dashmap","req":"^6","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"env_logger","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"log","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicaffeine-base","req":"^0.8.19","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicaffeine-compile","req":"^0.8.19","features":["codegen"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicaffeine-language","req":"^0.8.19","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicaffeine-proof","req":"^0.8.19","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio","req":"^1","features":["full"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tower-lsp","req":"^0.20","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"3707608eb48ae5d21020bf0da0e5f8189b6bf1af5995e98c3c19027c4d5fb5ff","features":{},"yanked":false,"rust_version":"1.75","pubtime":"2026-02-16T06:07:35Z"}
{"name":"logicaffeine-lsp","vers":"0.9.0","deps":[{"name":"dashmap","req":"^6","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"env_logger","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"log","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicaffeine-base","req":"^0.9.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicaffeine-compile","req":"^0.9.0","features":["codegen"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicaffeine-language","req":"^0.9.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicaffeine-proof","req":"^0.9.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio","req":"^1","features":["full"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tower-lsp","req":"^0.20","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"959f6e475ddd7f22b7303ff568fe76d6194ea437242055c100a8c5f584c9ebfc","features":{},"yanked":false,"rust_version":"1.75","pubtime":"2026-02-28T08:04:18Z"}
{"name":"logicaffeine-lsp","vers":"0.9.1","deps":[{"name":"dashmap","req":"^6","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"env_logger","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"log","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicaffeine-base","req":"^0.9.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicaffeine-compile","req":"^0.9.1","features":["codegen"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicaffeine-language","req":"^0.9.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicaffeine-proof","req":"^0.9.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio","req":"^1","features":["full"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tower-lsp","req":"^0.20","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"17f4aff3018ab15b1ac8be233ae2215e5d2a437e7f12932f337acb0cf51eb80c","features":{},"yanked":false,"rust_version":"1.75","pubtime":"2026-02-28T08:35:31Z"}
{"name":"logicaffeine-lsp","vers":"0.9.2","deps":[{"name":"dashmap","req":"^6","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"env_logger","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"log","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicaffeine-base","req":"^0.9.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicaffeine-compile","req":"^0.9.2","features":["codegen"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicaffeine-language","req":"^0.9.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicaffeine-proof","req":"^0.9.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio","req":"^1","features":["full"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tower-lsp","req":"^0.20","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"e5196a5af9616bb61c725e8d5e50af13c34e05f55f12625ab2086412dff772f8","features":{},"yanked":false,"rust_version":"1.75","pubtime":"2026-02-28T09:54:11Z"}
{"name":"logicaffeine-lsp","vers":"0.9.3","deps":[{"name":"dashmap","req":"^6","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"env_logger","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"log","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicaffeine-base","req":"^0.9.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicaffeine-compile","req":"^0.9.3","features":["codegen"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicaffeine-language","req":"^0.9.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicaffeine-proof","req":"^0.9.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio","req":"^1","features":["full"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tower-lsp","req":"^0.20","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"99c4000859526d034a37f13428c679dea08db262acf6747606dba16a2233ed88","features":{},"yanked":false,"rust_version":"1.75","pubtime":"2026-03-06T20:42:30Z"}
{"name":"logicaffeine-lsp","vers":"0.9.4","deps":[{"name":"dashmap","req":"^6","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"env_logger","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"log","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicaffeine-base","req":"^0.9.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicaffeine-compile","req":"^0.9.4","features":["codegen"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicaffeine-language","req":"^0.9.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicaffeine-proof","req":"^0.9.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio","req":"^1","features":["full"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tower-lsp","req":"^0.20","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"b965903b6f18ab3261278be8cdb10b282c5ce47b4f49dd5a20e162a3308b51f6","features":{},"yanked":false,"rust_version":"1.75","pubtime":"2026-03-16T22:08:47Z"}
{"name":"logicaffeine-lsp","vers":"0.9.5","deps":[{"name":"dashmap","req":"^6","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"env_logger","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"log","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicaffeine-base","req":"^0.9.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicaffeine-compile","req":"^0.9.5","features":["codegen"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicaffeine-language","req":"^0.9.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicaffeine-proof","req":"^0.9.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio","req":"^1","features":["full"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tower-lsp","req":"^0.20","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"6f78c9e2b4e7525b6d4e0eda8ce166dab81a4eded4de6efe2013b564529d0a93","features":{},"yanked":false,"rust_version":"1.75","pubtime":"2026-03-17T18:22:51Z"}
{"name":"logicaffeine-lsp","vers":"0.9.6","deps":[{"name":"dashmap","req":"^6","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"env_logger","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"log","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicaffeine-base","req":"^0.9.6","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicaffeine-compile","req":"^0.9.6","features":["codegen"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicaffeine-language","req":"^0.9.6","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicaffeine-proof","req":"^0.9.6","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio","req":"^1","features":["full"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tower-lsp","req":"^0.20","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"14834eae2a448fb5bc7148f7e5d169070663535db7c0555b82cf913ca8c1681e","features":{},"yanked":false,"rust_version":"1.75","pubtime":"2026-03-19T11:26:07Z"}
{"name":"logicaffeine-lsp","vers":"0.9.7","deps":[{"name":"dashmap","req":"^6","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"env_logger","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"log","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicaffeine-base","req":"^0.9.7","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicaffeine-compile","req":"^0.9.7","features":["codegen"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicaffeine-language","req":"^0.9.7","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicaffeine-proof","req":"^0.9.7","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio","req":"^1","features":["full"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tower-lsp","req":"^0.20","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"400cbfcd39860f6e4e8cd8b821bfd60bf27b419071ff059af9fdf2c777ce1148","features":{},"yanked":false,"rust_version":"1.75","pubtime":"2026-03-19T11:51:02Z"}
{"name":"logicaffeine-lsp","vers":"0.9.8","deps":[{"name":"dashmap","req":"^6","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"env_logger","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"log","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicaffeine-base","req":"^0.9.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicaffeine-compile","req":"^0.9.8","features":["codegen"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicaffeine-language","req":"^0.9.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicaffeine-proof","req":"^0.9.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio","req":"^1","features":["full"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tower-lsp","req":"^0.20","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"7c9fdb80697956d37959cfc279e3837e8094c478a1ffea6123d9e39a9072e289","features":{},"yanked":false,"rust_version":"1.75","pubtime":"2026-03-19T14:24:48Z"}
{"name":"logicaffeine-lsp","vers":"0.9.9","deps":[{"name":"dashmap","req":"^6","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"env_logger","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"log","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicaffeine-base","req":"^0.9.9","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicaffeine-compile","req":"^0.9.9","features":["codegen"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicaffeine-language","req":"^0.9.9","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicaffeine-proof","req":"^0.9.9","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio","req":"^1","features":["full"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tower-lsp","req":"^0.20","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"e38cf761719c2aaf731fd55e493a11a96ff2b86ce21a78011af2db7468ba6a89","features":{},"yanked":false,"rust_version":"1.75","pubtime":"2026-03-29T08:28:03Z"}
{"name":"logicaffeine-lsp","vers":"0.9.10","deps":[{"name":"dashmap","req":"^6","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"env_logger","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"log","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicaffeine-base","req":"^0.9.10","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicaffeine-compile","req":"^0.9.10","features":["codegen"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicaffeine-language","req":"^0.9.10","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicaffeine-proof","req":"^0.9.10","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio","req":"^1","features":["full"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tower-lsp","req":"^0.20","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"145d4f13d804f546d33a8c00cca7cacb1188f5ac422d4fe2f92da1f2dc529645","features":{},"yanked":false,"rust_version":"1.75","pubtime":"2026-03-30T16:47:55Z"}
{"name":"logicaffeine-lsp","vers":"0.9.12","deps":[{"name":"dashmap","req":"^6","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"env_logger","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"log","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicaffeine-base","req":"^0.9.12","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicaffeine-compile","req":"^0.9.12","features":["codegen"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicaffeine-language","req":"^0.9.12","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicaffeine-proof","req":"^0.9.12","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio","req":"^1","features":["full"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tower-lsp","req":"^0.20","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"37dcf4218e859e972f5b75bea50bbd1d9e4efbc61e6a82f98c55e16c9827cb0b","features":{},"yanked":false,"rust_version":"1.75","pubtime":"2026-04-03T07:16:56Z"}
{"name":"logicaffeine-lsp","vers":"0.9.13","deps":[{"name":"dashmap","req":"^6","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"env_logger","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"log","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicaffeine-base","req":"^0.9.13","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicaffeine-compile","req":"^0.9.13","features":["codegen"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicaffeine-language","req":"^0.9.13","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicaffeine-proof","req":"^0.9.13","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio","req":"^1","features":["full"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tower-lsp","req":"^0.20","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"14f2b68287511825f62a69c5042ea9d4583bbfc99291feeb756ac86137dd259f","features":{},"yanked":false,"rust_version":"1.75","pubtime":"2026-04-03T21:43:41Z"}
{"name":"logicaffeine-lsp","vers":"0.9.14","deps":[{"name":"dashmap","req":"^6","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"env_logger","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"log","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicaffeine-base","req":"^0.9.14","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicaffeine-compile","req":"^0.9.14","features":["codegen"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicaffeine-language","req":"^0.9.14","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicaffeine-proof","req":"^0.9.14","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio","req":"^1","features":["full"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tower-lsp","req":"^0.20","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"097210c48eb58bc40cb3a05b3f335388c72ed1d385c46d29d14832f2cd416b94","features":{},"yanked":false,"rust_version":"1.75","pubtime":"2026-04-04T01:10:26Z"}
{"name":"logicaffeine-lsp","vers":"0.9.15","deps":[{"name":"dashmap","req":"^6","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"env_logger","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"log","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicaffeine-base","req":"^0.9.15","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicaffeine-compile","req":"^0.9.15","features":["codegen"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicaffeine-language","req":"^0.9.15","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicaffeine-proof","req":"^0.9.15","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio","req":"^1","features":["full"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tower-lsp","req":"^0.20","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"f2a22b8b95e83c419f5b3268f7e99ad488965b0b07db9ea5a9ce1c6a6c071f32","features":{},"yanked":false,"rust_version":"1.75","pubtime":"2026-04-05T05:23:01Z"}
{"name":"logicaffeine-lsp","vers":"0.9.16","deps":[{"name":"dashmap","req":"^6","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"env_logger","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"log","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicaffeine-base","req":"^0.9.16","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicaffeine-compile","req":"^0.9.16","features":["codegen"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicaffeine-language","req":"^0.9.16","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicaffeine-proof","req":"^0.9.16","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio","req":"^1","features":["full"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tower-lsp","req":"^0.20","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"ebe0876fec6dcdf86020b11b043b05d6cabf54f3aaac239270367436a87cccb2","features":{},"yanked":false,"rust_version":"1.75","pubtime":"2026-04-06T19:12:07Z"}