{"name":"logicaffeine-proof","vers":"0.6.0","deps":[{"name":"logicaffeine-base","req":"^0.6.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicaffeine-kernel","req":"^0.6.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"94443d269d5edad3c885ec2b7a99d2acf8794466bfae396fc906d90ad7e6d166","features":{"default":[]},"yanked":false,"rust_version":"1.75","pubtime":"2026-01-17T14:43:43Z"}
{"name":"logicaffeine-proof","vers":"0.7.0","deps":[{"name":"logicaffeine-base","req":"^0.7.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicaffeine-kernel","req":"^0.7.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"3b1558bb820ac99b943708075c956c5550ac87dddaa2e9091188206242c54f89","features":{"default":[]},"yanked":false,"rust_version":"1.75","pubtime":"2026-02-10T01:22:04Z"}
{"name":"logicaffeine-proof","vers":"0.8.0","deps":[{"name":"logicaffeine-base","req":"^0.8.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicaffeine-kernel","req":"^0.8.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"1ea6492143de97fb956da73b215b703aebd7e0b01295fe58ad77563316213d4e","features":{"default":[]},"yanked":false,"rust_version":"1.75","pubtime":"2026-02-11T06:46:58Z"}
{"name":"logicaffeine-proof","vers":"0.8.1","deps":[{"name":"logicaffeine-base","req":"^0.8.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicaffeine-kernel","req":"^0.8.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"3063069474a7a618a4c713357eed03be0c84a9e67d96c79884e3279baf9d0640","features":{"default":[]},"yanked":false,"rust_version":"1.75","pubtime":"2026-02-11T07:02:48Z"}
{"name":"logicaffeine-proof","vers":"0.8.2","deps":[{"name":"logicaffeine-base","req":"^0.8.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicaffeine-kernel","req":"^0.8.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"a6144f3eb3e28b6b206d36732b7873334be21ae4604cdfe016b9339a10cd0d36","features":{"default":[]},"yanked":false,"rust_version":"1.75","pubtime":"2026-02-12T07:32:43Z"}
{"name":"logicaffeine-proof","vers":"0.8.3","deps":[{"name":"logicaffeine-base","req":"^0.8.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicaffeine-kernel","req":"^0.8.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"647c2f2a64aeb03a49810dff5f88e6bd52c559fe57dbcd294a7061ab31ebfb82","features":{"default":[]},"yanked":false,"rust_version":"1.75","pubtime":"2026-02-12T08:36:10Z"}
{"name":"logicaffeine-proof","vers":"0.8.4","deps":[{"name":"logicaffeine-base","req":"^0.8.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicaffeine-kernel","req":"^0.8.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"c22b1528a590923d9755b2e92be3c7d1551aaa8a00eca457d65c68fd02d02b46","features":{"default":[]},"yanked":false,"rust_version":"1.75","pubtime":"2026-02-14T04:55:46Z"}
{"name":"logicaffeine-proof","vers":"0.8.5","deps":[{"name":"logicaffeine-base","req":"^0.8.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicaffeine-kernel","req":"^0.8.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"d8b94bf396ba8769d06c92da744a1c3b9f015768955f2bbebdb4e23ee68defa1","features":{"default":[]},"yanked":false,"rust_version":"1.75","pubtime":"2026-02-14T05:02:08Z"}
{"name":"logicaffeine-proof","vers":"0.8.6","deps":[{"name":"logicaffeine-base","req":"^0.8.6","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicaffeine-kernel","req":"^0.8.6","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"cf1bdb6533791b7023115709d02166a0af92705ff5e8d2743599e2c4cbe518e8","features":{"default":[]},"yanked":false,"rust_version":"1.75","pubtime":"2026-02-14T05:39:35Z"}
{"name":"logicaffeine-proof","vers":"0.8.7","deps":[{"name":"logicaffeine-base","req":"^0.8.7","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicaffeine-kernel","req":"^0.8.7","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"51bf18db707622cbcc4bf3df3835e2574f223cfb982981c7fbb367ebbbc72e26","features":{"default":[]},"yanked":false,"rust_version":"1.75","pubtime":"2026-02-14T08:42:12Z"}
{"name":"logicaffeine-proof","vers":"0.8.8","deps":[{"name":"logicaffeine-base","req":"^0.8.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicaffeine-kernel","req":"^0.8.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"aeccfa56add24f4ed0b9e257f0eea5a980c9ba761e99db1cae0720441583a096","features":{"default":[]},"yanked":false,"rust_version":"1.75","pubtime":"2026-02-14T09:09:53Z"}
{"name":"logicaffeine-proof","vers":"0.8.9","deps":[{"name":"logicaffeine-base","req":"^0.8.9","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicaffeine-kernel","req":"^0.8.9","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"08f4803118387a139a389162ef7b6a87c22e1d8cd822707157588a3726423fa3","features":{"default":[]},"yanked":false,"rust_version":"1.75","pubtime":"2026-02-14T09:34:35Z"}
{"name":"logicaffeine-proof","vers":"0.8.10","deps":[{"name":"logicaffeine-base","req":"^0.8.10","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicaffeine-kernel","req":"^0.8.10","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"3b199138784de1d1b368d3d99ba56603a241414c0574f5ac8db09154dd33845a","features":{"default":[]},"yanked":false,"rust_version":"1.75","pubtime":"2026-02-14T17:51:52Z"}
{"name":"logicaffeine-proof","vers":"0.8.11","deps":[{"name":"logicaffeine-base","req":"^0.8.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicaffeine-kernel","req":"^0.8.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"2ffab0e6b30b06cf26f693dfca5854b8ac57d9af1e205665afc2736b9cb318a1","features":{"default":[]},"yanked":false,"rust_version":"1.75","pubtime":"2026-02-14T20:05:34Z"}
{"name":"logicaffeine-proof","vers":"0.8.12","deps":[{"name":"logicaffeine-base","req":"^0.8.12","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicaffeine-kernel","req":"^0.8.12","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"21fbcc323f950f408d392dc348b1caca049d5ab24f93c4da3963ee899df78604","features":{"default":[]},"yanked":false,"rust_version":"1.75","pubtime":"2026-02-15T02:38:06Z"}
{"name":"logicaffeine-proof","vers":"0.8.13","deps":[{"name":"logicaffeine-base","req":"^0.8.13","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicaffeine-kernel","req":"^0.8.13","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"6f899504717e1677a80fad767e169929476a64c6fd6a02160a4de9ca42dec263","features":{"default":[]},"yanked":false,"rust_version":"1.75","pubtime":"2026-02-15T05:24:30Z"}
{"name":"logicaffeine-proof","vers":"0.8.14","deps":[{"name":"logicaffeine-base","req":"^0.8.14","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicaffeine-kernel","req":"^0.8.14","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"923a7374146c75ad25a9361427fb5dc91cc7d4e9a6a79efa6ae49d2397854789","features":{"default":[]},"yanked":false,"rust_version":"1.75","pubtime":"2026-02-15T08:42:33Z"}
{"name":"logicaffeine-proof","vers":"0.8.15","deps":[{"name":"logicaffeine-base","req":"^0.8.15","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicaffeine-kernel","req":"^0.8.15","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"2807946cbfafcd1c2c789893cc3930f5d442317cb548a86ab7fa2504b0cdd035","features":{"default":[]},"yanked":false,"rust_version":"1.75","pubtime":"2026-02-15T10:14:50Z"}
{"name":"logicaffeine-proof","vers":"0.8.16","deps":[{"name":"logicaffeine-base","req":"^0.8.16","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicaffeine-kernel","req":"^0.8.16","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"aa1d7627d34ba0da164ab5bb842d8305f335e13fde7e17c60c72a3db5befd4c3","features":{"default":[]},"yanked":false,"rust_version":"1.75","pubtime":"2026-02-15T11:35:11Z"}
{"name":"logicaffeine-proof","vers":"0.8.17","deps":[{"name":"logicaffeine-base","req":"^0.8.17","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicaffeine-kernel","req":"^0.8.17","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"d0c1215592613d2a16cea969e66d53e358ced19ea550ee39a3ed8b30b45c5b6d","features":{"default":[]},"yanked":false,"rust_version":"1.75","pubtime":"2026-02-16T03:00:58Z"}
{"name":"logicaffeine-proof","vers":"0.8.18","deps":[{"name":"logicaffeine-base","req":"^0.8.18","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicaffeine-kernel","req":"^0.8.18","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"cb012b1bf4547b987a5df8435490218c6c235239566dca9727f96f6578145ab4","features":{"default":[]},"yanked":false,"rust_version":"1.75","pubtime":"2026-02-16T04:13:14Z"}
{"name":"logicaffeine-proof","vers":"0.8.19","deps":[{"name":"logicaffeine-base","req":"^0.8.19","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicaffeine-kernel","req":"^0.8.19","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"f99cc3211e6b4ae8f19681811d7c499195408d719ce38fb0ffa27aaecd05fec2","features":{"default":[]},"yanked":false,"rust_version":"1.75","pubtime":"2026-02-16T06:05:55Z"}
{"name":"logicaffeine-proof","vers":"0.9.0","deps":[{"name":"logicaffeine-base","req":"^0.9.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicaffeine-kernel","req":"^0.9.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"cde1692fccfea64729774bc92281dbd4a751abb86a2030415dd89335e6da9cbc","features":{"default":[]},"yanked":false,"rust_version":"1.75","pubtime":"2026-02-28T08:02:39Z"}
{"name":"logicaffeine-proof","vers":"0.9.1","deps":[{"name":"logicaffeine-base","req":"^0.9.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicaffeine-kernel","req":"^0.9.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"fda3748db3907a6b79f2d983f1587d96d1ae9c4ccb78b8f7a90de540e567a795","features":{"default":[]},"yanked":false,"rust_version":"1.75","pubtime":"2026-02-28T08:33:53Z"}
{"name":"logicaffeine-proof","vers":"0.9.2","deps":[{"name":"logicaffeine-base","req":"^0.9.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicaffeine-kernel","req":"^0.9.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"eaae0dbcbb71b0d1ce91e5d603d65c845653982256272b11e7100d3c38005dd5","features":{"default":[]},"yanked":false,"rust_version":"1.75","pubtime":"2026-02-28T09:52:33Z"}
{"name":"logicaffeine-proof","vers":"0.9.3","deps":[{"name":"logicaffeine-base","req":"^0.9.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicaffeine-kernel","req":"^0.9.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"888deee83c8f25542595c1b24522c72af8a151c74838ffd5f492a468ce097736","features":{"default":[]},"yanked":false,"rust_version":"1.75","pubtime":"2026-03-06T20:40:51Z"}
{"name":"logicaffeine-proof","vers":"0.9.4","deps":[{"name":"logicaffeine-base","req":"^0.9.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicaffeine-kernel","req":"^0.9.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"3f8879c76f9721244769ed3ffa0da3b603ff5e55d86088104ad5451cd6d3736d","features":{"default":[]},"yanked":false,"rust_version":"1.75","pubtime":"2026-03-16T22:07:07Z"}
{"name":"logicaffeine-proof","vers":"0.9.5","deps":[{"name":"logicaffeine-base","req":"^0.9.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicaffeine-kernel","req":"^0.9.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"88f1a44b4b32d69655a136e6f5c1458e1611d02e7fa42f7c515a7e05e6e2c3fc","features":{"default":[]},"yanked":false,"rust_version":"1.75","pubtime":"2026-03-17T18:21:14Z"}
{"name":"logicaffeine-proof","vers":"0.9.6","deps":[{"name":"logicaffeine-base","req":"^0.9.6","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicaffeine-kernel","req":"^0.9.6","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"64fd9d524a7d959208607426882f17716e7402c801c391aad5ddfd9f575f70ad","features":{"default":[]},"yanked":false,"rust_version":"1.75","pubtime":"2026-03-19T11:24:26Z"}
{"name":"logicaffeine-proof","vers":"0.9.7","deps":[{"name":"logicaffeine-base","req":"^0.9.7","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicaffeine-kernel","req":"^0.9.7","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"db8bca86443fd26fc67b94b2b6e27189f5bcdf1eb8bbb51b4d7eb1f21e7a7a08","features":{"default":[]},"yanked":false,"rust_version":"1.75","pubtime":"2026-03-19T11:49:22Z"}
{"name":"logicaffeine-proof","vers":"0.9.8","deps":[{"name":"logicaffeine-base","req":"^0.9.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicaffeine-kernel","req":"^0.9.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"04dbaa74e37e404e900cece8e45cfe1376c0ef80381e3a03923e42b6717095c2","features":{"default":[]},"yanked":false,"rust_version":"1.75","pubtime":"2026-03-19T14:23:08Z"}
{"name":"logicaffeine-proof","vers":"0.9.9","deps":[{"name":"logicaffeine-base","req":"^0.9.9","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicaffeine-kernel","req":"^0.9.9","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"25a4e16727cd68eb3637c351a8e58af79694d1681a1a951705d2c20936595206","features":{"default":[]},"yanked":false,"rust_version":"1.75","pubtime":"2026-03-29T08:26:25Z"}
{"name":"logicaffeine-proof","vers":"0.9.10","deps":[{"name":"logicaffeine-base","req":"^0.9.10","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicaffeine-kernel","req":"^0.9.10","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"937eb9d346e430c28a651fb59cbce4ed67e13c3156eafd006637069b10b1a3c7","features":{"default":[]},"yanked":false,"rust_version":"1.75","pubtime":"2026-03-30T16:46:14Z"}
{"name":"logicaffeine-proof","vers":"0.9.12","deps":[{"name":"logicaffeine-base","req":"^0.9.12","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicaffeine-kernel","req":"^0.9.12","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicaffeine-verify","req":"^0.9.12","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"8094db552bc51276d79f325367a3c7ea8e9f9b2245dbede4cfb1c162758dcf2c","features":{"default":[]},"features2":{"verification":["dep:logicaffeine-verify"]},"yanked":false,"rust_version":"1.75","pubtime":"2026-04-03T07:15:15Z","v":2}
{"name":"logicaffeine-proof","vers":"0.9.13","deps":[{"name":"logicaffeine-base","req":"^0.9.13","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicaffeine-kernel","req":"^0.9.13","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicaffeine-verify","req":"^0.9.13","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"bcf9be17eb2055506d777b1d1c0c2bfa2d315f739b471c16c1e064c74d250793","features":{"default":[]},"features2":{"verification":["dep:logicaffeine-verify"]},"yanked":false,"rust_version":"1.75","pubtime":"2026-04-03T21:42:03Z","v":2}
{"name":"logicaffeine-proof","vers":"0.9.14","deps":[{"name":"logicaffeine-base","req":"^0.9.14","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicaffeine-kernel","req":"^0.9.14","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicaffeine-verify","req":"^0.9.14","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"6ae9f247798a1def9886b5e64d388add1b107ff3ced894efd575a013e571d9d9","features":{"default":[]},"features2":{"verification":["dep:logicaffeine-verify"]},"yanked":false,"rust_version":"1.75","pubtime":"2026-04-04T01:08:47Z","v":2}
{"name":"logicaffeine-proof","vers":"0.9.15","deps":[{"name":"logicaffeine-base","req":"^0.9.15","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicaffeine-kernel","req":"^0.9.15","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicaffeine-verify","req":"^0.9.15","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"02e0510e171af98734c29d9d6b9d6a2635b3922c615b3d0e2f159957e3ff62e5","features":{"default":[]},"features2":{"verification":["dep:logicaffeine-verify"]},"yanked":false,"rust_version":"1.75","pubtime":"2026-04-05T05:21:22Z","v":2}
{"name":"logicaffeine-proof","vers":"0.9.16","deps":[{"name":"logicaffeine-base","req":"^0.9.16","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicaffeine-kernel","req":"^0.9.16","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicaffeine-verify","req":"^0.9.16","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"4fa5619732926bcbe61c654ae0c2f746185218434d3379b6a903eef3fc66acd0","features":{"default":[]},"features2":{"verification":["dep:logicaffeine-verify"]},"yanked":false,"rust_version":"1.75","pubtime":"2026-04-06T19:10:26Z","v":2}