{"name":"peepmatic","vers":"0.64.0","deps":[{"name":"anyhow","req":"^1.0.27","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"peepmatic-automata","req":"^0.1.0","features":["dot"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"peepmatic-macro","req":"^0.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"peepmatic-runtime","req":"^0.1.0","features":["construct"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wast","req":"^15.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.5.1","features":["static-link-z3"],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"24e8758283e4df43202cdeda95d965d7eeea8fb22d77f0113ed0e53b31d81fe5","features":{},"yanked":false,"pubtime":"2020-06-03T01:01:30Z"}
{"name":"peepmatic","vers":"0.65.0","deps":[{"name":"anyhow","req":"^1.0.27","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"peepmatic-automata","req":"^0.2.0","features":["dot"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"peepmatic-macro","req":"^0.2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"peepmatic-runtime","req":"^0.2.0","features":["construct"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wast","req":"^15.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.5.1","features":["static-link-z3"],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"bda4ec58f97777841199d42c7897aa46293c8257908302bffc0c83f09d52bb2a","features":{},"yanked":false,"pubtime":"2020-06-11T23:45:25Z"}
{"name":"peepmatic","vers":"0.66.0","deps":[{"name":"anyhow","req":"^1.0.27","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"peepmatic-automata","req":"^0.2.0","features":["dot"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"peepmatic-macro","req":"^0.2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"peepmatic-runtime","req":"^0.2.0","features":["construct"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wast","req":"^15.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.6.0","features":["static-link-z3"],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"0d554262c7c2001001074716ebbc451344705b5f712530a2b5c3b1118226b6de","features":{},"yanked":false,"pubtime":"2020-07-16T17:58:45Z"}
{"name":"peepmatic","vers":"0.69.0","deps":[{"name":"anyhow","req":"^1.0.27","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"peepmatic-automata","req":"^0.69.0","features":["dot"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"peepmatic-macro","req":"^0.69.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"peepmatic-runtime","req":"^0.69.0","features":["construct"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"peepmatic-test-operator","req":"^0.69.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"peepmatic-traits","req":"^0.69.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0.105","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wast","req":"^29.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.7.1","features":["static-link-z3"],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"13ce049b5bbaa3f5c40014f1248936fdec32ebe5f6461a0a61730318e5a70c91","features":{},"yanked":false,"pubtime":"2021-01-08T17:03:04Z"}
{"name":"peepmatic","vers":"0.70.0","deps":[{"name":"anyhow","req":"^1.0.27","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"peepmatic-automata","req":"^0.70.0","features":["dot"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"peepmatic-macro","req":"^0.70.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"peepmatic-runtime","req":"^0.70.0","features":["construct"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"peepmatic-test-operator","req":"^0.70.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"peepmatic-traits","req":"^0.70.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0.105","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wast","req":"^32.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.7.1","features":["static-link-z3"],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"ccfd57146bd6aa880820958a6b8f4e039955598900a6e351ad5acca54df2680b","features":{},"yanked":false,"pubtime":"2021-02-17T23:40:14Z"}
{"name":"peepmatic","vers":"0.71.0","deps":[{"name":"anyhow","req":"^1.0.27","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"peepmatic-automata","req":"^0.71.0","features":["dot"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"peepmatic-macro","req":"^0.71.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"peepmatic-runtime","req":"^0.71.0","features":["construct"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"peepmatic-test-operator","req":"^0.71.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"peepmatic-traits","req":"^0.71.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0.105","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wast","req":"^35.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.7.1","features":["static-link-z3"],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"bd64ae64092d280cc75bc1e4b5e99883c02681d5106345ce1baa6b1ba819a7a8","features":{},"yanked":false,"pubtime":"2021-03-05T02:23:23Z"}
{"name":"peepmatic","vers":"0.72.0","deps":[{"name":"anyhow","req":"^1.0.27","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"peepmatic-automata","req":"^0.72.0","features":["dot"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"peepmatic-macro","req":"^0.72.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"peepmatic-runtime","req":"^0.72.0","features":["construct"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"peepmatic-test-operator","req":"^0.72.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"peepmatic-traits","req":"^0.72.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0.105","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wast","req":"^35.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.7.1","features":["static-link-z3"],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"fd61449fee9138a732c0826284c91ebe5268c6f6c794586a22111bd893667c1e","features":{},"yanked":false,"pubtime":"2021-03-16T20:22:58Z"}
{"name":"peepmatic","vers":"0.73.0","deps":[{"name":"anyhow","req":"^1.0.27","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"peepmatic-automata","req":"^0.73.0","features":["dot"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"peepmatic-macro","req":"^0.73.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"peepmatic-runtime","req":"^0.73.0","features":["construct"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"peepmatic-test-operator","req":"^0.73.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"peepmatic-traits","req":"^0.73.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0.105","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wast","req":"^35.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.7.1","features":["static-link-z3"],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"9c06ebf0d5fc219c397e3471cb778f268f6ba0e1ee18edde74e1e86b04187d0a","features":{},"yanked":false,"pubtime":"2021-04-05T19:09:45Z"}
{"name":"peepmatic","vers":"0.74.0","deps":[{"name":"anyhow","req":"^1.0.27","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"peepmatic-automata","req":"^0.74.0","features":["dot"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"peepmatic-macro","req":"^0.74.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"peepmatic-runtime","req":"^0.74.0","features":["construct"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"peepmatic-test-operator","req":"^0.74.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"peepmatic-traits","req":"^0.74.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0.105","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wast","req":"^35.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.7.1","features":["static-link-z3"],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"2b81b31babda04822d9e6c8c32ef1e079d6300378372e7a5dd1bdec6e1f8b546","features":{},"yanked":false,"pubtime":"2021-05-21T20:48:52Z"}
{"name":"peepmatic","vers":"0.73.1","deps":[{"name":"anyhow","req":"^1.0.27","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"peepmatic-automata","req":"^0.73.1","features":["dot"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"peepmatic-macro","req":"^0.73.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"peepmatic-runtime","req":"^0.73.1","features":["construct"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"peepmatic-test-operator","req":"^0.73.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"peepmatic-traits","req":"^0.73.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0.105","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wast","req":"^35.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.7.1","features":["static-link-z3"],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"d7b021044f85fe997a59f52cf553401b24f5ebbd330d3bbaa48dfd4f20cc3df4","features":{},"yanked":false,"pubtime":"2021-05-21T21:38:36Z"}
{"name":"peepmatic","vers":"0.75.0","deps":[{"name":"anyhow","req":"^1.0.27","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"peepmatic-automata","req":"^0.75.0","features":["dot"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"peepmatic-macro","req":"^0.75.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"peepmatic-runtime","req":"^0.75.0","features":["construct"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"peepmatic-test-operator","req":"^0.75.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"peepmatic-traits","req":"^0.75.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0.105","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wast","req":"^35.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.7.1","features":["static-link-z3"],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"0165a6fd00e26c1609c80bd9f90c1b8191f07eaee78885ca0f580842e93a0a15","features":{},"yanked":false,"pubtime":"2021-06-09T19:02:00Z"}
{"name":"peepmatic","vers":"0.76.0","deps":[{"name":"anyhow","req":"^1.0.27","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"peepmatic-automata","req":"^0.76.0","features":["dot"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"peepmatic-macro","req":"^0.76.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"peepmatic-runtime","req":"^0.76.0","features":["construct"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"peepmatic-test-operator","req":"^0.76.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"peepmatic-traits","req":"^0.76.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0.105","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wast","req":"^36.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.7.1","features":["static-link-z3"],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"ef6b48eff07d9b73248f5c6ea2c0783fc58a65098499643afa65a9b7c3307918","features":{},"yanked":false,"pubtime":"2021-08-02T20:10:06Z"}
{"name":"peepmatic","vers":"0.77.0","deps":[{"name":"anyhow","req":"^1.0.27","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"peepmatic-automata","req":"^0.77.0","features":["dot"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"peepmatic-macro","req":"^0.77.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"peepmatic-runtime","req":"^0.77.0","features":["construct"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"peepmatic-test-operator","req":"^0.77.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"peepmatic-traits","req":"^0.77.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0.105","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wast","req":"^37.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.7.1","features":["static-link-z3"],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"4bd1552189be6353fbcdd8c7cd353e38dfc6b60da112a8022356c7a94fece282","features":{},"yanked":false,"pubtime":"2021-09-17T18:41:36Z"}
{"name":"peepmatic","vers":"0.78.0","deps":[{"name":"anyhow","req":"^1.0.27","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"peepmatic-automata","req":"=0.78.0","features":["dot"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"peepmatic-macro","req":"=0.78.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"peepmatic-runtime","req":"=0.78.0","features":["construct"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"peepmatic-traits","req":"=0.78.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0.105","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wast","req":"^38.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.7.1","features":["static-link-z3"],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"a5156566883dd8a4bbcecf68b065214a6c0c051184448181cdecd69e3851f016","features":{},"yanked":false,"pubtime":"2021-10-29T14:15:39Z"}