{"name":"crabka-verified","vers":"0.3.8","deps":[{"name":"assert2","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"creusot-std","req":"^0.12.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"proptest","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"}],"cksum":"6ed9256ce620c1e4acb09139d4c97e9b49e489d3bfba725ec60ca9db11c2628a","features":{},"yanked":false,"rust_version":"1.96.0","pubtime":"2026-07-05T10:25:12Z"}