{"name":"gecode","vers":"0.0.0","deps":[],"cksum":"52fc637b0f1ed2d4fde4c842732ba6353be76f2636c92e2537872450692d5ecb","features":{},"yanked":false,"pubtime":"2020-09-07T20:25:19Z"}