{"name":"d4-cryptominisat-sys","vers":"0.1.0","deps":[{"name":"cmake","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"d4-cadiback-sys","req":"^0.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"85f3dbf3f592187c1b5eb4ceef3d3bb1d784611e24b17e36b189c4d0f9b3d110","features":{},"yanked":true,"links":"cryptominisat5","pubtime":"2024-11-15T07:45:00Z"}
{"name":"d4-cryptominisat-sys","vers":"0.1.1","deps":[{"name":"cmake","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"d4-cadiback-sys","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"d4-cadical-sys","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"804b915a8679c1daa54323d6eae2ee09b06720ec7bb3c9491147fc958457fbdf","features":{},"yanked":true,"links":"cryptominisat5","pubtime":"2024-11-19T14:28:34Z"}
{"name":"d4-cryptominisat-sys","vers":"0.1.2","deps":[{"name":"cmake","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"d4-cadiback-sys","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"d4-cadical-sys","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"df55d2fb90a778f8f9c3262775f998afd061793191b369d6c219a75b5a976814","features":{},"yanked":true,"links":"cryptominisat5","pubtime":"2024-11-30T17:15:15Z"}
{"name":"d4-cryptominisat-sys","vers":"0.1.3","deps":[{"name":"cmake","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"d4-cadiback-sys","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"d4-cadical-sys","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"762b6a093a25398d410c4d7305df08f88c331d6ebf4f50c999e8410cfbfa81b7","features":{},"yanked":true,"links":"cryptominisat5","pubtime":"2024-12-01T14:40:26Z"}
{"name":"d4-cryptominisat-sys","vers":"0.1.4","deps":[{"name":"cmake","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"d4-cadiback-sys","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"d4-cadical-sys","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"d4-gmp-sys","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"40626549ca34443cd1ee60b63ee432e02f6feaf3959a9f8b0ffe5f6e224ee580","features":{},"yanked":true,"links":"cryptominisat5","pubtime":"2024-12-02T13:49:17Z"}
{"name":"d4-cryptominisat-sys","vers":"0.1.5","deps":[{"name":"cmake","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"d4-cadiback-sys","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"d4-cadical-sys","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"1d0c78b911e10b18a6f29b7ef80d97701907dfdb2c53f2c238f9b658cc8670c7","features":{},"yanked":false,"links":"cryptominisat5","pubtime":"2024-12-07T15:25:33Z"}