{"name":"varisat-checker","vers":"0.2.1","deps":[{"name":"failure","req":"^0.1.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"hashbrown","req":"^0.3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"log","req":"^0.4.6","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"proptest","req":"^0.9.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"smallvec","req":"^0.6.9","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"varisat-dimacs","req":"= 0.2.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"varisat-formula","req":"= 0.2.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"varisat-internal-proof","req":"= 0.2.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"a44da8d5e25b089d66fb3d14ae87994e2f7ba7f86ff396b7c490083d8a9a0a7b","features":{},"yanked":false,"pubtime":"2019-05-18T08:10:33Z"}
{"name":"varisat-checker","vers":"0.2.2","deps":[{"name":"anyhow","req":"^1.0.32","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"log","req":"^0.4.6","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"partial_ref","req":"^0.3.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"proptest","req":"^0.10.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"rustc-hash","req":"^1.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"smallvec","req":"^1.4.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^1.0.20","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"varisat-dimacs","req":"=0.2.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"varisat-formula","req":"=0.2.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"varisat-formula","req":"=0.2.2","features":["internal-testing"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"varisat-internal-proof","req":"=0.2.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"135c977c5913ed6e98f6b81b8e4d322211303b7d40dae773caef7ad1de6c763b","features":{},"yanked":false,"pubtime":"2020-09-09T17:09:26Z"}