crates.io-index/pr/us/prusti-contracts-proc-macros
bors 036e510847 Collapse index into one commit
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
2024-03-11 08:23:15 +00:00

12 lines
5.1 KiB
Plaintext

{"name":"prusti-contracts-proc-macros","vers":"0.1.0","deps":[{"name":"proc-macro2","req":"^1.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"prusti-specs","req":"^0.1.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"af8f0120a474600f0e8f9070665017802607b0977ba8b1bc67ca50c0935abe50","features":{},"features2":{"prusti":["dep:prusti-specs","dep:proc-macro2"]},"yanked":false,"v":2}
{"name":"prusti-contracts-proc-macros","vers":"0.1.1","deps":[{"name":"proc-macro2","req":"^1.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"prusti-specs","req":"^0.1.1","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"3f78528bb0ee075e04b2a64f8340344151f0a28a2c11b5bf250e9a4944510c39","features":{},"features2":{"prusti":["dep:prusti-specs","dep:proc-macro2"]},"yanked":false,"v":2}
{"name":"prusti-contracts-proc-macros","vers":"0.1.2","deps":[{"name":"proc-macro2","req":"^1.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"prusti-specs","req":"^0.1.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"76696edede87b1c7de1b6e56c3d3e68cd9c3924b7375c6c79d15aa08685cf2fc","features":{},"features2":{"prusti":["dep:prusti-specs","dep:proc-macro2"]},"yanked":false,"v":2}
{"name":"prusti-contracts-proc-macros","vers":"0.1.3","deps":[{"name":"proc-macro2","req":"^1.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"prusti-specs","req":"^0.1.3","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"4c7e9b6997775b0394fa760e8f764bca68181608addef8fefff6cc23acfbfca5","features":{},"features2":{"prusti":["dep:prusti-specs","dep:proc-macro2"]},"yanked":false,"v":2}
{"name":"prusti-contracts-proc-macros","vers":"0.1.4","deps":[{"name":"proc-macro2","req":"^1.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"prusti-specs","req":"^0.1.4","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"b74f012498f2f2239b7c99cb07c6fd18271587163d1710a242f00b6af5d9043d","features":{},"features2":{"prusti":["dep:prusti-specs","dep:proc-macro2"]},"yanked":false,"v":2}
{"name":"prusti-contracts-proc-macros","vers":"0.1.5","deps":[{"name":"proc-macro2","req":"^1.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"prusti-specs","req":"^0.1.5","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"722f6082fb6558f2b8e9e4c2b3fbe4596f9e9ac669eeea0ef3d2749b8974a1b5","features":{},"features2":{"prusti":["dep:prusti-specs","dep:proc-macro2"]},"yanked":false,"v":2}
{"name":"prusti-contracts-proc-macros","vers":"0.1.6","deps":[{"name":"proc-macro2","req":"^1.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"prusti-specs","req":"^0.1.6","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"dc5a49e19cc2309c2f7babcceeed80dacf3e69c8ebfb03355c76d89a0f1d1ddd","features":{},"features2":{"prusti":["dep:prusti-specs","dep:proc-macro2"]},"yanked":false,"v":2}
{"name":"prusti-contracts-proc-macros","vers":"0.1.8","deps":[{"name":"proc-macro2","req":"^1.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"prusti-specs","req":"^0.1.8","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"84373ea329472b1db3a7577a8f2814f52c56960c4115641f65327e6b6c8eae9e","features":{},"features2":{"prusti":["dep:prusti-specs","dep:proc-macro2"]},"yanked":false,"v":2}
{"name":"prusti-contracts-proc-macros","vers":"0.1.9","deps":[{"name":"proc-macro2","req":"^1.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"prusti-specs","req":"^0.1.9","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"fa5778f2309a848972eb08b5b0f6b3be12aff4d99944dbcb7a9d827ff600c070","features":{},"features2":{"prusti":["dep:prusti-specs","dep:proc-macro2"]},"yanked":false,"v":2}
{"name":"prusti-contracts-proc-macros","vers":"0.1.10","deps":[{"name":"proc-macro2","req":"^1.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"prusti-specs","req":"^0.1.10","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"d0130aef475bc8363bdfc2e5104e2fed091d4ac63b4ea8039fd55453b14d7c8a","features":{},"features2":{"prusti":["dep:prusti-specs","dep:proc-macro2"]},"yanked":false,"v":2}
{"name":"prusti-contracts-proc-macros","vers":"0.2.0","deps":[{"name":"proc-macro2","req":"^1.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"prusti-specs","req":"^0.2.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"9f4d18a93d2e7feb85b057978063c3abd0848a63c1b8386046f52e66e796a99e","features":{},"features2":{"prusti":["dep:prusti-specs","dep:proc-macro2"]},"yanked":false,"v":2}