diff --git a/metadata/md5-cache/sci-mathematics/lean-4.25.0_rc2 b/metadata/md5-cache/sci-mathematics/lean-4.25.0
similarity index 79%
rename from metadata/md5-cache/sci-mathematics/lean-4.25.0_rc2
rename to metadata/md5-cache/sci-mathematics/lean-4.25.0
index 9318735..fe8eacd 100644
--- a/metadata/md5-cache/sci-mathematics/lean-4.25.0_rc2
+++ b/metadata/md5-cache/sci-mathematics/lean-4.25.0
@@ -10,6 +10,6 @@ KEYWORDS=~amd64
 LICENSE=Apache-2.0
 RDEPEND=dev-libs/gmp:= dev-libs/libuv:= sci-mathematics/cadical
 SLOT=0/4
-SRC_URI=https://github.com/leanprover/lean4/archive/refs/tags/v4.25.0-rc2.tar.gz -> lean-4.25.0_rc2.tar.gz
-_eclasses_=check-reqs	2a9731073c152554078a9a8df8fc0f1b	toolchain-funcs	98d9f464d912ae6b7316fb8a3721f5db	flag-o-matic	a7afe42e95fb46ce9691605acfb24672	multiprocessing	1e32df7deee68372153dca65f4a7c21f	ninja-utils	2df4e452cea39a9ec8fb543ce059f8d6	xdg-utils	42869b3c8d86a70ef3cf75165a395e09	cmake	2d36accef058c00889b1f93ea4bc4061	python-utils-r1	dbb8c4d794033ad7e7221eaf567a6c90	python-any-r1	891415dfe39ad9b41b461f2b86354af0
+SRC_URI=https://github.com/leanprover/lean4/archive/refs/tags/v4.25.0.tar.gz -> lean-4.25.0.tar.gz
+_eclasses_=check-reqs	2a9731073c152554078a9a8df8fc0f1b	toolchain-funcs	98d9f464d912ae6b7316fb8a3721f5db	flag-o-matic	a7afe42e95fb46ce9691605acfb24672	multiprocessing	1e32df7deee68372153dca65f4a7c21f	ninja-utils	3a59a39e97af0f7c03f49cf3c22f262b	xdg-utils	42869b3c8d86a70ef3cf75165a395e09	cmake	29a000891e576f0392730bb6834b67f5	python-utils-r1	dbb8c4d794033ad7e7221eaf567a6c90	python-any-r1	891415dfe39ad9b41b461f2b86354af0
 _md5_=48760dee67524d93db9a50cffcacb957
diff --git a/sci-mathematics/lean/Manifest b/sci-mathematics/lean/Manifest
index 0cd96f7..912c212 100644
--- a/sci-mathematics/lean/Manifest
+++ b/sci-mathematics/lean/Manifest
@@ -1,3 +1,3 @@
-DIST lean-4.25.0_rc2.tar.gz 50072895 BLAKE2B bf081912fd8896a3916ef95af97cfd63646f13cc3c0b397966a8195d34e60ca500562c48565fb27eeca5b51d90a3dcd1f5dd20507b1f3bae83d7d16b6c1c2d78 SHA512 1f99b0c85188ad66d4d161f1ef886449999d891e09c92af6018937e4fdbc56cfb05de3eee6e666ae0cec85075f8d517dbd27fc14361854f7f1a939b6c9d41687
-EBUILD lean-4.25.0_rc2.ebuild 1843 BLAKE2B 5e4da67180c9b7d801cbe490001316001d145a682852352f30c17a52f8e7ae3519c1958a99c1b2a19ab5f841827d73ee1753d75dc02cadde3cd2516941209007 SHA512 f37a1c87668396b8bfdd0c724e84dd26778f7a7ae26408265f3d3ebe8382e55876ff4248a9c912b68af05816704094f492f895d61a8e87ed4c094f87fc049a59
+DIST lean-4.25.0.tar.gz 50069202 BLAKE2B a6f18abe1c29c79537c7ee7f530ea03c045d77d99d17d8662711fd828ab4cc42b9a9f1016a69054bcf11c22b3954a335053d5f0e1fa90c8507e3dcc401c8fe69 SHA512 98d0249fa99f5376cdee1bbc8f251c54983c93e38bc8859cb1d471d4726cbaea5f159f8202449ac01d4920cc16a2571e4cb39d7a6a901014bbe18473b91088c3
+EBUILD lean-4.25.0.ebuild 1843 BLAKE2B 5e4da67180c9b7d801cbe490001316001d145a682852352f30c17a52f8e7ae3519c1958a99c1b2a19ab5f841827d73ee1753d75dc02cadde3cd2516941209007 SHA512 f37a1c87668396b8bfdd0c724e84dd26778f7a7ae26408265f3d3ebe8382e55876ff4248a9c912b68af05816704094f492f895d61a8e87ed4c094f87fc049a59
 MISC metadata.xml 954 BLAKE2B 338f64bbe848dca10f77fb7d5b7503684d36742139a4fd45f7a4c48250a11af6a78e40f5304d44166ce56f7fe4d22c6f980b55cab411bb7be93cc279694e9b66 SHA512 ec7c25a75237d2d54704e2d7b1811489a95780885c748a832643760d012eaceaeb5bfec9fc80509d5699940e749e770e841880cca1361848244b5031636e48b2
diff --git a/sci-mathematics/lean/lean-4.25.0_rc2.ebuild b/sci-mathematics/lean/lean-4.25.0.ebuild
similarity index 100%
rename from sci-mathematics/lean/lean-4.25.0_rc2.ebuild
rename to sci-mathematics/lean/lean-4.25.0.ebuild