crates.io-index/pr/us/prusti-contracts
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
4.9 KiB
Plaintext

{"name":"prusti-contracts","vers":"0.1.0","deps":[{"name":"prusti-contracts-proc-macros","req":"^0.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"trybuild","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"}],"cksum":"170d68902f7dc193ffba02a52b3e58bdc4eb4cc3e4dc60605f8ac2ba21ea41e7","features":{"prusti":["prusti-contracts-proc-macros/prusti"]},"yanked":false}
{"name":"prusti-contracts","vers":"0.1.1","deps":[{"name":"prusti-contracts-proc-macros","req":"^0.1.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"trybuild","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"}],"cksum":"c09d512ee714f38aa9200c5ea57e9e848060f1c7f546ba06986f6b6e05bc8bb3","features":{"prusti":["prusti-contracts-proc-macros/prusti"]},"yanked":false}
{"name":"prusti-contracts","vers":"0.1.2","deps":[{"name":"prusti-contracts-proc-macros","req":"^0.1.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"trybuild","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"}],"cksum":"2176455bb39f9d5624a6cab7fcdd2fc01cae31bb375e32c771e12147500ad475","features":{"prusti":["prusti-contracts-proc-macros/prusti"]},"yanked":false}
{"name":"prusti-contracts","vers":"0.1.3","deps":[{"name":"prusti-contracts-proc-macros","req":"^0.1.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"trybuild","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"}],"cksum":"4ec6a015e39758dcab5658e40c6e23516619c77a6c55b2c1608c2eb97946ae69","features":{"prusti":["prusti-contracts-proc-macros/prusti"]},"yanked":false}
{"name":"prusti-contracts","vers":"0.1.4","deps":[{"name":"prusti-contracts-proc-macros","req":"^0.1.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"trybuild","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"}],"cksum":"0a55ba828aceca3c0786a6dd252e1d219720d15f4c454b70fee282111469c940","features":{"prusti":["prusti-contracts-proc-macros/prusti"]},"yanked":false}
{"name":"prusti-contracts","vers":"0.1.5","deps":[{"name":"prusti-contracts-proc-macros","req":"^0.1.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"trybuild","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"}],"cksum":"ffa199e09c39e88ed706e5e73593c143dcefc136a64de232211f98753d1b3678","features":{"prusti":["prusti-contracts-proc-macros/prusti"]},"yanked":false}
{"name":"prusti-contracts","vers":"0.1.6","deps":[{"name":"prusti-contracts-proc-macros","req":"^0.1.6","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"trybuild","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"}],"cksum":"9775a28190bfc0dda44516b542082746cb43545016a27f2010cb0433ae668e20","features":{"prusti":["prusti-contracts-proc-macros/prusti"]},"yanked":false}
{"name":"prusti-contracts","vers":"0.1.8","deps":[{"name":"prusti-contracts-proc-macros","req":"^0.1.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"trybuild","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"}],"cksum":"aa3e18b623279c8b54ecbed69d4404210b5a0b0d28a4c6d630206f747cf3c2cd","features":{"prusti":["prusti-contracts-proc-macros/prusti"]},"yanked":false}
{"name":"prusti-contracts","vers":"0.1.9","deps":[{"name":"prusti-contracts-proc-macros","req":"^0.1.9","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"trybuild","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"}],"cksum":"ab8f1bbcf5cb6a88a773307727b37164c03f0586c39d4d05d1006f5ee7398fe9","features":{"prusti":["prusti-contracts-proc-macros/prusti"]},"yanked":false}
{"name":"prusti-contracts","vers":"0.1.10","deps":[{"name":"prusti-contracts-proc-macros","req":"^0.1.10","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"trybuild","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"}],"cksum":"84501b8931e0e15f177bb49f107a0fe54f8d4da05cfff4d95c298af6f3f1487e","features":{"prusti":["prusti-contracts-proc-macros/prusti"]},"yanked":false}
{"name":"prusti-contracts","vers":"0.2.0","deps":[{"name":"prusti-contracts-proc-macros","req":"^0.2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"trybuild","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"}],"cksum":"5c6e618695ddeec4c85c216d887ef958f2706c6fbafe824ba39ac260466c3043","features":{"prusti":["prusti-contracts-proc-macros/prusti"]},"yanked":false}