{"name":"creusot-contracts","vers":"0.1.0","deps":[{"name":"creusot-contracts-dummy","req":"^0.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"creusot-contracts-proc","req":"^0.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num-rational","req":"^0.3.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"99d8a582d1d016df0a21b63dfc3ac2d42c725ba6432644d8dd0ef5dc8e85f06b","features":{"contracts":[],"default":[],"typechecker":[]},"yanked":false,"pubtime":"2024-05-20T15:26:55Z"}
{"name":"creusot-contracts","vers":"0.1.1","deps":[{"name":"creusot-contracts-dummy","req":"^0.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"creusot-contracts-proc","req":"^0.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num-rational","req":"^0.3.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"ce81f64a6f9a3e29a676f35267e5108ee07299c32fb04ea3be9d50ff1fe07bcb","features":{"contracts":[],"default":[],"typechecker":[]},"yanked":false,"pubtime":"2024-06-25T15:16:15Z"}
{"name":"creusot-contracts","vers":"0.2.0","deps":[{"name":"creusot-contracts-dummy","req":"^0.2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"creusot-contracts-proc","req":"^0.2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num-rational","req":"^0.3.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"321f83d4df2cf221832db09e67ee590f7857e32081f73d1f34e42c40a31f11fc","features":{"contracts":[],"default":[],"typechecker":[]},"yanked":false,"pubtime":"2024-07-30T19:20:49Z"}
{"name":"creusot-contracts","vers":"0.3.0","deps":[{"name":"creusot-contracts-dummy","req":"^0.3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"creusot-contracts-proc","req":"^0.3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num-rational","req":"^0.3.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"60e0e706289691fe2a2134e97d4aaf14f1f7a89423bdb03cdc5fecda5577a6a6","features":{"contracts":[],"default":[],"typechecker":[]},"yanked":false,"pubtime":"2024-10-27T11:18:01Z"}
{"name":"creusot-contracts","vers":"0.4.0","deps":[{"name":"creusot-contracts-dummy","req":"^0.4.0","features":[],"optional":false,"default_features":true,"target":"cfg(not(creusot))","kind":"normal"},{"name":"creusot-contracts-proc","req":"^0.4.0","features":[],"optional":false,"default_features":true,"target":"cfg(creusot)","kind":"normal"},{"name":"num-rational","req":"^0.4","features":[],"optional":false,"default_features":true,"target":"cfg(creusot)","kind":"normal"}],"cksum":"82e2a8d8e722e1dd8f2a14c9917015eb6b8a04ea30030d9f98ac524f294cb072","features":{"nightly":[]},"yanked":false,"pubtime":"2025-03-03T12:11:24Z"}
{"name":"creusot-contracts","vers":"0.5.0","deps":[{"name":"creusot-contracts-proc","req":"^0.5.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num-rational","req":"^0.4","features":[],"optional":false,"default_features":true,"target":"cfg(creusot)","kind":"normal"}],"cksum":"280344bf775d0719ae3e819bc90069b5b66dd258fce92dec7fdc56e548ea862d","features":{"creusot":["creusot-contracts-proc/creusot"],"nightly":[]},"yanked":false,"pubtime":"2025-04-23T13:56:15Z"}
{"name":"creusot-contracts","vers":"0.6.0","deps":[{"name":"creusot-contracts-proc","req":"^0.6.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num-rational","req":"^0.4","features":[],"optional":false,"default_features":true,"target":"cfg(creusot)","kind":"normal"}],"cksum":"a2433977dd25410d2112d00758d52315c34d85a739f1e25b0aa38028168c0227","features":{"creusot":["creusot-contracts-proc/creusot"],"nightly":[]},"yanked":false,"pubtime":"2025-09-29T07:31:48Z"}
{"name":"creusot-contracts","vers":"0.7.0","deps":[{"name":"creusot-contracts-proc","req":"^0.7.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num-rational","req":"^0.4","features":[],"optional":false,"default_features":true,"target":"cfg(creusot)","kind":"normal"}],"cksum":"7be2dfd140eb685d8510e2d555da6fd3644132cde9acf0d81f0b807cf49b80ab","features":{"creusot":["creusot-contracts-proc/creusot"],"nightly":[]},"yanked":false,"pubtime":"2025-11-03T08:50:41Z"}
{"name":"creusot-contracts","vers":"0.8.0","deps":[{"name":"creusot-contracts-proc","req":"^0.8.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num-rational","req":"^0.4","features":[],"optional":false,"default_features":true,"target":"cfg(creusot)","kind":"normal"}],"cksum":"11db9331abd9b2aee1c42e5739a669f9cce791e1704f24c9decc7f563fb3f4b4","features":{"creusot":["creusot-contracts-proc/creusot"],"nightly":[]},"yanked":false,"pubtime":"2025-12-09T14:15:14Z"}