{"name":"rustproof","vers":"0.1.0","deps":[{"name":"petgraph","req":"^0.2.7","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"env_logger","req":"^0.3.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rustproof-libsmt","req":"^0.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"lalrpop-util","req":"^0.11.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"lalrpop","req":"^0.11.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"}],"cksum":"6a4f8470fc960e90aaf4493be8fb34b0b723d8d859ccf13eda804ff2625767e1","features":{},"yanked":false}