{"name":"higher-graphen-model-checking","vers":"0.2.1","deps":[{"name":"higher-graphen-core","req":"^0.2.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"higher-graphen-space","req":"^0.2.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"}],"cksum":"aed8a8de669ec37bf8c1a16dd0f5ba306f7585bc600b49331571d3cfa83a0d9e","features":{},"yanked":true,"rust_version":"1.80","pubtime":"2026-04-28T12:27:25Z"}