mirror of
https://github.com/rust-lang/crates.io-index.git
synced 2024-05-16 00:06:28 -05:00
036e510847
Previous HEAD was cbe1434269, now on the `snapshot-2024-03-11` branch
More information about this change can be found [online] and on [this issue].
[online]: https://internals.rust-lang.org/t/cargos-crate-index-upcoming-squash-into-one-commit/8440
[this issue]: https://github.com/rust-lang/crates-io-cargo-teams/issues/47
8 lines
8.8 KiB
Plaintext
8 lines
8.8 KiB
Plaintext
{"name":"agda-tac","vers":"0.0.1","deps":[{"name":"agda-mode","req":"^0.0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^2.33","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"futures-util","req":"^0.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"minitt-util","req":"^0.1","features":["cli"],"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":"structopt","req":"^0.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio","req":"^0.2.0-alpha","features":["io","rt-full","codec"],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"tokio-process","req":"^0.3.0-alpha","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"232666385a29ad29acdcbc64950cd223fd7bb6603589745dff85ae3b77e2e053","features":{},"yanked":false}
|
|
{"name":"agda-tac","vers":"0.1.0","deps":[{"name":"agda-mode","req":"^0.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^2.33","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"futures-util","req":"^0.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"minitt-util","req":"^0.1","features":["cli"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":[],"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":"structopt","req":"^0.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio","req":"^0.2.0-alpha","features":["io","rt-full","codec"],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"tokio-process","req":"^0.3.0-alpha","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"2490461a83f0abad93d2e88c24fb5999bf552817e601e457a692b8ae1db1c311","features":{},"yanked":false}
|
|
{"name":"agda-tac","vers":"0.1.1","deps":[{"name":"agda-mode","req":"^0.1.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^2.33","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"futures-util","req":"^0.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"minitt-util","req":"^0.1","features":["cli"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rustyline","req":"^5.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":[],"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":"structopt","req":"^0.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio","req":"^0.2.0-alpha","features":["io","rt-full","codec"],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"tokio-process","req":"^0.3.0-alpha","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"2c148c6d20aeb16442b84ff0dbdaadb9ab496ac63574e4aa612bc7163dfee421","features":{},"yanked":false}
|
|
{"name":"agda-tac","vers":"0.1.2","deps":[{"name":"agda-mode","req":"^0.1.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^2.33","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"dirs","req":"^2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"minitt-util","req":"^0.1","features":["cli"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rustyline","req":"^5.0","features":[],"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":"structopt","req":"^0.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio","req":"^0.2.0-alpha.6","features":["io","rt-full","codec","process"],"optional":false,"default_features":false,"target":null,"kind":"normal"}],"cksum":"64d9f9f8e3c045eac3b9aa3bfabd40f771a266a177befe7c00f8f4e5fafb92c0","features":{},"yanked":false}
|
|
{"name":"agda-tac","vers":"0.1.3","deps":[{"name":"agda-mode","req":"^0.1.6","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^2.33","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"dirs","req":"^2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"either","req":"^1.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"minitt-util","req":"^0.1","features":["cli"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"ropey","req":"^1.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rustyline","req":"^5.0","features":[],"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":"structopt","req":"^0.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio","req":"^0.2.0-alpha.6","features":["io","rt-full","codec","process"],"optional":false,"default_features":false,"target":null,"kind":"normal"}],"cksum":"f4609bb66609341325bf86113fb33d247c6ffe34221e5b65e7a50028c8d2e120","features":{},"yanked":false}
|
|
{"name":"agda-tac","vers":"0.1.4","deps":[{"name":"agda-mode","req":"^0.1.7","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^2.33","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"dirs","req":"^2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"either","req":"^1.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"minitt-util","req":"^0.2","features":["cli"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"ropey","req":"^1.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rustyline","req":"^5.0","features":[],"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":"structopt","req":"^0.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio","req":"^0.2.0","features":["io-util","rt-core","process","macros"],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"26b19e249d089892820ef876faf414028324a04d2d9fb699b46c1b82df1cd3c0","features":{},"yanked":false}
|
|
{"name":"agda-tac","vers":"0.1.5","deps":[{"name":"agda-mode","req":"^0.1.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^2.33","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"dirs","req":"^3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"either","req":"^1.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"minitt-util","req":"^0.2.4","features":["cli"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"ropey","req":"^1.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rustyline","req":"^6.3","features":[],"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":"structopt","req":"^0.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio","req":"^0.3.4","features":["io-util","rt-multi-thread","process","macros"],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"d1b717928b504c74a4c968709e5e28938952a67f16bbb8a61640ca26c17058bb","features":{},"yanked":false}
|