{"name":"lean","vers":"0.1.0","deps":[],"cksum":"c5bea6141e1734e6869da9d4c30c39ea964f37cc08f148548d2fa0005d704065","features":{},"yanked":false,"pubtime":"2024-10-09T22:12:33Z"}