{"name":"gecode-sys","vers":"0.0.0","deps":[],"cksum":"2adafef99ad3eae0de0dbfd2d3bea9a06f3e5454f23f25b71a148428f5ac44d5","features":{},"yanked":false,"pubtime":"2020-09-07T20:25:51Z"}