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

Compare commits

base: saundersp:af0d76c0eecd8cf5d90f3a9bc98030cf31ae6028
Branches Tags
saundersp:main
...
compare: saundersp:0b1afab96646f70a4111aa8947f4447624889c18
Branches Tags
saundersp:main

2 Commits
af0d76c0ee ... 0b1afab966

Author SHA1 Message Date
saundersp
0b1afab966 Updated sci-mathematics/lean to 4.25.0 2025-11-15 18:12:45 +01:00
saundersp
60fe6303c9 Updated dev-libs/cudnn to 9.16.0.29 2025-11-15 18:09:28 +01:00
6 changed files with 7 additions and 7 deletions
Expand all files Collapse all files

4
dev-libs/cudnn/Manifest
View File

@@ -1,3 +1,3 @@
DIST cudnn-linux-x86_64-9.15.1.9_cuda13-archive.tar.xz 646569604 BLAKE2B f4b5f5618470d34661b18d3fc3a12701597fcf42c612b295abcb155a196eb475f476c9ccf7e8fd079c317751a99c0ebd85bafecb11ab2e17829efc4c09ba3735 SHA512 be9261af1ccdd4e07f6cbf4150acab2eaabd83e81bee74a63f3f1b859d5cc356d237f48a18c1e82c0e2fc84546d84064a6d643d0efbba12e1fb10d969030610f
EBUILD cudnn-9.15.1.9.ebuild 744 BLAKE2B cf73ffd8391a3ad4d67d8520b838e0db69d513605d7ff3edbf299b30a40484c7f1e652621a1a60f67373a6f322f6dee84f55a04c58d4e81f541eeb418e300dee SHA512 ceef6babefe593dfc295117593341257a33471efad09a77c96e3e5879d0896d29aa7214b0989a13103c3ff69d93c4ee98e3976afb8b5ebde1f642ccfc69f9fce
DIST cudnn-linux-x86_64-9.16.0.29_cuda13-archive.tar.xz 646595264 BLAKE2B 34681031afa7c9ed325fbfe41f2c3998e8e389324783144ec5072457a71b1bba7543b4bc75daf1910c71dd199094eadb3eb64f1745b5d0e9b874dbdce990eca8 SHA512 95250e521d12bb328f592d8438e4bdbf4149020900c1ca3dc4a7b47ff947030eacd506bb7cb0124d8f02b6e1d9b5c30adcf143096e1bea1345f35d1a2ecda3ed
EBUILD cudnn-9.16.0.29.ebuild 744 BLAKE2B cf73ffd8391a3ad4d67d8520b838e0db69d513605d7ff3edbf299b30a40484c7f1e652621a1a60f67373a6f322f6dee84f55a04c58d4e81f541eeb418e300dee SHA512 ceef6babefe593dfc295117593341257a33471efad09a77c96e3e5879d0896d29aa7214b0989a13103c3ff69d93c4ee98e3976afb8b5ebde1f642ccfc69f9fce
MISC metadata.xml 254 BLAKE2B b855316ec6a32691e84730979c9a077765d46802f09c19f3a06f2cddf677674c9a2ea24c9b57a0fc6344d7f70276ca507a68f5fa690555360665ac494fca54c2 SHA512 5f6faacd216c7ece09e847c09115add5261e7a899e0b0c9304f2ee72e2d0ad208338939e4e37946008bdc81fbbacf415fb220c5c1f9832b17f18c6778d0c0368

0
dev-libs/cudnn/cudnn-9.15.1.9.ebuild → dev-libs/cudnn/cudnn-9.16.0.29.ebuild
View File

2
metadata/md5-cache/dev-libs/cudnn-9.15.1.9 → metadata/md5-cache/dev-libs/cudnn-9.16.0.29
View File

@@ -8,6 +8,6 @@ LICENSE=NVIDIA-cuDNN
RDEPEND==dev-util/nvidia-cuda-toolkit-13*
RESTRICT=mirror
SLOT=0/9
SRC_URI=https://developer.download.nvidia.com/compute/cudnn/redist/cudnn/linux-x86_64/cudnn-linux-x86_64-9.15.1.9_cuda13-archive.tar.xz
SRC_URI=https://developer.download.nvidia.com/compute/cudnn/redist/cudnn/linux-x86_64/cudnn-linux-x86_64-9.16.0.29_cuda13-archive.tar.xz
_eclasses_=multiprocessing 1e32df7deee68372153dca65f4a7c21f toolchain-funcs 98d9f464d912ae6b7316fb8a3721f5db unpacker 3b4ee72d1e2e0374fd8cd3eddfa00627
_md5_=5c32a7e3384cafa15edabf4ac72b8a42

4
metadata/md5-cache/sci-mathematics/lean-4.25.0_rc2 → metadata/md5-cache/sci-mathematics/lean-4.25.0
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-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

4
sci-mathematics/lean/Manifest
View File

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

0
sci-mathematics/lean/lean-4.25.0_rc2.ebuild → sci-mathematics/lean/lean-4.25.0.ebuild
View File