{"name":"oak-coq","vers":"0.0.0","deps":[{"name":"oak-core","req":"^0.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"oak-highlight","req":"^0.0.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"oak-pretty-print","req":"^0.0.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0.228","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"70f8f37fd07cc101239fe692c2901b9612db13fa0dc2e2acd7ff2a41707c34fb","features":{"default":[]},"yanked":false,"pubtime":"2025-10-20T12:20:31Z"}
{"name":"oak-coq","vers":"0.0.1","deps":[{"name":"axum","req":"^0.8.8","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"futures","req":"^0.3.31","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"oak-core","req":"^0.0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"oak-highlight","req":"^0.0.1","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"oak-hover","req":"^0.0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"oak-lsp","req":"^0.0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"oak-mcp","req":"^0.0.1","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"oak-pretty-print","req":"^0.0.1","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"oak-vfs","req":"^0.0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0.228","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio","req":"^1.43.0","features":["full"],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"5ab899d1d0438daec393931773c7509b579a0cd34ddb90fb4b281e32ea52b781","features":{"default":[]},"features2":{"axum":["mcp","dep:tokio","dep:axum","oak-mcp/axum","oak-lsp/axum"],"mcp":["dep:oak-mcp"]},"yanked":false,"pubtime":"2026-01-23T04:18:24Z","v":2}
{"name":"oak-coq","vers":"0.0.2","deps":[{"name":"futures","req":"^0.3.31","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"oak-core","req":"^0.0.2","features":["serde"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"oak-highlight","req":"^0.0.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"oak-hover","req":"^0.0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"oak-lsp","req":"^0.0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"oak-mcp","req":"^0.0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"oak-pretty-print","req":"^0.0.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"oak-vfs","req":"^0.0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0.227","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio","req":"^1.43.0","features":[],"optional":true,"default_features":false,"target":null,"kind":"normal"}],"cksum":"15fe731282b2854cdef73ddc9b45b36f173fce819a14110eb9071b056bc7f9bc","features":{"default":[]},"yanked":false,"pubtime":"2026-02-01T05:10:01Z"}
{"name":"oak-coq","vers":"0.0.3","deps":[{"name":"futures","req":"^0.3.31","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"oak-core","req":"^0.0.3","features":["serde"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"oak-highlight","req":"^0.0.3","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"oak-hover","req":"^0.0.3","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"oak-lsp","req":"^0.0.3","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"oak-mcp","req":"^0.0.3","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"oak-pretty-print","req":"^0.0.3","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"oak-vfs","req":"^0.0.3","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0.228","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio","req":"^1.49.0","features":[],"optional":true,"default_features":false,"target":null,"kind":"normal"}],"cksum":"44d7cbac1b13a29fcfa0642748dcf7e23d9f87b63b0b7da1935b81c743f8ce5b","features":{},"features2":{"default":["serde"],"lsp":["dep:oak-lsp","dep:oak-hover","dep:oak-vfs","oak-highlight","oak-pretty-print","dep:futures"],"mcp":["lsp","oak-mcp/io-std"],"oak-highlight":["dep:oak-highlight"],"oak-pretty-print":["dep:oak-pretty-print"],"serde":["dep:serde","oak-core/serde"]},"yanked":false,"pubtime":"2026-02-12T03:19:34Z","v":2}
{"name":"oak-coq","vers":"0.0.4","deps":[{"name":"futures","req":"^0.3.31","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"oak-core","req":"^0.0.4","features":["serde"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"oak-highlight","req":"^0.0.4","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"oak-hover","req":"^0.0.4","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"oak-lsp","req":"^0.0.4","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"oak-mcp","req":"^0.0.4","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"oak-pretty-print","req":"^0.0.4","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"oak-vfs","req":"^0.0.4","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0.228","features":["derive","rc"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio","req":"^1.49.0","features":[],"optional":true,"default_features":false,"target":null,"kind":"normal"}],"cksum":"3f6a58035cbb6071f6b5dec4ee7fbbafe2d9bf79aa3e9ea78ca1e2a7ef648e4c","features":{},"features2":{"default":["serde"],"lsp":["dep:oak-lsp","dep:oak-hover","dep:oak-vfs","oak-highlight","oak-pretty-print","dep:futures"],"mcp":["lsp","oak-mcp/io-std"],"serde":["dep:serde","oak-core/serde"]},"yanked":false,"pubtime":"2026-02-17T09:30:57Z","v":2}
{"name":"oak-coq","vers":"0.0.5","deps":[{"name":"futures","req":"^0.3.32","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"oak-core","req":"^0.0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"oak-highlight","req":"^0.0.5","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"oak-hover","req":"^0.0.5","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"oak-lsp","req":"^0.0.5","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"oak-mcp","req":"^0.0.5","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"oak-pretty-print","req":"^0.0.5","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"oak-vfs","req":"^0.0.5","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0.228","features":["derive","rc"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio","req":"^1.49.0","features":[],"optional":true,"default_features":false,"target":null,"kind":"normal"}],"cksum":"f25a814cf4025d85c287d271246105320744282882194565b14e5c8cef4c147a","features":{},"features2":{"default":["serde"],"lsp":["dep:oak-lsp","dep:oak-hover","dep:oak-vfs","oak-highlight","oak-pretty-print","dep:futures"],"mcp":["lsp","oak-mcp/io-std"],"serde":["dep:serde","oak-core/serde"]},"yanked":false,"pubtime":"2026-03-03T06:14:11Z","v":2}
{"name":"oak-coq","vers":"0.0.6","deps":[{"name":"futures","req":"^0.3.32","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"oak-core","req":"^0.0.6","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"oak-highlight","req":"^0.0.6","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"oak-hover","req":"^0.0.6","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"oak-lsp","req":"^0.0.6","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"oak-mcp","req":"^0.0.6","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"oak-pretty-print","req":"^0.0.6","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"oak-vfs","req":"^0.0.6","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0.228","features":["derive","rc"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio","req":"^1.49.0","features":[],"optional":true,"default_features":false,"target":null,"kind":"normal"}],"cksum":"7b9a1bd7360a60e90a54396b8534d7eec5f3b803c7ca1c4abe2a9ae9bb54fc2e","features":{},"features2":{"default":["serde"],"lsp":["dep:oak-lsp","dep:oak-hover","dep:oak-vfs","oak-highlight","oak-pretty-print","dep:futures"],"mcp":["lsp","oak-mcp/io-std"],"serde":["dep:serde","oak-core/serde"]},"yanked":false,"pubtime":"2026-03-04T13:05:27Z","v":2}
{"name":"oak-coq","vers":"0.0.7","deps":[{"name":"futures","req":"^0.3.32","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"oak-core","req":"^0.0.7","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"oak-highlight","req":"^0.0.7","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"oak-hover","req":"^0.0.7","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"oak-lsp","req":"^0.0.7","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"oak-mcp","req":"^0.0.7","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"oak-pretty-print","req":"^0.0.7","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"oak-vfs","req":"^0.0.7","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0.228","features":["derive","rc"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio","req":"^1.50.0","features":[],"optional":true,"default_features":false,"target":null,"kind":"normal"}],"cksum":"91b0ec4ca55de9a965adfd70a2509f8732d4d932c14ae46edfcbb8262c400de6","features":{},"features2":{"default":["serde"],"lsp":["dep:oak-lsp","dep:oak-hover","dep:oak-vfs","oak-highlight","oak-pretty-print","dep:futures"],"mcp":["lsp","oak-mcp/io-std"],"serde":["dep:serde","oak-core/serde"]},"yanked":false,"pubtime":"2026-03-17T09:17:20Z","v":2}
{"name":"oak-coq","vers":"0.0.8","deps":[{"name":"futures","req":"^0.3.32","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"oak-core","req":"^0.0.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"oak-highlight","req":"^0.0.8","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"oak-hover","req":"^0.0.8","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"oak-lsp","req":"^0.0.8","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"oak-mcp","req":"^0.0.8","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"oak-pretty-print","req":"^0.0.8","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"oak-vfs","req":"^0.0.8","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0.228","features":["derive","rc"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio","req":"^1.50.0","features":[],"optional":true,"default_features":false,"target":null,"kind":"normal"}],"cksum":"daf53409ebff6dcbbdb6f82a2f4ad402e5d6a1628d2ad574b343c11ea1d145d0","features":{},"features2":{"default":["serde"],"lsp":["dep:oak-lsp","dep:oak-hover","dep:oak-vfs","oak-highlight","oak-pretty-print","dep:futures"],"mcp":["lsp","oak-mcp/io-std"],"serde":["dep:serde","oak-core/serde"]},"yanked":false,"pubtime":"2026-03-20T03:12:37Z","v":2}
{"name":"oak-coq","vers":"0.0.9","deps":[{"name":"futures","req":"^0.3.32","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"oak-core","req":"^0.0.9","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"oak-highlight","req":"^0.0.9","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"oak-hover","req":"^0.0.9","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"oak-lsp","req":"^0.0.9","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"oak-mcp","req":"^0.0.9","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"oak-pretty-print","req":"^0.0.9","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"oak-testing","req":"^0.0.9","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"oak-vfs","req":"^0.0.9","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0.228","features":["derive","rc"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio","req":"^1.50.0","features":[],"optional":true,"default_features":false,"target":null,"kind":"normal"}],"cksum":"33a51b5910c396eed984ed95d8f5bdc3f87ce103341336e6a1900a819cfdfb22","features":{},"features2":{"default":["serde"],"lsp":["dep:oak-lsp","dep:oak-hover","dep:oak-vfs","oak-highlight","oak-pretty-print","dep:futures"],"mcp":["lsp","oak-mcp/io-std"],"serde":["dep:serde","oak-core/serde"]},"yanked":false,"pubtime":"2026-03-21T08:49:26Z","v":2}
{"name":"oak-coq","vers":"0.0.10","deps":[{"name":"futures","req":"^0.3.32","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"oak-core","req":"^0.0.10","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"oak-highlight","req":"^0.0.10","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"oak-hover","req":"^0.0.10","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"oak-lsp","req":"^0.0.10","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"oak-mcp","req":"^0.0.10","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"oak-pretty-print","req":"^0.0.10","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"oak-testing","req":"^0.0.10","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"oak-vfs","req":"^0.0.10","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0.228","features":["derive","rc"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio","req":"^1.50.0","features":[],"optional":true,"default_features":false,"target":null,"kind":"normal"}],"cksum":"1ef9859154746719d6ca2c7c2e8328530838a0e1f8839559f3c3c9a0a74a0efb","features":{},"features2":{"default":["serde"],"lsp":["dep:oak-lsp","dep:oak-hover","dep:oak-vfs","oak-highlight","oak-pretty-print","dep:futures"],"mcp":["lsp","oak-mcp/io-std"],"serde":["dep:serde","oak-core/serde"]},"yanked":false,"pubtime":"2026-03-24T03:26:02Z","v":2}
{"name":"oak-coq","vers":"0.0.11","deps":[{"name":"futures","req":"^0.3.32","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"oak-core","req":"^0.0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"oak-highlight","req":"^0.0.11","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"oak-hover","req":"^0.0.11","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"oak-lsp","req":"^0.0.11","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"oak-mcp","req":"^0.0.11","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"oak-pretty-print","req":"^0.0.11","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"oak-testing","req":"^0.0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"oak-vfs","req":"^0.0.11","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0.228","features":["derive","rc"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio","req":"^1.50.0","features":[],"optional":true,"default_features":false,"target":null,"kind":"normal"}],"cksum":"413f6db8a27181cd92513f311c4ba03b29958fb6125e8335801f97481d3c863e","features":{},"features2":{"default":["serde"],"lsp":["dep:oak-lsp","dep:oak-hover","dep:oak-vfs","oak-highlight","oak-pretty-print","dep:futures"],"mcp":["lsp","oak-mcp/io-std"],"serde":["dep:serde","oak-core/serde"]},"yanked":false,"pubtime":"2026-03-30T02:27:54Z","v":2}