crates.io-index

1
{"name":"boolector","vers":"0.1.0","deps":[{"name":"boolector-sys","req":"^0.3.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libc","req":"^0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"0abdb6a6d270f1d31b62eb396ff0382e678700600266a7b6ed5e8c2d42780cc5","features":{},"yanked":false}
2
{"name":"boolector","vers":"0.1.1","deps":[{"name":"boolector-sys","req":"^0.3.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libc","req":"^0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"692eb1e1c2065b00a4921d11db63baa6d0a656a57a53bb420c63ad1351ea1f92","features":{},"yanked":false}
3
{"name":"boolector","vers":"0.1.2","deps":[{"name":"boolector-sys","req":"^0.3.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libc","req":"^0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"77af749eedde3f8082de48a11572e4d9c6480b56e0f41c397e0580d9da487fd2","features":{},"yanked":false}
4
{"name":"boolector","vers":"0.2.0","deps":[{"name":"boolector-sys","req":"^0.3.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libc","req":"^0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"31443e3e1b79151f6dac2b21ef43f67ef8c0132fefd1ca62238b6db7872d6cc8","features":{},"yanked":false}
5
{"name":"boolector","vers":"0.3.0","deps":[{"name":"boolector-sys","req":"^0.4.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libc","req":"^0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"bd222056a165c8089b8cd15cc3ac0679bd9ca2a529411406390a7cf20069aae8","features":{},"yanked":false}
6
{"name":"boolector","vers":"0.4.0","deps":[{"name":"boolector-sys","req":"^0.5.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libc","req":"^0.2.73","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"046af202d5ce03b90089bc3b866da4096ab5936e2ca778d70fd04a37016ae77e","features":{},"yanked":false}
7
{"name":"boolector","vers":"0.4.1","deps":[{"name":"boolector-sys","req":"^0.5.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libc","req":"^0.2.73","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"cad5ff6198c4696f0059f22091aacd2d40b4af6ea804bc396bea08a907f838d2","features":{},"yanked":false}
8
{"name":"boolector","vers":"0.4.2","deps":[{"name":"boolector-sys","req":"^0.6.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libc","req":"^0.2.73","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"2dc3b440a0cd770e8cd01c982f22d3d7f087eec4558c47e2cb37c440f1fe04aa","features":{"vendor-lgl":["boolector-sys/vendor-lgl"]},"yanked":false}
9
{"name":"boolector","vers":"0.4.3","deps":[{"name":"boolector-sys","req":"^0.7.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libc","req":"^0.2.73","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"5567f99e46c8f1f61624adafd2fdf4424b203d9fc5534368421725af17c5fd21","features":{"vendor-lgl":["boolector-sys/vendor-lgl"]},"yanked":false}
10