Experimental browser for the Atmosphere
they would have to use the exact same kani version because its a git dependency with a tag, so it wont be rust-semver compatible the way a crates io dependency would be maybe nonsense with patch dependencies could make it work across different versions, but would still need to be ecosystem wide, so
May 8, 2025, 9:07 PM
{ "uri": "at://did:plc:susc6mr26zl3wisqpqvdk33d/app.bsky.feed.post/3loosxpihvs2c", "cid": "bafyreiaz7h4by4mqgnvv7eb2oxows2kxkczv5b4wyacwf7354s33jrsrga", "value": { "text": "they would have to use the exact same kani version because its a git dependency with a tag, so it wont be rust-semver compatible the way a crates io dependency would be\n\nmaybe nonsense with patch dependencies could make it work across different versions, but would still need to be ecosystem wide, so", "$type": "app.bsky.feed.post", "langs": [ "en" ], "reply": { "root": { "cid": "bafyreib2fo4v6efoi2cap72lpntpuiy6jgnd7abatlizmt4nhblcj4ijhq", "uri": "at://did:plc:susc6mr26zl3wisqpqvdk33d/app.bsky.feed.post/3loor3f46zc2v" }, "parent": { "cid": "bafyreiexf3teb5h6sisunbbsp32otxifuopx4cyo42vamzrxrrfvbf4evi", "uri": "at://did:plc:susc6mr26zl3wisqpqvdk33d/app.bsky.feed.post/3loostxjbg22c" } }, "createdAt": "2025-05-08T21:07:05.051Z" } }