{"name":"formal_spec","vers":"0.0.1","deps":[{"name":"proc-macro2","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"quote","req":"^1.0.10","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"syn","req":"^1.0","features":["full"],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"a2c1689147d37df0939c86ce96cb2e7fd02b269e1e6f1a978ed70418390058e4","features":{},"yanked":false,"pubtime":"2021-11-19T22:20:07Z"}