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

Updated sci-mathematics/lean to 4.25.2

Browse Source
This commit is contained in:
saundersp
2025-11-25 17:08:31 +01:00
parent a9753f25b2
commit d892dfa5d7
3 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
sci-mathematics/lean/Manifest
View File

@@ -1,3 +1,3 @@
DIST lean-4.25.1.tar.gz 50069728 BLAKE2B 054f2070cfa0d2adf8c080d371053db5f468385b1c769c8879562f9fce3455fcbe0147cc72c45e293f50c924218fa5b59b4bed4a29e06cc23cc94fab952f6e3e SHA512 f1325b713f886a47127f26537e03264d700627d2f365b07eadbe9ae147ea9a90758459dfab1be8e95549db8c39926e141ca685b93db03e5766024e6521ba380a
EBUILD lean-4.25.1.ebuild 1843 BLAKE2B 5e4da67180c9b7d801cbe490001316001d145a682852352f30c17a52f8e7ae3519c1958a99c1b2a19ab5f841827d73ee1753d75dc02cadde3cd2516941209007 SHA512 f37a1c87668396b8bfdd0c724e84dd26778f7a7ae26408265f3d3ebe8382e55876ff4248a9c912b68af05816704094f492f895d61a8e87ed4c094f87fc049a59
DIST lean-4.25.2.tar.gz 50069767 BLAKE2B ebf5b578cf5956a196049e3cde2c52f3dcc6b18078e556e096b3f47c399f4fef629eaa245716b795ad88f981fcc7dc3573e5a973a1c558e13d7c56fda206275b SHA512 cb9d43814a2e7ae8a33aed6fcaf8e64d834905c43846d310a74b1ed3215b20aa0585631a5e9e39df4c499b5de355b644f706e740e8a02572faf1626f1510c08b
EBUILD lean-4.25.2.ebuild 1843 BLAKE2B 5e4da67180c9b7d801cbe490001316001d145a682852352f30c17a52f8e7ae3519c1958a99c1b2a19ab5f841827d73ee1753d75dc02cadde3cd2516941209007 SHA512 f37a1c87668396b8bfdd0c724e84dd26778f7a7ae26408265f3d3ebe8382e55876ff4248a9c912b68af05816704094f492f895d61a8e87ed4c094f87fc049a59
MISC metadata.xml 954 BLAKE2B 338f64bbe848dca10f77fb7d5b7503684d36742139a4fd45f7a4c48250a11af6a78e40f5304d44166ce56f7fe4d22c6f980b55cab411bb7be93cc279694e9b66 SHA512 ec7c25a75237d2d54704e2d7b1811489a95780885c748a832643760d012eaceaeb5bfec9fc80509d5699940e749e770e841880cca1361848244b5031636e48b2

0
sci-mathematics/lean/lean-4.25.1.ebuild → sci-mathematics/lean/lean-4.25.2.ebuild
View File