{"name":"yices2-sys","vers":"0.1.0","deps":[{"name":"anyhow","req":"^1.0.72","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"bindgen","req":"^0.66.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"flate2","req":"^1.0.27","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"num_cpus","req":"^1.16.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"tar","req":"^0.4.40","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"xz","req":"^0.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"}],"cksum":"b0e2c74815f93df06a530788e3f5ab5b7a14ab5c322fdb39abd726d1c29c3c02","features":{"clang":[],"default":["clang"],"gcc":[],"use-generated":[]},"yanked":false,"pubtime":"2023-08-17T16:33:24Z"}
{"name":"yices2-sys","vers":"2.6.4","deps":[{"name":"anyhow","req":"^1.0.72","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"bindgen","req":"^0.66.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"flate2","req":"^1.0.27","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"num_cpus","req":"^1.16.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"tar","req":"^0.4.40","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"xz","req":"^0.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"}],"cksum":"7391ce00de0d1de985b2a441d3c47b4d58af3e39088a9a605b2a5450c9058c93","features":{"clang":[],"default":["clang"],"gcc":[],"use-generated":[]},"yanked":false,"pubtime":"2023-08-20T01:03:18Z"}
{"name":"yices2-sys","vers":"2.6.4-patch.1","deps":[{"name":"anyhow","req":"^1.0.72","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"bindgen","req":"^0.66.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"flate2","req":"^1.0.27","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"num_cpus","req":"^1.16.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"tar","req":"^0.4.40","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"xz","req":"^0.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"}],"cksum":"0fdc72a957c2766a7f7a36c906573a01041003c9f93266ba6de9964d2a4f5ac5","features":{"clang":[],"default":["clang"],"gcc":[],"use-generated":[]},"yanked":false,"pubtime":"2023-09-01T07:59:07Z"}