{"name":"varisat-lrat","vers":"0.2.1","deps":[{"name":"failure","req":"^0.1.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"itoa","req":"^0.4.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"leb128","req":"^0.2.3","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":"tempfile","req":"^3.0.7","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"varisat","req":"= 0.2.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"varisat-checker","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-formula","req":"= 0.2.1","features":["proptest-strategies","internal-testing"],"optional":false,"default_features":true,"target":null,"kind":"dev"}],"cksum":"b511e00840449c193896327a166e9352c3ee6f94374b171e6d3cb75983c6577e","features":{},"yanked":false,"pubtime":"2019-05-18T08:28:43Z"}
{"name":"varisat-lrat","vers":"0.2.2","deps":[{"name":"anyhow","req":"^1.0.32","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"anyhow","req":"^1.0.32","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"itoa","req":"^0.4.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"leb128","req":"^0.2.4","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":"tempfile","req":"^3.0.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"varisat","req":"=0.2.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"varisat-checker","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":["proptest-strategies","internal-testing"],"optional":false,"default_features":true,"target":null,"kind":"dev"}],"cksum":"c71fd86154e1b375901714b1c8d2e0a75a231a421d0279b3f7b2d8dfaec65abd","features":{},"yanked":false,"pubtime":"2020-09-09T17:10:47Z"}