{"name":"tlaplus-props","vers":"0.1.0","deps":[{"name":"petgraph","req":"^0.8.3","features":["std"],"optional":false,"default_features":false,"target":null,"kind":"normal"}],"cksum":"55bdfc7345512279b90f90112692654d8ef4c6b21b82524e9c26ea435e76e868","features":{},"yanked":false,"pubtime":"2026-10-29T19:08:16Z"}