{"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","pubtime":"2021-11-25T12:05:02Z"}
{"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","pubtime":"2021-11-25T17:18:06Z"}
{"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","pubtime":"2022-07-26T10:42:58Z"}
{"name":"bitwuzla-sys","vers":"0.5.0","deps":[{"name":"copy_dir","req":"^0.1","features":[],"optional":true,"default_features":true,"target":null,"kind":"build"},{"name":"libc","req":"^0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"5cb31acd99a642ca5126212a83a00e711f962d2c09c9668e92793c6af0103bc9","features":{"vendor-cadical":["copy_dir"]},"yanked":false,"links":"bitwuzla","pubtime":"2024-07-05T11:08:03Z"}
{"name":"bitwuzla-sys","vers":"0.5.1","deps":[{"name":"copy_dir","req":"^0.1","features":[],"optional":true,"default_features":true,"target":null,"kind":"build"},{"name":"libc","req":"^0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"b94d1edd30589c93fe14bfcfe614ae0ac83a6e3626e0e8afa7c8578bd520b579","features":{"vendor-cadical":["copy_dir"]},"yanked":false,"links":"bitwuzla","pubtime":"2024-07-09T17:07:16Z"}
{"name":"bitwuzla-sys","vers":"0.7.0","deps":[{"name":"copy_dir","req":"^0.1","features":[],"optional":true,"default_features":true,"target":null,"kind":"build"},{"name":"libc","req":"^0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pkg-config","req":"^0.3","features":[],"optional":true,"default_features":true,"target":null,"kind":"build"}],"cksum":"2cbad377d365e6d39bec75268578054c3197ffe822f4f81bdb43ec6a6bf85ecc","features":{"vendor-cadical":["copy_dir","pkg-config"]},"yanked":false,"links":"bitwuzla","rust_version":"1.82","pubtime":"2025-04-03T15:34:12Z"}
{"name":"bitwuzla-sys","vers":"0.8.0","deps":[{"name":"copy_dir","req":"^0.1","features":[],"optional":true,"default_features":true,"target":null,"kind":"build"},{"name":"libc","req":"^0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pkg-config","req":"^0.3","features":[],"optional":true,"default_features":true,"target":null,"kind":"build"}],"cksum":"ff63cfc9ecd7406fbe2c008bd51091562e88c7b845b29df99679adb4a0e8bad2","features":{"vendor-cadical":["copy_dir","pkg-config"]},"yanked":false,"links":"bitwuzla","rust_version":"1.82","pubtime":"2025-06-25T10:01:08Z"}