mirror of
https://github.com/rust-lang/crates.io-index.git
synced 2024-05-08 23:56:16 -05:00
10 lines
10 KiB
Plaintext
10 lines
10 KiB
Plaintext
{"name":"smtlib-lowlevel","vers":"0.1.0","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":"logos","req":"^0.12.1","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":"serde","req":"^1.0.152","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^1.0.38","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"05729a026450beb289419bd89e06f02843b6feca2150107c700f4e4992224c27","features":{"cvc5":[],"default":[],"z3":[]},"features2":{"serde":["dep:serde"]},"yanked":false,"v":2}
|
|
{"name":"smtlib-lowlevel","vers":"0.1.1","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":"logos","req":"^0.12.1","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":"serde","req":"^1.0.152","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^1.0.38","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"bb164e0e656e7ecd120c84f01b0440915e8874065e2c3354e168e891acfd71c0","features":{"cvc5":[],"default":[],"z3":[]},"features2":{"serde":["dep:serde"]},"yanked":false,"v":2}
|
|
{"name":"smtlib-lowlevel","vers":"0.1.2","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":"logos","req":"^0.12.1","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":"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":"thiserror","req":"^1.0.38","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"d7aa8439f0818c9152ce8e67269a999da3be977b013573454f512043436fa997","features":{"cvc5":[],"default":[],"z3":[]},"features2":{"serde":["dep:serde"]},"yanked":false,"v":2}
|
|
{"name":"smtlib-lowlevel","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":"logos","req":"^0.12.1","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":"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":"thiserror","req":"^1.0.38","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"ac825239f3972471717207262d18c80b0e7a20d6013db6cdf3e57a51ef17a343","features":{"cvc5":[],"default":[],"z3":[]},"features2":{"serde":["dep:serde"]},"yanked":false,"v":2}
|
|
{"name":"smtlib-lowlevel","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":"logos","req":"^0.12.1","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":"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":"thiserror","req":"^1.0.38","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3-sys","req":"^0.7.1","features":["static-link-z3"],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"599e7a22097101a398bd0008828965aee0542d507ac28acd207e8dfee9c60a9c","features":{"cvc5":[],"default":[],"z3":[]},"features2":{"serde":["dep:serde"],"z3-static":["dep:z3-sys"]},"yanked":false,"v":2}
|
|
{"name":"smtlib-lowlevel","vers":"0.1.5","deps":[{"name":"async-trait","req":"^0.1.61","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"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":"logos","req":"^0.12.1","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":"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":"thiserror","req":"^1.0.38","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3-sys","req":"^0.7.1","features":["static-link-z3"],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"f584e1421f757eb4179ee21c52e2f715fbeaf1186cbe74c5711b22f42f6abb87","features":{"cvc5":[],"default":[],"z3":[]},"features2":{"async":["dep:async-trait"],"serde":["dep:serde"],"z3-static":["dep:z3-sys"]},"yanked":false,"v":2}
|
|
{"name":"smtlib-lowlevel","vers":"0.1.6","deps":[{"name":"async-trait","req":"^0.1.74","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"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":"logos","req":"^0.13.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":"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":"thiserror","req":"^1.0.38","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3-sys","req":"^0.8.1","features":["static-link-z3"],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"1717e09abe3a5b00509468cf2ec8f080a29119027c6c3837dda52f5533ee45ee","features":{"cvc5":[],"default":[],"z3":[]},"features2":{"async":["dep:async-trait"],"serde":["dep:serde"],"z3-static":["dep:z3-sys"]},"yanked":false,"v":2}
|
|
{"name":"smtlib-lowlevel","vers":"0.1.8","deps":[{"name":"async-trait","req":"^0.1.74","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"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":"logos","req":"^0.13.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":"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":"thiserror","req":"^1.0.38","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3-sys","req":"^0.8.1","features":["static-link-z3"],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"b77ef546062059b97807061f21ebdb290584058ef97b52cea8a932b3f2b82ddc","features":{"cvc5":[],"default":[],"z3":[]},"features2":{"async":["dep:async-trait"],"serde":["dep:serde"],"z3-static":["dep:z3-sys"]},"yanked":false,"v":2}
|
|
{"name":"smtlib-lowlevel","vers":"0.2.0","deps":[{"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":"logos","req":"^0.13.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":"serde","req":"^1.0.152","features":["derive"],"optional":true,"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","req":"^1.37.0","features":["io-util","process"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"z3-sys","req":"^0.8.1","features":["static-link-z3"],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"c2f4299558c2a6216ae737be12acae2976e62b3d5012910e82cd452a29d7e427","features":{"default":[]},"features2":{"serde":["dep:serde"],"tokio":["dep:tokio"],"z3-static":["dep:z3-sys"]},"yanked":false,"v":2}
|