{"name":"mathlib","vers":"0.1.0","deps":[],"cksum":"34c1d5599d673672e17bab9820e4572b6d0152cd8fe5581c39155370ff1dbc38","features":{},"yanked":false,"pubtime":"2020-10-26T07:41:52Z"}