{"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,"pubtime":"2023-08-17T16:37:17Z"}
{"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":{},"features2":{"ctor":["dep:ctor"],"default":["ctor"]},"yanked":false,"pubtime":"2023-08-20T01:15:15Z","v":2}
{"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":{"prelude":[]},"features2":{"ctor":["dep:ctor"],"default":["ctor","prelude"]},"yanked":false,"pubtime":"2023-08-25T06:21:46Z","v":2}
{"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":{"prelude":[]},"features2":{"ctor":["dep:ctor"],"default":["ctor","prelude"]},"yanked":false,"pubtime":"2023-09-01T07:54:30Z","v":2}
{"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":{"prelude":[]},"features2":{"ctor":["dep:ctor"],"default":["ctor","prelude"]},"yanked":false,"pubtime":"2023-09-01T08:02:03Z","v":2}