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
4 lines
1.1 KiB
Plaintext
4 lines
1.1 KiB
Plaintext
{"name":"rust_smt","vers":"0.1.0","deps":[{"name":"lazy_static","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3-sys","req":"^0.4.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"2d97dcf8280169deaba6680214e5932968c5e22f1c317892ae36a223151514a6","features":{},"yanked":false}
|
|
{"name":"rust_smt","vers":"0.1.1","deps":[{"name":"lazy_static","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3-sys","req":"^0.4.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"2d51ad3c34d64df296ec6767af507061c6710d4fc7835ce470053678579d8260","features":{},"yanked":false}
|
|
{"name":"rust_smt","vers":"0.2.0","deps":[{"name":"lazy_static","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3-sys","req":"^0.4.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"5c097c2f7ae67c83c19f95692d0eb4ea80238f296fb5250cf5670dce51bc079c","features":{},"yanked":false}
|