crates.io-index

1
{"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}
2
{"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}
3
{"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}
4
{"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}
5
{"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}
6
{"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}
7
{"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}
8
{"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}
9
{"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}
10
{"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}
11