crates.io-index/pr/us/prusti-std
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

11 lines
3.1 KiB
Plaintext

{"name":"prusti-std","vers":"0.1.0","deps":[{"name":"prusti-contracts","req":"^0.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"14a97fb970bd0a7bae91e51cbf80b46f635457691c02c4d9a797e29d4ab23eba","features":{"prusti":["prusti-contracts/prusti"]},"yanked":false}
{"name":"prusti-std","vers":"0.1.1","deps":[{"name":"prusti-contracts","req":"^0.1.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"05abe0d5de1f6e9db2fa282bb074c1311e96fb7cd468b8d456aed033e48ba1d0","features":{"prusti":["prusti-contracts/prusti"]},"yanked":false}
{"name":"prusti-std","vers":"0.1.3","deps":[{"name":"prusti-contracts","req":"^0.1.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"315268269b644eb9874932f5b1f04bf2867ee4c3b994f53f2ea6f250c45b470b","features":{"prusti":["prusti-contracts/prusti"]},"yanked":false}
{"name":"prusti-std","vers":"0.1.4","deps":[{"name":"prusti-contracts","req":"^0.1.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"d35615175d3e092012db16ebaf345e3589af2335b77c45d710bd41be617fcf6f","features":{"prusti":["prusti-contracts/prusti"]},"yanked":false}
{"name":"prusti-std","vers":"0.1.5","deps":[{"name":"prusti-contracts","req":"^0.1.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"46c60c86b294677c65dc1303171f557aba9e77b762991f1a3713d5feacd9efbf","features":{"prusti":["prusti-contracts/prusti"]},"yanked":false}
{"name":"prusti-std","vers":"0.1.6","deps":[{"name":"prusti-contracts","req":"^0.1.6","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"a1751110ecec17cb560ede9596aab3713b0d1789d888377bf3c2048a01378e32","features":{"prusti":["prusti-contracts/prusti"]},"yanked":false}
{"name":"prusti-std","vers":"0.1.8","deps":[{"name":"prusti-contracts","req":"^0.1.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"b8887865f63c541d8eaaa41a8b28262dd5bbc5657e23b85583d30d00a87f1979","features":{"prusti":["prusti-contracts/prusti"]},"yanked":false}
{"name":"prusti-std","vers":"0.1.9","deps":[{"name":"prusti-contracts","req":"^0.1.9","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"df99eb8857d9f7b0f04d7010f20c677b7cd9322587ad018616831224758736df","features":{"prusti":["prusti-contracts/prusti"]},"yanked":false}
{"name":"prusti-std","vers":"0.1.10","deps":[{"name":"prusti-contracts","req":"^0.1.10","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"aa483e925c046e9917f904c4be08c501382ade745562276828c9a837221937a5","features":{"prusti":["prusti-contracts/prusti"]},"yanked":false}
{"name":"prusti-std","vers":"0.2.0","deps":[{"name":"prusti-contracts","req":"^0.2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"fdfa3ef284b835cc688e9788442f6af1561dba1b57876f4441bfd3ba7ae16778","features":{"prusti":["prusti-contracts/prusti"]},"yanked":false}