{"name":"logicaffeine-verify","vers":"0.9.12","deps":[{"name":"dirs","req":"^5.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tempfile","req":"^3","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"ureq","req":"^2.9","features":["json"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.12","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"d0ad271bbdb8ba4a89d6775371a74921c29c3431d029c78906de614ab267f3aa","features":{},"yanked":false,"rust_version":"1.75","pubtime":"2026-04-03T07:14:10Z"}
{"name":"logicaffeine-verify","vers":"0.9.13","deps":[{"name":"dirs","req":"^5.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tempfile","req":"^3","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"ureq","req":"^2.9","features":["json"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.12","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"139102071f625a50537d1fce35af46661fdb2a41934bef83fb9c86f1dd05e9af","features":{},"yanked":false,"rust_version":"1.75","pubtime":"2026-04-03T21:40:48Z"}
{"name":"logicaffeine-verify","vers":"0.9.14","deps":[{"name":"dirs","req":"^5.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tempfile","req":"^3","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"ureq","req":"^2.9","features":["json"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.12","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"467dba18ebaff8301cd3a0a47bc7ac4feb94ad407b5b818b71987b55a80a3454","features":{},"yanked":false,"rust_version":"1.75","pubtime":"2026-04-04T01:07:33Z"}
{"name":"logicaffeine-verify","vers":"0.9.15","deps":[{"name":"dirs","req":"^5.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tempfile","req":"^3","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"ureq","req":"^2.9","features":["json"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.12","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"f613df79391869efe9943b0bb95dcf5af0d2d75aef64759ae98d4e9f1b6d3552","features":{},"yanked":false,"rust_version":"1.75","pubtime":"2026-04-05T05:20:09Z"}
{"name":"logicaffeine-verify","vers":"0.9.16","deps":[{"name":"dirs","req":"^5.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tempfile","req":"^3","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"ureq","req":"^2.9","features":["json"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.12","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"4817d98e492501e4f25f06bbabfcd81079b1c9606757bd68460a59cd41af262f","features":{},"yanked":false,"rust_version":"1.75","pubtime":"2026-04-06T19:09:09Z"}
{"name":"logicaffeine-verify","vers":"0.10.0","deps":[{"name":"dirs","req":"^5.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tempfile","req":"^3","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"ureq","req":"^2.9","features":["json"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.20","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"ed6889a34444ac86db49622b95c912c2a432c599385079fa3052dc46f415a0a9","features":{"static-link-z3":["z3/vendored"]},"yanked":false,"rust_version":"1.75","pubtime":"2026-07-10T22:26:09Z"}