saundersp/saundersp-overlay
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Updated sci-mathematics/lean to 4.25.1

Browse Source
This commit is contained in:
saundersp
2025-11-18 12:45:56 +01:00
parent aee4a7d7d5
commit 37c59d3dfa
3 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
metadata/md5-cache/sci-mathematics/lean-4.25.0 → metadata/md5-cache/sci-mathematics/lean-4.25.1
View File

@@ -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.tar.gz -> lean-4.25.0.tar.gz
SRC_URI=https://github.com/leanprover/lean4/archive/refs/tags/v4.25.1.tar.gz -> lean-4.25.1.tar.gz
_eclasses_=check-reqs 2a9731073c152554078a9a8df8fc0f1b toolchain-funcs 98d9f464d912ae6b7316fb8a3721f5db flag-o-matic a7afe42e95fb46ce9691605acfb24672 multiprocessing 1e32df7deee68372153dca65f4a7c21f ninja-utils 3a59a39e97af0f7c03f49cf3c22f262b xdg-utils 42869b3c8d86a70ef3cf75165a395e09 cmake a36a2a340635cb293524229ee6d2ef7a python-utils-r1 dbb8c4d794033ad7e7221eaf567a6c90 python-any-r1 891415dfe39ad9b41b461f2b86354af0
_md5_=48760dee67524d93db9a50cffcacb957