{"name":"lean-dom","vers":"0.0.0","deps":[],"cksum":"e9309158a4d8fcd42ae6998c6c8065efaf2458e4fa5278c0659cfc572f9ae8f1","features":{},"yanked":false,"pubtime":"2024-10-09T22:48:47Z"}