{"name":"herkos-runtime","vers":"0.1.0","deps":[{"name":"kani-verifier","req":"^0.57","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"}],"cksum":"ec0d02b4aee34451f77a7254bb707dbe5bea396bba5ba75e4c16df64c1e587ce","features":{"alloc":[],"default":[]},"yanked":false,"pubtime":"2026-02-26T19:09:09Z"}
{"name":"herkos-runtime","vers":"0.1.1","deps":[{"name":"kani-verifier","req":"^0.57","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"}],"cksum":"e7df77a36c6de921af4bbe7c16ef7f151c3ddf2f942c94a124d3219428de7b82","features":{"alloc":[],"default":[]},"yanked":false,"pubtime":"2026-02-26T19:15:27Z"}
{"name":"herkos-runtime","vers":"0.2.0","deps":[{"name":"kani-verifier","req":"^0.57","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"}],"cksum":"03a16565ca6b10ca095a42fb4d2cf9ee05cce3b9e45dd566170c055e5af26c02","features":{"alloc":[],"default":[]},"yanked":false,"pubtime":"2026-03-16T19:13:42Z"}