1 files changed, 1 insertions, 1 deletions

diff --git a/sources b/sources
index 030450a..e8889fc 100644
--- a/sources
+++ b/sources
@@ -1 +1 @@
-dd88283d600a31238c31901afd8b3c8e  lean-1.0.150.tar.gz
+ba72b8f598195d54110aa59f8e56611a  lean-1.0.152.tar.gz