{"name":"kripke-machine","vers":"0.1.0","deps":[],"cksum":"64e839c6552c744ddd3c46cbc06f9ba0041c7f108f1a0e97e0d508431a78d0f1","features":{},"yanked":false,"pubtime":"2023-07-07T15:45:19Z"}