{"name":"smtlib-syntax","vers":"0.1.0","deps":[],"cksum":"f85c4430b5d0b87cf872a887aecb22e29ce328454945d943d6eb543ca45d8577","features":{},"yanked":false}