mirror of
https://github.com/rust-lang/crates.io-index.git
synced 2024-05-08 23:56:16 -05:00
10 lines
12 KiB
Plaintext
10 lines
12 KiB
Plaintext
{"name":"smtlib","vers":"0.1.0","deps":[{"name":"itertools","req":"^0.10.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"miette","req":"^5.5.0","features":["fancy"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"miette","req":"^5.5.0","features":["fancy"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"smtlib-lowlevel","req":"^0.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^1.0.38","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"66e0d2a0137b353c71e3da96939d3eaac2944bf0c4b143bc78afcfd65dc692e0","features":{"cvc5":["smtlib-lowlevel/cvc5"],"default":[],"z3":["smtlib-lowlevel/z3"]},"yanked":false}
|
|
{"name":"smtlib","vers":"0.1.1","deps":[{"name":"itertools","req":"^0.10.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"miette","req":"^5.5.0","features":["fancy"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"miette","req":"^5.5.0","features":["fancy"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"smtlib-lowlevel","req":"^0.1.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^1.0.38","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"9cdf9a7764f70961ab22f96fccd36b71d7a7b9be0815cb57232ca44ab195f30b","features":{"cvc5":["smtlib-lowlevel/cvc5"],"default":[],"z3":["smtlib-lowlevel/z3"]},"yanked":false}
|
|
{"name":"smtlib","vers":"0.1.3","deps":[{"name":"insta","req":"^1.23.0","features":["ron"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"itertools","req":"^0.10.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"miette","req":"^5.5.0","features":["fancy"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"miette","req":"^5.5.0","features":["fancy"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"serde","req":"^1.0.152","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"smtlib-build-util","req":"^0.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"smtlib-lowlevel","req":"^0.1.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"smtlib-lowlevel","req":"^0.1.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"thiserror","req":"^1.0.38","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"38ccd01031536c9c6880e2440ba260314ad05c7e5dde31c12638aab24951ca37","features":{"const-bit-vec":[],"cvc5":["smtlib-lowlevel/cvc5"],"default":[],"z3":["smtlib-lowlevel/z3"]},"features2":{"serde":["dep:serde","smtlib-lowlevel/serde"]},"yanked":false,"v":2}
|
|
{"name":"smtlib","vers":"0.1.4","deps":[{"name":"insta","req":"^1.23.0","features":["ron"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"itertools","req":"^0.10.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"miette","req":"^5.5.0","features":["fancy"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"miette","req":"^5.5.0","features":["fancy"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"serde","req":"^1.0.152","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"smtlib-build-util","req":"^0.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"smtlib-lowlevel","req":"^0.1.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"smtlib-lowlevel","req":"^0.1.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"thiserror","req":"^1.0.38","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"474e639618baf910381717c5978fc09ba032481f9e25021c74d4e4246b41da46","features":{"const-bit-vec":[],"cvc5":["smtlib-lowlevel/cvc5"],"default":[],"z3":["smtlib-lowlevel/z3"]},"features2":{"serde":["dep:serde","smtlib-lowlevel/serde"]},"yanked":false,"v":2}
|
|
{"name":"smtlib","vers":"0.1.5","deps":[{"name":"insta","req":"^1.23.0","features":["ron"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"itertools","req":"^0.10.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"miette","req":"^5.5.0","features":["fancy"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"miette","req":"^5.5.0","features":["fancy"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"serde","req":"^1.0.152","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"smtlib-build-util","req":"^0.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"smtlib-lowlevel","req":"^0.1.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"smtlib-lowlevel","req":"^0.1.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"thiserror","req":"^1.0.38","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"0e04bd25c1280bc6013d536a931e0cfb03ed49978f64e1556be6536bcc77cfad","features":{"const-bit-vec":[],"cvc5":["smtlib-lowlevel/cvc5"],"default":[],"z3":["smtlib-lowlevel/z3"],"z3-static":["smtlib-lowlevel/z3-static"]},"features2":{"serde":["dep:serde","smtlib-lowlevel/serde"]},"yanked":false,"v":2}
|
|
{"name":"smtlib","vers":"0.1.6","deps":[{"name":"insta","req":"^1.23.0","features":["ron"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"itertools","req":"^0.10.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"miette","req":"^5.5.0","features":["fancy"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"miette","req":"^5.5.0","features":["fancy"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"serde","req":"^1.0.152","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"smtlib-build-util","req":"^0.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"smtlib-lowlevel","req":"^0.1.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"smtlib-lowlevel","req":"^0.1.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"thiserror","req":"^1.0.38","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"852897b1fb92c7cf2867fe98c5bfa7c53079d60c7e7faeb214a93e27a584dcde","features":{"async":["smtlib-lowlevel/async"],"const-bit-vec":[],"cvc5":["smtlib-lowlevel/cvc5"],"default":[],"z3":["smtlib-lowlevel/z3"],"z3-static":["smtlib-lowlevel/z3-static"]},"features2":{"serde":["dep:serde","smtlib-lowlevel/serde"]},"yanked":false,"v":2}
|
|
{"name":"smtlib","vers":"0.1.7","deps":[{"name":"futures","req":"^0.3.29","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"insta","req":"^1.23.0","features":["ron"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"itertools","req":"^0.12.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"miette","req":"^5.5.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"miette","req":"^5.5.0","features":["fancy"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"serde","req":"^1.0.152","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"smtlib-build-util","req":"^0.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"smtlib-lowlevel","req":"^0.1.6","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"smtlib-lowlevel","req":"^0.1.6","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"thiserror","req":"^1.0.38","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"d734be4fcb78638ddf5bdc16a888a9eae646a6534dde128127415ff448ed7191","features":{"async":["smtlib-lowlevel/async"],"const-bit-vec":[],"cvc5":["smtlib-lowlevel/cvc5"],"default":[],"z3":["smtlib-lowlevel/z3"],"z3-static":["smtlib-lowlevel/z3-static"]},"features2":{"serde":["dep:serde","smtlib-lowlevel/serde"]},"yanked":false,"v":2}
|
|
{"name":"smtlib","vers":"0.1.8","deps":[{"name":"futures","req":"^0.3.29","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"insta","req":"^1.23.0","features":["ron"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"itertools","req":"^0.12.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"miette","req":"^5.5.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"miette","req":"^5.5.0","features":["fancy"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"serde","req":"^1.0.152","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"smtlib-build-util","req":"^0.1.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"smtlib-lowlevel","req":"^0.1.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"smtlib-lowlevel","req":"^0.1.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"thiserror","req":"^1.0.38","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"e58ae2adf5ce409285efa591dc054277e9bda5104ba4898d5ad5684a65e23252","features":{"async":["smtlib-lowlevel/async"],"const-bit-vec":[],"cvc5":["smtlib-lowlevel/cvc5"],"default":[],"z3":["smtlib-lowlevel/z3"],"z3-static":["smtlib-lowlevel/z3-static"]},"features2":{"serde":["dep:serde","smtlib-lowlevel/serde"]},"yanked":false,"v":2}
|
|
{"name":"smtlib","vers":"0.2.0","deps":[{"name":"futures","req":"^0.3.29","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"insta","req":"^1.23.0","features":["ron"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"itertools","req":"^0.12.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"miette","req":"^5.5.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"miette","req":"^5.5.0","features":["fancy"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"serde","req":"^1.0.152","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"smtlib-lowlevel","req":"^0.2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^1.0.38","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio-test","req":"^0.4.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"}],"cksum":"c36878f20c71c73b8787a2321f848d7f4b6dbebdd5207dade293c820e232edef","features":{"const-bit-vec":[],"default":[],"tokio":["smtlib-lowlevel/tokio"],"z3-static":["smtlib-lowlevel/z3-static"]},"features2":{"serde":["dep:serde","smtlib-lowlevel/serde"]},"yanked":false,"v":2}
|