{"name":"openmath","vers":"0.0.0","deps":[],"cksum":"f4fffb4faa89075e03c9775f97f6896b2e4055dd00b5945da0b58ababb58f4b6","features":{},"yanked":false}