{"name":"d4-arjun-sys","vers":"0.1.0","deps":[{"name":"cmake","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"d4-cryptominisat-sys","req":"^0.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"gmp-mpfr-sys","req":"^1.6","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"54fb05f23acb4112bef5384b89c4567aa4d7ccc62d6da1ced0777dcf790b60e9","features":{},"yanked":true,"links":"arjun","pubtime":"2024-11-15T07:45:50Z"}
{"name":"d4-arjun-sys","vers":"0.1.1","deps":[{"name":"cmake","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"d4-cryptominisat-sys","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"gmp-mpfr-sys","req":"^1.6","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"3d1884953f5291054b879008b38200a92f4db3ee6b297f30dd81753a6260bb0d","features":{},"yanked":true,"links":"arjun","pubtime":"2024-11-19T14:26:40Z"}
{"name":"d4-arjun-sys","vers":"0.1.2","deps":[{"name":"cmake","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"d4-cryptominisat-sys","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"d4-sbva-sys","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"gmp-mpfr-sys","req":"^1.6","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"8622ce4c2fe4bc4d89ca30fc3f5c89b33517bac92df70b39d737c1c11703b64a","features":{},"yanked":true,"links":"arjun","pubtime":"2024-12-01T13:08:45Z"}
{"name":"d4-arjun-sys","vers":"0.1.3","deps":[{"name":"cmake","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"d4-cryptominisat-sys","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"d4-sbva-sys","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"gmp-mpfr-sys","req":"^1.6","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"fc31164df4177cb68acf76f3062a5c927d066d1ef7a0767b286b18aa5f7a7b20","features":{},"yanked":true,"links":"arjun","pubtime":"2024-12-01T13:23:52Z"}
{"name":"d4-arjun-sys","vers":"0.1.4","deps":[{"name":"cmake","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"d4-cryptominisat-sys","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"d4-sbva-sys","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"gmp-mpfr-sys","req":"^1.6","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"46e162f9a3541929269b87a8effe013fda90f67501cb3d8a98be1b205212036e","features":{},"yanked":true,"links":"arjun","pubtime":"2024-12-01T14:26:13Z"}
{"name":"d4-arjun-sys","vers":"0.1.5","deps":[{"name":"cmake","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"d4-cryptominisat-sys","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"d4-sbva-sys","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"gmp-mpfr-sys","req":"^1.6","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"c26d24c9dd603a6f75ef254e17ad356d30310141917b92cd497a9cb012217056","features":{},"yanked":true,"links":"arjun","pubtime":"2024-12-01T14:41:31Z"}
{"name":"d4-arjun-sys","vers":"0.1.6","deps":[{"name":"cmake","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"d4-cryptominisat-sys","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"d4-sbva-sys","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"gmp-mpfr-sys","req":"^1.6","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"9cbda538a438bb1d41f338dee4e42788bae72b7e04f6eae8b99d66e243dc73dd","features":{},"yanked":true,"links":"arjun","pubtime":"2024-12-01T14:45:01Z"}
{"name":"d4-arjun-sys","vers":"0.1.7","deps":[{"name":"cmake","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"d4-cryptominisat-sys","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"d4-sbva-sys","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"gmp-mpfr-sys","req":"^1.6","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"adf5f79997b7ba9813d705d8dbff5796b06eeb3f4c35d8abb1f7d04404994866","features":{},"yanked":true,"links":"arjun","pubtime":"2024-12-01T14:53:05Z"}
{"name":"d4-arjun-sys","vers":"0.1.8","deps":[{"name":"cmake","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"d4-cryptominisat-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"},{"name":"d4-mpfr-sys","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"d4-sbva-sys","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"8bf4f3f8f5dc74766eaeb2723da58d9d257bfbf65fbf5df8544cfc8f048367c8","features":{},"yanked":true,"links":"arjun","pubtime":"2024-12-02T13:51:10Z"}
{"name":"d4-arjun-sys","vers":"0.1.9","deps":[{"name":"cmake","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"d4-cryptominisat-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"},{"name":"d4-sbva-sys","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"fe41d3e208acc8b2e55c01c4f2c576dc875a48ee2f89f5d3b8f600fd92f7b200","features":{},"yanked":false,"links":"arjun","pubtime":"2024-12-07T15:25:25Z"}
{"name":"d4-arjun-sys","vers":"0.1.10","deps":[{"name":"cmake","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"d4-cryptominisat-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"},{"name":"d4-sbva-sys","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"81c94701329c0691716d30f33ec66c5a53138960f84aa9c123951e330811fca9","features":{},"yanked":false,"links":"arjun","pubtime":"2024-12-07T16:36:43Z"}