mirrors/guru
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/guru.git synced 2026-07-19 20:13:01 -04:00
Code Issues Packages Projects Releases Wiki Activity

profiles/updates/4Q-2021: dev-lang/lean -> sci-mathematics/lean

Browse Source 
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
This commit is contained in:
Maciej Barć
2021-11-26 12:59:57 +01:00
parent 0687ff75b4
commit 7ed2e111ab
1 changed files with 1 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
profiles/updates/4Q-2021
View File

@@ -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