{"name":"r2smt-r2il","vers":"0.3.0","deps":[{"name":"r2smt-common","req":"^0.3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"r2smt-esil","req":"^0.3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"r2smt-ir","req":"^0.3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"e948df49abb4be94846d60b6ee67b9d903da5c574c7c5dc1dea7eede1f223b44","features":{},"yanked":false,"rust_version":"1.95.0","pubtime":"2026-08-25T11:53:21Z"}
{"name":"r2smt-r2il","vers":"0.4.0","deps":[{"name":"r2smt-common","req":"^0.4.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"r2smt-esil","req":"^0.4.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"r2smt-ir","req":"^0.4.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"81a33fe6ad11c20f273e1a5c893eedc685d699aa5902cd394f984f658a8d47cb","features":{},"yanked":false,"rust_version":"1.95.0","pubtime":"2026-08-25T20:57:39Z"}
{"name":"r2smt-r2il","vers":"0.5.0","deps":[{"name":"r2smt-common","req":"^0.5.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"r2smt-esil","req":"^0.5.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"r2smt-ir","req":"^0.5.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"2058c95b479886c84b2674ffa54a66b0026aec1403c9689bdd06ee8c466983a4","features":{},"yanked":false,"rust_version":"1.95.0","pubtime":"2026-10-30T10:32:28Z"}
{"name":"r2smt-r2il","vers":"0.6.0","deps":[{"name":"r2smt-common","req":"^0.6.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"r2smt-esil","req":"^0.6.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"r2smt-ir","req":"^0.6.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"3a2b51290f10b872be694a1ba475e696dc0153e1e78c250290c5605d4ab6e7a3","features":{},"yanked":false,"rust_version":"1.95.0","pubtime":"2026-11-02T10:28:03Z"}
{"name":"r2smt-r2il","vers":"0.6.1","deps":[{"name":"r2smt-common","req":"^0.6.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"r2smt-esil","req":"^0.6.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"r2smt-ir","req":"^0.6.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"ca13f1adfc8a74aff79759973403dcddf0a3edc5fd46bfff20d44b5f12aae4a4","features":{},"yanked":false,"rust_version":"1.95.0","pubtime":"2026-11-02T13:31:05Z"}
{"name":"r2smt-r2il","vers":"0.6.2","deps":[{"name":"r2smt-common","req":"^0.6.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"r2smt-esil","req":"^0.6.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"r2smt-ir","req":"^0.6.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"a959ef0be42d2c0a3a22598da0df847061d00fcf4534baf15ce88b87c1757222","features":{},"yanked":false,"rust_version":"1.95.0","pubtime":"2026-11-02T13:52:40Z"}