{"name":"lean-core","vers":"0.0.0","deps":[],"cksum":"4c8c3198007c3f4b66a4e2303d40fd0eab4f0e7a23879f8d6d613d0bbbc081df","features":{},"yanked":false,"pubtime":"2024-10-09T22:47:32Z"}