{"name":"ordeal","vers":"0.2.0","deps":[{"name":"ordeal-lrat","req":"^0.2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.20.2","features":[],"optional":true,"default_features":true,"target":"cfg(not(target_family = \"wasm\"))","kind":"normal"}],"cksum":"334ef87b9eaf9f3297af987cfd0355bf498c72177c208b1d259afcbd61422db0","features":{},"features2":{"oracle":["dep:z3"]},"yanked":false,"pubtime":"2026-07-02T16:20:41Z","v":2}
{"name":"ordeal","vers":"0.3.0","deps":[{"name":"ordeal-lrat","req":"^0.3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.20.2","features":[],"optional":true,"default_features":true,"target":"cfg(not(target_family = \"wasm\"))","kind":"normal"}],"cksum":"9faad853535177b4c9602ce906b920e4e545fdd0d3850526b762e85c69f19ec3","features":{},"features2":{"oracle":["dep:z3"]},"yanked":false,"pubtime":"2026-07-02T21:02:14Z","v":2}
{"name":"ordeal","vers":"0.4.0","deps":[{"name":"ordeal-lrat","req":"^0.4.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.20.2","features":[],"optional":true,"default_features":true,"target":"cfg(not(target_family = \"wasm\"))","kind":"normal"}],"cksum":"48b30b1c493dcd5752abb7d674c0ab183a3f024e19f2aae028d3ea6cd2c0c168","features":{},"features2":{"oracle":["dep:z3"]},"yanked":false,"pubtime":"2026-07-03T04:19:05Z","v":2}
{"name":"ordeal","vers":"0.4.1","deps":[{"name":"ordeal-lrat","req":"^0.4.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.20.2","features":[],"optional":true,"default_features":true,"target":"cfg(not(target_family = \"wasm\"))","kind":"normal"}],"cksum":"dfc06ff17705108d56b0e8972d57c352dea633b2286fa1b14e11ee8ace15d5a5","features":{},"features2":{"oracle":["dep:z3"]},"yanked":false,"pubtime":"2026-07-03T05:04:42Z","v":2}
{"name":"ordeal","vers":"0.4.2","deps":[{"name":"ordeal-lrat","req":"^0.4.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.20.2","features":[],"optional":true,"default_features":true,"target":"cfg(not(target_family = \"wasm\"))","kind":"normal"}],"cksum":"bd007fec40946ed7c9863ba532a20e3a40233900b081908d3f9450542d520f4b","features":{},"features2":{"oracle":["dep:z3"]},"yanked":false,"pubtime":"2026-07-03T08:47:03Z","v":2}
{"name":"ordeal","vers":"0.5.0","deps":[{"name":"ordeal-lrat","req":"^0.5.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.20.2","features":[],"optional":true,"default_features":true,"target":"cfg(not(target_family = \"wasm\"))","kind":"normal"}],"cksum":"02afc70ded6c26dbc61910e3c7cc3073feb5833833594c88de636366342c52f0","features":{},"features2":{"oracle":["dep:z3"]},"yanked":false,"pubtime":"2026-07-08T17:49:17Z","v":2}
{"name":"ordeal","vers":"0.5.1","deps":[{"name":"ordeal-lrat","req":"^0.5.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.20.2","features":[],"optional":true,"default_features":true,"target":"cfg(not(target_family = \"wasm\"))","kind":"normal"}],"cksum":"22ed8f5fedddd97192bdfa7088f88111b5b42cbf5f0d1ca2c324dbadae6073be","features":{},"features2":{"oracle":["dep:z3"]},"yanked":false,"pubtime":"2026-07-10T20:16:52Z","v":2}