From 7ed2e111ab338134f321f4f4923a720614305d4e Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Maciej=20Bar=C4=87?= <xgqt@gentoo.org>
Date: Fri, 26 Nov 2021 12:59:57 +0100
Subject: [PATCH] profiles/updates/4Q-2021: dev-lang/lean ->
 sci-mathematics/lean
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Signed-off-by: Maciej Barć <xgqt@gentoo.org>
---
 profiles/updates/4Q-2021 | 1 +
 1 file changed, 1 insertion(+)

diff --git a/profiles/updates/4Q-2021 b/profiles/updates/4Q-2021
index c6092b0baa..67dbe908d6 100644
--- a/profiles/updates/4Q-2021
+++ b/profiles/updates/4Q-2021
@@ -1,3 +1,4 @@
 move dev-python/geopy sci-geosciences/geopy
 move dev-util/xdp-tools net-libs/xdp-tools
 move dev-lisp/arc dev-lang/arc
+move dev-lang/lean sci-mathematics/lean