1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42{"name":"arborium-agda","vers":"0.1.3","deps":[{"name":"arborium-sysroot","req":"^0.1.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"cc","req":"^1","features":["parallel"],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"tree-sitter-patched-arborium","req":"^0.25.10","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"f7f19922f3879fe458b258a0377fc410197233bd837274e568b4dc9b40fe6cfc","features":{},"yanked":false,"pubtime":"2025-12-04T22:12:49Z"}
{"name":"arborium-agda","vers":"0.622.0","deps":[{"name":"arborium-sysroot","req":"^0.3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"arborium-test-harness","req":"^0.3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"cc","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"tree-sitter-patched-arborium","req":"^0.25.10","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"c6a60406d45bfc22c07d44d2b09bc2568eba19b089f3b082e8daf59335cc5ace","features":{},"yanked":false,"rust_version":"1.85","pubtime":"2025-12-09T00:55:46Z"}
{"name":"arborium-agda","vers":"0.700.0","deps":[{"name":"arborium-sysroot","req":"^0.700.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"arborium-test-harness","req":"^0.700.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"arborium-tree-sitter","req":"^0.700.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"cc","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"}],"cksum":"def822237dc361a4f219230d05f30570a507219bca6e2d2323fa2d94488d7b61","features":{},"yanked":false,"rust_version":"1.85","pubtime":"2025-12-09T02:57:21Z"}
{"name":"arborium-agda","vers":"0.900.0","deps":[{"name":"arborium-sysroot","req":"^0.900.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"arborium-test-harness","req":"^0.900.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"arborium-tree-sitter","req":"^0.900.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"cc","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"}],"cksum":"843f7ceb85f27f939ecb5be8f1b4c3e4cb4026e10708a278be45717436a5a2f5","features":{},"yanked":false,"rust_version":"1.85","pubtime":"2025-12-09T08:22:38Z"}
{"name":"arborium-agda","vers":"0.901.0","deps":[{"name":"arborium-sysroot","req":"^0.901.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"arborium-test-harness","req":"^0.901.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"arborium-tree-sitter","req":"^0.901.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"cc","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"}],"cksum":"fae9c3b4fd244059816e7a44365e3735ecb29b707996b245042f826d0da42b4c","features":{},"yanked":false,"rust_version":"1.85","pubtime":"2025-12-09T09:32:16Z"}
{"name":"arborium-agda","vers":"1.0.0","deps":[{"name":"arborium-sysroot","req":"^1.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"arborium-test-harness","req":"^1.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"arborium-tree-sitter","req":"^1.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"cc","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"}],"cksum":"26e87c33ccbb5bca269ae8009c1b2eaf332a0bcb891587bde7ac98b2af02e4ee","features":{},"yanked":false,"rust_version":"1.85","pubtime":"2025-12-09T10:10:31Z"}
{"name":"arborium-agda","vers":"1.1.1","deps":[{"name":"arborium-sysroot","req":"^1.1.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"arborium-test-harness","req":"^1.1.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"arborium-tree-sitter","req":"^1.1.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"cc","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"}],"cksum":"1a7554e2c49011711d2b9817ac896b34c19a20c86129a9fe7037cb225e2e27eb","features":{},"yanked":false,"rust_version":"1.85","pubtime":"2025-12-11T16:05:52Z"}
{"name":"arborium-agda","vers":"1.1.3","deps":[{"name":"arborium-sysroot","req":"^1.1.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"arborium-test-harness","req":"^1.1.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"arborium-tree-sitter","req":"^1.1.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"cc","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"}],"cksum":"ddf81d332d698f5b4ad333a3ce128f936f6bdcbf23f46492a87e253661b77868","features":{},"yanked":false,"rust_version":"1.85","pubtime":"2025-12-11T17:16:06Z"}
{"name":"arborium-agda","vers":"1.1.5","deps":[{"name":"arborium-sysroot","req":"^1.1.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"arborium-test-harness","req":"^1.1.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"arborium-tree-sitter","req":"^1.1.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"cc","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"}],"cksum":"6c9570ab86bf18f2b2f79c86552187e57252421b80b5b78053e6a9e4bba9849e","features":{},"yanked":false,"rust_version":"1.85","pubtime":"2025-12-11T18:24:31Z"}
{"name":"arborium-agda","vers":"1.2.0","deps":[{"name":"arborium-sysroot","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"arborium-test-harness","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"cc","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"tree-sitter-language","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"5ad05d77cf0a915ef47b33daecc9a502b1dd067d548e748c10ca6ca71ed61ca0","features":{},"yanked":false,"rust_version":"1.85","pubtime":"2025-12-12T16:52:30Z"}
{"name":"arborium-agda","vers":"1.2.1","deps":[{"name":"arborium-sysroot","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"arborium-test-harness","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"cc","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"tree-sitter-language","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"3cf443e2690e239906c69a00f5f883bca50cea7510708cfa3619ea3ba0fa619c","features":{},"yanked":false,"rust_version":"1.85","pubtime":"2025-12-12T17:21:20Z"}
{"name":"arborium-agda","vers":"1.2.2","deps":[{"name":"arborium-sysroot","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"arborium-test-harness","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"cc","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"tree-sitter-language","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"df4debdb0665ba410dfb1cfb734af9b57ef6a2b3bc7176469ec9cac5a30657a9","features":{},"yanked":false,"rust_version":"1.85","pubtime":"2025-12-12T18:09:35Z"}
{"name":"arborium-agda","vers":"1.2.3","deps":[{"name":"arborium-sysroot","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"arborium-test-harness","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"cc","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"tree-sitter-language","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"351cab811e8fa8c6517cf8701055bcf6e6952d15231be22ed51be168b075b719","features":{},"yanked":false,"rust_version":"1.85","pubtime":"2025-12-12T18:35:43Z"}
{"name":"arborium-agda","vers":"1.3.0","deps":[{"name":"arborium-sysroot","req":"^1.3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"arborium-test-harness","req":"^1.3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"cc","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"tree-sitter-language","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"13ee4472d0c763f45dc2924b1463465a2a3a83b2fdb8e44fb862857a40e713c7","features":{},"yanked":false,"rust_version":"1.85","pubtime":"2025-12-13T11:14:14Z"}
{"name":"arborium-agda","vers":"2.0.0","deps":[{"name":"arborium-sysroot","req":"^2.0.0","features":[],"optional":false,"default_features":true,"target":"cfg(target_family = \"wasm\")","kind":"normal"},{"name":"arborium-test-harness","req":"^2.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"cc","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"tree-sitter-language","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"9965d1531fdd55d3f6ae82d3e526c0cfae2d0d14448c3f94f93bac0ce6c728b5","features":{},"yanked":false,"rust_version":"1.85","pubtime":"2025-12-13T23:05:04Z"}
{"name":"arborium-agda","vers":"2.1.0","deps":[{"name":"arborium-sysroot","req":"^2.1.0","features":[],"optional":false,"default_features":true,"target":"cfg(target_family = \"wasm\")","kind":"normal"},{"name":"arborium-test-harness","req":"^2.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"cc","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"tree-sitter-language","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"45560a9345f781c5679e357b96b12eefdc7da4e98eb015f4777866b2207447f8","features":{},"yanked":false,"rust_version":"1.85","pubtime":"2025-12-13T23:41:55Z"}
{"name":"arborium-agda","vers":"2.2.0","deps":[{"name":"arborium-sysroot","req":"^2.2.0","features":[],"optional":false,"default_features":true,"target":"cfg(target_family = \"wasm\")","kind":"normal"},{"name":"arborium-test-harness","req":"^2.2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"cc","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"libtest-mimic","req":"^0.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"tree-sitter-language","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"297a50379d608de840394a690209f57e831f72770103dcf7635e51597dcb891d","features":{},"yanked":false,"rust_version":"1.85","pubtime":"2025-12-14T23:08:42Z"}
{"name":"arborium-agda","vers":"2.3.0","deps":[{"name":"arborium-sysroot","req":"^2.3.0","features":[],"optional":false,"default_features":true,"target":"cfg(target_family = \"wasm\")","kind":"normal"},{"name":"arborium-test-harness","req":"^2.3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"cc","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"libtest-mimic","req":"^0.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"tree-sitter-language","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"23c891a90a6b479cd80bf92b3ef9065686faf4b9f1a391f24d8ca0360377db67","features":{},"yanked":false,"rust_version":"1.85","pubtime":"2025-12-14T23:54:33Z"}
{"name":"arborium-agda","vers":"2.3.1","deps":[{"name":"arborium-sysroot","req":"^2.3.1","features":[],"optional":false,"default_features":true,"target":"cfg(target_family = \"wasm\")","kind":"normal"},{"name":"arborium-test-harness","req":"^2.3.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"cc","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"libtest-mimic","req":"^0.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"tree-sitter-language","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"1ae21e3b95923c893336ab0187cd245fa3f1a6671ccb3c023fc8ca73a9d914d3","features":{},"yanked":false,"rust_version":"1.85","pubtime":"2025-12-15T10:42:30Z"}
{"name":"arborium-agda","vers":"2.3.2","deps":[{"name":"arborium-sysroot","req":"^2.3.2","features":[],"optional":false,"default_features":true,"target":"cfg(target_family = \"wasm\")","kind":"normal"},{"name":"arborium-test-harness","req":"^2.3.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"cc","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"libtest-mimic","req":"^0.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"tree-sitter-language","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"391198e9bbfd9dd0b0486626045b946375373aca1fa54d24778d934b01961c58","features":{},"yanked":false,"rust_version":"1.85","pubtime":"2025-12-15T11:14:41Z"}
{"name":"arborium-agda","vers":"2.4.0","deps":[{"name":"arborium-sysroot","req":"^2.4.0","features":[],"optional":false,"default_features":true,"target":"cfg(target_family = \"wasm\")","kind":"normal"},{"name":"arborium-test-harness","req":"^2.4.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"cc","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"libtest-mimic","req":"^0.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"tree-sitter-language","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"3b34c623b47a7acafef6a9810587363ed13d9173994f01d8b437604935c8db10","features":{},"yanked":false,"rust_version":"1.85","pubtime":"2025-12-22T12:34:06Z"}
{"name":"arborium-agda","vers":"2.4.1","deps":[{"name":"arborium-sysroot","req":"^2.4.1","features":[],"optional":false,"default_features":true,"target":"cfg(target_family = \"wasm\")","kind":"normal"},{"name":"arborium-test-harness","req":"^2.4.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"cc","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"libtest-mimic","req":"^0.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"tree-sitter-language","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"c031c3dc4bb3d5e6bf5855d6434074278264e0eba6613c3e9a80d60de39c03c1","features":{},"yanked":false,"rust_version":"1.85","pubtime":"2025-12-22T15:05:30Z"}
{"name":"arborium-agda","vers":"2.4.2","deps":[{"name":"arborium-sysroot","req":"^2.4.2","features":[],"optional":false,"default_features":true,"target":"cfg(target_family = \"wasm\")","kind":"normal"},{"name":"arborium-test-harness","req":"^2.4.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"cc","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"libtest-mimic","req":"^0.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"tree-sitter-language","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"94f266d1613b1d3e7f28d284d43a40059cf9a8e8f614c40747cb2be61b6db4b8","features":{},"yanked":false,"rust_version":"1.85","pubtime":"2025-12-22T15:53:26Z"}
{"name":"arborium-agda","vers":"2.4.3","deps":[{"name":"arborium-sysroot","req":"^2.4.3","features":[],"optional":false,"default_features":true,"target":"cfg(target_family = \"wasm\")","kind":"normal"},{"name":"arborium-test-harness","req":"^2.4.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"cc","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"libtest-mimic","req":"^0.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"tree-sitter-language","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"8c901a142d69379dee4e73d78fb962fe4eda00e3c8aeac95b1f11b8b930988cc","features":{},"yanked":false,"rust_version":"1.85","pubtime":"2025-12-22T16:07:01Z"}
{"name":"arborium-agda","vers":"2.4.4","deps":[{"name":"arborium-sysroot","req":"^2.4.4","features":[],"optional":false,"default_features":true,"target":"cfg(target_family = \"wasm\")","kind":"normal"},{"name":"arborium-test-harness","req":"^2.4.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"cc","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"libtest-mimic","req":"^0.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"tree-sitter-language","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"04ee94203b212f3151442eedfe716da89a6c8dee2f400cb6323ef5221d76987a","features":{},"yanked":false,"rust_version":"1.85","pubtime":"2025-12-23T06:37:36Z"}
{"name":"arborium-agda","vers":"2.4.5","deps":[{"name":"arborium-sysroot","req":"^2.4.5","features":[],"optional":false,"default_features":true,"target":"cfg(target_family = \"wasm\")","kind":"normal"},{"name":"arborium-test-harness","req":"^2.4.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"cc","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"libtest-mimic","req":"^0.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"tree-sitter-language","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"17a3d72e5d43bba0a0a8a604524a4e1725f6a997d74556e3f1e8c40cb658cec9","features":{},"yanked":false,"rust_version":"1.85","pubtime":"2025-12-23T08:27:16Z"}
{"name":"arborium-agda","vers":"2.4.6","deps":[{"name":"arborium-sysroot","req":"^2.4.6","features":[],"optional":false,"default_features":true,"target":"cfg(target_family = \"wasm\")","kind":"normal"},{"name":"arborium-test-harness","req":"^2.4.6","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"cc","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"libtest-mimic","req":"^0.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"tree-sitter-language","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"497981ad22848706781aa4ca2a110e3e07f418d8267f0717cfc9a62215703d18","features":{},"yanked":false,"rust_version":"1.85","pubtime":"2025-12-27T17:52:03Z"}
{"name":"arborium-agda","vers":"2.4.7","deps":[{"name":"arborium-sysroot","req":"^2.4.7","features":[],"optional":false,"default_features":true,"target":"cfg(target_family = \"wasm\")","kind":"normal"},{"name":"arborium-test-harness","req":"^2.4.7","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"cc","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"libtest-mimic","req":"^0.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"tree-sitter-language","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"420aa60d877d5e5e9617063243e4e9ee2486396655ae1613094f50946541512f","features":{},"yanked":false,"rust_version":"1.85","pubtime":"2025-12-30T07:02:23Z"}
{"name":"arborium-agda","vers":"2.5.0","deps":[{"name":"arborium-sysroot","req":"^2.5.0","features":[],"optional":false,"default_features":true,"target":"cfg(target_family = \"wasm\")","kind":"normal"},{"name":"arborium-test-harness","req":"^2.5.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"cc","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"libtest-mimic","req":"^0.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"tree-sitter-language","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"428637fa7cf21ce818fa18a341ef4326c914ca3f7e9e5296c9e19161ef65f5e7","features":{},"yanked":false,"rust_version":"1.85","pubtime":"2026-01-03T08:12:29Z"}
{"name":"arborium-agda","vers":"2.6.0","deps":[{"name":"arborium-sysroot","req":"^2.6.0","features":[],"optional":false,"default_features":true,"target":"cfg(target_family = \"wasm\")","kind":"normal"},{"name":"arborium-test-harness","req":"^2.6.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"cc","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"libtest-mimic","req":"^0.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"tree-sitter-language","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"fb25fa5e8c0baee046ae38ef2aff1ac2b9f6d3c3ba44cb466e440f67a6f3f4fe","features":{},"yanked":false,"rust_version":"1.85","pubtime":"2026-01-05T15:49:08Z"}
{"name":"arborium-agda","vers":"2.6.1","deps":[{"name":"arborium-sysroot","req":"^2.6.1","features":[],"optional":false,"default_features":true,"target":"cfg(target_family = \"wasm\")","kind":"normal"},{"name":"arborium-test-harness","req":"^2.6.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"cc","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"libtest-mimic","req":"^0.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"tree-sitter-language","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"8d9f380f95b90bd837367f9519cf1b8c4f3f7e2008e9dc27d628dd589ae5f1f8","features":{},"yanked":false,"rust_version":"1.85","pubtime":"2026-01-09T15:39:26Z"}
{"name":"arborium-agda","vers":"2.7.0","deps":[{"name":"arborium-sysroot","req":"^2.7.0","features":[],"optional":false,"default_features":true,"target":"cfg(target_family = \"wasm\")","kind":"normal"},{"name":"arborium-test-harness","req":"^2.7.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"cc","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"libtest-mimic","req":"^0.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"tree-sitter-language","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"3686d3136653979ee2cd3063fd31fb64ab49dc5381470af90bb79bb7a9e98690","features":{},"yanked":false,"rust_version":"1.85","pubtime":"2026-01-10T05:37:07Z"}
{"name":"arborium-agda","vers":"2.8.0","deps":[{"name":"arborium-sysroot","req":"^2.8.0","features":[],"optional":false,"default_features":true,"target":"cfg(target_family = \"wasm\")","kind":"normal"},{"name":"arborium-test-harness","req":"^2.8.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"cc","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"libtest-mimic","req":"^0.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"tree-sitter-language","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"5691846f6b02c6ead2200ce2f50aaf956863a6057976e62b118600d1f4b26bef","features":{},"yanked":false,"rust_version":"1.85","pubtime":"2026-01-12T15:03:00Z"}
{"name":"arborium-agda","vers":"2.9.0","deps":[{"name":"arborium-sysroot","req":"^2.9.0","features":[],"optional":false,"default_features":true,"target":"cfg(target_family = \"wasm\")","kind":"normal"},{"name":"arborium-test-harness","req":"^2.9.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"cc","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"libtest-mimic","req":"^0.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"tree-sitter-language","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"e4f431235e6c023f9d15858337cb3f7803dcf7fdd6c5e74cbcd2277895f37554","features":{},"yanked":false,"rust_version":"1.85","pubtime":"2026-01-12T16:11:43Z"}
{"name":"arborium-agda","vers":"2.10.0","deps":[{"name":"arborium-sysroot","req":"^2.10.0","features":[],"optional":false,"default_features":true,"target":"cfg(target_family = \"wasm\")","kind":"normal"},{"name":"arborium-test-harness","req":"^2.10.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"cc","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"libtest-mimic","req":"^0.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"tree-sitter-language","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"a7afcd26d0af1b86c19959524c9d40c8ff229b48e728805160e97446d2bc0c40","features":{},"yanked":false,"rust_version":"1.85","pubtime":"2026-01-13T02:09:53Z"}
{"name":"arborium-agda","vers":"2.11.0","deps":[{"name":"arborium-sysroot","req":"^2.11.0","features":[],"optional":false,"default_features":true,"target":"cfg(target_family = \"wasm\")","kind":"normal"},{"name":"arborium-test-harness","req":"^2.11.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"cc","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"libtest-mimic","req":"^0.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"tree-sitter-language","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"60badb81217c16ddede9f3985b7e0b2260e72b6b54d7fbb2823445d93b05db14","features":{},"yanked":false,"rust_version":"1.85","pubtime":"2026-01-16T17:22:34Z"}
{"name":"arborium-agda","vers":"2.12.0","deps":[{"name":"arborium-sysroot","req":"^2.12.0","features":[],"optional":false,"default_features":true,"target":"cfg(target_family = \"wasm\")","kind":"normal"},{"name":"arborium-test-harness","req":"^2.12.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"cc","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"libtest-mimic","req":"^0.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"tree-sitter-language","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"29901f96cdd3f9ed77841232d347e3773375e489d69902c6e0ab474a67255d73","features":{},"yanked":false,"rust_version":"1.85","pubtime":"2026-01-16T20:24:52Z"}
{"name":"arborium-agda","vers":"2.12.1","deps":[{"name":"arborium-sysroot","req":"^2.12.1","features":[],"optional":false,"default_features":true,"target":"cfg(target_family = \"wasm\")","kind":"normal"},{"name":"arborium-test-harness","req":"^2.12.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"cc","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"libtest-mimic","req":"^0.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"tree-sitter-language","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"2d610b8f0832e98c7002ed575458dd5120b13ee5f75f711dadcb47a4b46e2cbd","features":{},"yanked":false,"rust_version":"1.85","pubtime":"2026-01-17T11:32:53Z"}
{"name":"arborium-agda","vers":"2.12.2","deps":[{"name":"arborium-sysroot","req":"^2.12.2","features":[],"optional":false,"default_features":true,"target":"cfg(target_family = \"wasm\")","kind":"normal"},{"name":"arborium-test-harness","req":"^2.12.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"cc","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"libtest-mimic","req":"^0.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"tree-sitter-language","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"660f76605d9d49f41c433a310a103d0b94ef241f97ca89ebca7740a30026e638","features":{},"yanked":false,"rust_version":"1.85","pubtime":"2026-01-17T16:02:22Z"}
{"name":"arborium-agda","vers":"2.12.3","deps":[{"name":"arborium-sysroot","req":"^2.12.3","features":[],"optional":false,"default_features":true,"target":"cfg(target_family = \"wasm\")","kind":"normal"},{"name":"arborium-test-harness","req":"^2.12.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"cc","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"libtest-mimic","req":"^0.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"tree-sitter-language","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"401cfcab0b9ba16a1ddcb3d11c0f4710c02c8336b3e10b152db4088d86ee2ee8","features":{},"yanked":false,"rust_version":"1.85","pubtime":"2026-01-17T22:19:09Z"}
{"name":"arborium-agda","vers":"2.12.4","deps":[{"name":"arborium-sysroot","req":"^2.12.4","features":[],"optional":false,"default_features":true,"target":"cfg(target_family = \"wasm\")","kind":"normal"},{"name":"arborium-test-harness","req":"^2.12.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"cc","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"libtest-mimic","req":"^0.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"tree-sitter-language","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"9f9c9d5da1fbfbe1bb258e8af29af3267ff3d4a1798bc7671a6755534d9a1c16","features":{},"yanked":false,"rust_version":"1.85","pubtime":"2026-01-18T11:09:12Z"}