{"name":"lean4_sys","vers":"0.1.0","deps":[{"name":"bindgen","req":"^0.65.1","features":["experimental","runtime"],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"cc","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"}],"cksum":"2fe29af31c58ad036bbbdd36a68b500c750c2c9d9b3c370771b92971543b550f","features":{},"yanked":true,"pubtime":"2023-06-13T22:47:37Z"}