{"name":"lean-macros","vers":"0.0.0","deps":[],"cksum":"8f965a1c16fe8f93eeedc8a89ecc588c52dc069f24bb607d363151850b098333","features":{},"yanked":false,"pubtime":"2024-10-09T22:56:13Z"}