{"name":"isabelle-client","vers":"0.1.0","deps":[{"name":"env_logger","req":"^0.10.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"log","req":"^0.4.17","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"regex","req":"^1.7.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serial_test","req":"^1.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio","req":"^1.24.1","features":["full"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio-test","req":"^0.4.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"70e0182e16688fcf66536416200457e68c7a06667f7587e757d55d968318ef17","features":{},"yanked":false,"pubtime":"2023-03-09T07:57:07Z"}