{"name":"logicpearl-verify","vers":"0.1.0","deps":[{"name":"logicpearl-core","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"}],"cksum":"9092525e469b29165d8452300b8fffd187d51fa8766f93422740fea493683cca","features":{},"yanked":false,"pubtime":"2026-04-06T15:02:14Z"}
{"name":"logicpearl-verify","vers":"0.1.1","deps":[{"name":"logicpearl-core","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"}],"cksum":"68eb93b2c820142ec35aae37acb5c29019aa796ed4a93c5f4ae687c68d975261","features":{},"yanked":false,"pubtime":"2026-04-06T15:44:35Z"}
{"name":"logicpearl-verify","vers":"0.1.2","deps":[{"name":"logicpearl-core","req":"^0.1.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicpearl-ir","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":"normal"}],"cksum":"70e0dc9ceb6c6cd44122b6abf385b64782e674180842022b46a06e2ecc5efdb6","features":{},"yanked":false,"pubtime":"2026-04-08T19:30:29Z"}
{"name":"logicpearl-verify","vers":"0.1.4","deps":[{"name":"logicpearl-core","req":"^0.1.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicpearl-ir","req":"^0.1.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicpearl-solver","req":"^0.1.4","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"}],"cksum":"8826896db93e93856891f791b04dd9836e4b74ce033832290b003dcde5f38082","features":{},"yanked":false,"pubtime":"2026-04-12T01:31:36Z"}
{"name":"logicpearl-verify","vers":"0.1.5","deps":[{"name":"logicpearl-core","req":"^0.1.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicpearl-ir","req":"^0.1.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicpearl-solver","req":"^0.1.5","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"}],"cksum":"93efbe83b0bd7c1c7aa7a3fd82bb50b59271a2b26d1c0ff96668507fb6248c30","features":{},"yanked":false,"pubtime":"2026-04-14T02:38:59Z"}