{"name":"vallmo-flatzinc","vers":"0.0.0","deps":[],"cksum":"5b93229e7ae7047c4e161746114abaca737042973ddede09ccef7feca1166ad8","features":{},"yanked":false,"pubtime":"2020-09-08T08:21:25Z"}