commit: 7ed2e111ab338134f321f4f4923a720614305d4e Author: Maciej Barć <xgqt <AT> gentoo <DOT> org> AuthorDate: Fri Nov 26 11:59:57 2021 +0000 Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org> CommitDate: Fri Nov 26 13:08:39 2021 +0000 URL: https://gitweb.gentoo.org/repo/proj/guru.git/commit/?id=7ed2e111
profiles/updates/4Q-2021: dev-lang/lean -> sci-mathematics/lean Signed-off-by: Maciej Barć <xgqt <AT> 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 c6092b0ba..67dbe908d 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
