{"name":"r2smt-ir","vers":"0.1.0","deps":[{"name":"r2smt-common","req":"^0.1.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":"dev"}],"cksum":"3a11bf5be81861289dea88b8a8aa4c189f94fdc06de89c4d6649a80f1739748a","features":{"default":[],"testing":[]},"yanked":false,"rust_version":"1.97.1","pubtime":"2026-08-11T07:23:26Z"}
{"name":"r2smt-ir","vers":"0.1.1","deps":[{"name":"r2smt-common","req":"^0.1.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":"dev"}],"cksum":"5887c62a02787135104b84d4e779c77227032819321c4d9da7e0c7e222c40424","features":{"default":[],"testing":[]},"yanked":false,"rust_version":"1.97.1","pubtime":"2026-08-11T16:04:58Z"}
{"name":"r2smt-ir","vers":"0.1.2","deps":[{"name":"r2smt-common","req":"^0.1.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":"dev"}],"cksum":"88d2c89e20a6447b365611e1a22a8d743b6c4f0f4bef1b78b9173a03fe51a54b","features":{"default":[],"testing":[]},"yanked":false,"rust_version":"1.95.0","pubtime":"2026-08-19T16:04:30Z"}
{"name":"r2smt-ir","vers":"0.3.0","deps":[{"name":"r2smt-common","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":"dev"}],"cksum":"a15a2a12f925ed80ed2ec983f6b7f79b1162f82b83bc71b0d44142a22f79ad07","features":{"default":[],"testing":[]},"yanked":false,"rust_version":"1.95.0","pubtime":"2026-08-25T11:51:57Z"}
{"name":"r2smt-ir","vers":"0.4.0","deps":[{"name":"r2smt-common","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":"dev"}],"cksum":"d2f3ef7b57be0d1f06b2d4288cf0e27420d556dd115a854a2e5e96bc00cf8615","features":{"default":[],"testing":[]},"yanked":false,"rust_version":"1.95.0","pubtime":"2026-08-25T20:48:20Z"}
{"name":"r2smt-ir","vers":"0.5.0","deps":[{"name":"r2smt-common","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":"dev"}],"cksum":"ce4ca7d7d9ab63c716fd07f38ea030e2046cca601a3df9b4ade133b8472d5eb8","features":{"default":[],"testing":[]},"yanked":false,"rust_version":"1.95.0","pubtime":"2026-10-30T10:31:10Z"}
{"name":"r2smt-ir","vers":"0.6.0","deps":[{"name":"r2smt-common","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":"dev"}],"cksum":"1cbbc7be1661ab0d42fd20356b4eb2dbc52a6f23f572302d04d240290f618208","features":{"default":[],"testing":[]},"yanked":false,"rust_version":"1.95.0","pubtime":"2026-11-02T10:26:26Z"}
{"name":"r2smt-ir","vers":"0.6.1","deps":[{"name":"r2smt-common","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":"dev"}],"cksum":"3ec006310e73a0588ace05684d0222bbcc5d924d19005015fe2a41169a5eb440","features":{"default":[],"testing":[]},"yanked":false,"rust_version":"1.95.0","pubtime":"2026-11-02T13:29:49Z"}
{"name":"r2smt-ir","vers":"0.6.2","deps":[{"name":"r2smt-common","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":"dev"}],"cksum":"70262d9ca9e8a1dcdc93790dd3be5c510c982358bcd1b67e0626edbae9a6790b","features":{"default":[],"testing":[]},"yanked":false,"rust_version":"1.95.0","pubtime":"2026-11-02T13:51:03Z"}