From ff4b64d32236bb84a0fb3f9a1c1c3f1b09cde6d4 Mon Sep 17 00:00:00 2001
From: CoprDistGit <infra@openeuler.org>
Date: Tue, 25 Apr 2023 13:09:38 +0000
Subject: automatic import of python-lean

---
 sources | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'sources')

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
-- 
cgit v1.2.3