{"name":"varisat-dimacs","vers":"0.2.1","deps":[{"name":"env_logger","req":"^0.6.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"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":"proptest","req":"^0.9.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"rand","req":"^0.6.5","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-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":"f992cf40560ad73983369414fcc5a42fb9c9e39ae7ff215c75725f9c6785f0b9","features":{},"yanked":false,"pubtime":"2019-05-18T08:10:05Z"}
{"name":"varisat-dimacs","vers":"0.2.2","deps":[{"name":"anyhow","req":"^1.0.32","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"env_logger","req":"^0.7.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"itoa","req":"^0.4.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":"rand","req":"^0.7.3","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":"thiserror","req":"^1.0.20","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":"3d1dee4e21be1f04c0a939f7ae710cced47233a578de08a1b3c7d50848402636","features":{},"yanked":false,"pubtime":"2020-09-09T17:08:15Z"}