{"name":"varisat-internal-proof","vers":"0.2.1","deps":[{"name":"failure","req":"^0.1.5","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":"varisat-formula","req":"= 0.2.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"5a7553f03a4a8581410fb1813add70ce54e481d0e3eb1ca2cc1754faf46ff9ad","features":{},"yanked":false,"pubtime":"2019-05-18T08:10:15Z"}
{"name":"varisat-internal-proof","vers":"0.2.2","deps":[{"name":"anyhow","req":"^1.0.32","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":"varisat-formula","req":"=0.2.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"6163bb7bc9018af077b76d64f976803d141c36a27d640f1437dddc4fd527d207","features":{},"yanked":false,"pubtime":"2020-09-09T17:08:26Z"}