{"name":"isla-lib","vers":"0.1.0","deps":[{"name":"bincode","req":"^1.2.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"crossbeam","req":"^0.7.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"lalrpop","req":"^0.19.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"lalrpop-util","req":"^0.19.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"lazy_static","req":"^1.4.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libc","req":"^0.2.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"petgraph","req":"^0.5.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"regex","req":"^1.3.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0.104","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"sha2","req":"^0.8.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"toml","req":"^0.5.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3-sys","req":"^0.5.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"36173c365f3d9f09987b8266a92a2ceab9482b7f51566ea05338bb7a4a7cea41","features":{},"yanked":false,"pubtime":"2020-06-05T14:17:36Z"}
{"name":"isla-lib","vers":"0.2.0","deps":[{"name":"bincode","req":"^1.2.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"crossbeam","req":"^0.7.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"lalrpop","req":"^0.19.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"lalrpop-util","req":"^0.19.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"lazy_static","req":"^1.4.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libc","req":"^0.2.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"petgraph","req":"^0.5.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"regex","req":"^1.3.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0.104","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"sha2","req":"^0.8.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"toml","req":"^0.5.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3-sys","req":"^0.5.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"154a0cf1997c672a828517237dabbdcb1bd199ae47aed555991bec0c651e2ddb","features":{},"yanked":false,"pubtime":"2021-02-25T14:53:00Z"}