crates.io-index/bi/tw/bitwuzla-sys

4 lines
1.3 KiB
Plaintext
Raw Permalink Normal View History

{"name":"bitwuzla-sys","vers":"0.1.0","deps":[{"name":"copy_dir","req":"^0.1.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"build"},{"name":"libc","req":"^0.2.73","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"d4149a78ba391caf23c7f3fe446c796b690151bf83c747c459e0c69eea421386","features":{"vendor-cadical":["copy_dir"]},"yanked":false,"links":"bitwuzla"}
{"name":"bitwuzla-sys","vers":"0.1.1","deps":[{"name":"copy_dir","req":"^0.1.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"build"},{"name":"libc","req":"^0.2.73","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"7fecbbc9a9ac561c86d756e211f0a98d28f227ec0c08ca5976ef4eb1891441ed","features":{"vendor-cadical":["copy_dir"]},"yanked":false,"links":"bitwuzla"}
{"name":"bitwuzla-sys","vers":"0.2.0","deps":[{"name":"copy_dir","req":"^0.1.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"build"},{"name":"libc","req":"^0.2.73","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"830146303f1abd69b2d0db336d1e32933c04313acd2957a87fc45a5afe7e90c5","features":{"vendor-cadical":["copy_dir"]},"yanked":false,"links":"bitwuzla"}