crates.io-index

1
{"name":"yices2","vers":"0.1.0","deps":[{"name":"ctor","req":"^0.2.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"itertools","req":"^0.11.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"paste","req":"^1.0.14","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^1.0.46","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"yices2-sys","req":"^0.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"0262c0163688555624006269cf2f8b7cccb176f20d8dd6a668ccf54b96ae5cc6","features":{},"yanked":false}
2
{"name":"yices2","vers":"0.1.1","deps":[{"name":"anyhow","req":"^1.0.75","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"anyhow","req":"^1.0.75","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"ctor","req":"^0.2.4","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"itertools","req":"^0.11.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"paste","req":"^1.0.14","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^1.0.46","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"yices2-sys","req":"^2.6.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"beab903bbc121dab286a4b34b23da005e6f644cde7ee15df968e55ec0ef01e92","features":{"default":["ctor"]},"features2":{"ctor":["dep:ctor"]},"yanked":false,"v":2}
3
{"name":"yices2","vers":"0.1.2","deps":[{"name":"anyhow","req":"^1.0.75","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"anyhow","req":"^1.0.75","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"ctor","req":"^0.2.4","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"itertools","req":"^0.11.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"paste","req":"^1.0.14","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^1.0.46","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"yices2-sys","req":"^2.6.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"e8072f05f4c3941427e62c1bc2faf981e1e07a7cd64bb897bbe6524ab8d94902","features":{"default":["ctor","prelude"],"prelude":[]},"features2":{"ctor":["dep:ctor"]},"yanked":false,"v":2}
4
{"name":"yices2","vers":"0.1.3","deps":[{"name":"anyhow","req":"^1.0.75","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"anyhow","req":"^1.0.75","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"ctor","req":"^0.2.4","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"itertools","req":"^0.11.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"paste","req":"^1.0.14","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^1.0.46","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"yices2-sys","req":"^2.6.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"d84091bd9a7ddb0031fa6620ef72965408aa9c83de9debdadcb8e0e23e02289a","features":{"default":["ctor","prelude"],"prelude":[]},"features2":{"ctor":["dep:ctor"]},"yanked":false,"v":2}
5
{"name":"yices2","vers":"0.1.4","deps":[{"name":"anyhow","req":"^1.0.75","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"anyhow","req":"^1.0.75","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"ctor","req":"^0.2.4","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"itertools","req":"^0.11.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"paste","req":"^1.0.14","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^1.0.46","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"yices2-sys","req":"^2.6.4-patch.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"054749a20b683b94d9bb9b193a674274ff91794b19d7407dc84152f315335a71","features":{"default":["ctor","prelude"],"prelude":[]},"features2":{"ctor":["dep:ctor"]},"yanked":false,"v":2}
6