{"name":"mathlib","vers":"0.1.0","deps":[],"cksum":"34c1d5599d673672e17bab9820e4572b6d0152cd8fe5581c39155370ff1dbc38","features":{},"yanked":false}