diff options
| author | V3n3RiX <venerix@koprulu.sector> | 2024-12-15 02:02:03 +0000 |
|---|---|---|
| committer | V3n3RiX <venerix@koprulu.sector> | 2024-12-15 02:02:03 +0000 |
| commit | 16a4365c3b854e62b50726456ddb29bb78fd5038 (patch) | |
| tree | 6de11adc70daeb6424485bb16be162d2cb277018 /sci-mathematics/lean | |
| parent | 59d772d9463f8cf6a145a677bedbf377a0625aff (diff) | |
gentoo auto-resync : 15:12:2024 - 02:02:03
Diffstat (limited to 'sci-mathematics/lean')
| -rw-r--r-- | sci-mathematics/lean/Manifest | 2 | ||||
| -rw-r--r-- | sci-mathematics/lean/lean-4.11.0.ebuild | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/sci-mathematics/lean/Manifest b/sci-mathematics/lean/Manifest index 44e2599da84c..af7499375b50 100644 --- a/sci-mathematics/lean/Manifest +++ b/sci-mathematics/lean/Manifest @@ -4,6 +4,6 @@ DIST lean-3.51.1.tar.gz 1918894 BLAKE2B 9a240fe73193794a57001582c0623052cfc1c08e DIST lean-4.11.0.tar.gz 25790812 BLAKE2B d9a4eb15199f81c6757acf35fb17c795bb9d69158c7e7deb11d98a45bebf569dcda5f7733b2effd2be0eea879a6c7c24b270d97159e5898215e82e853320918c SHA512 2314659910b4d872c4ae0dda648a9cab9e1cc44cd4c55486a494b65b20fdae236ab9db99a42d7fb1a80030e300e95606065ee7dd27578b12a4c47fc8c102e2bb DIST lean-4.2.0.tar.gz 16382466 BLAKE2B 3a8770d92ae89041f3e12089c3bb9171a993e8a1c702162925b569e13ed8d8819b3e9aa3c00e314a80a118ff8e4b18fb6df8b8a0e85a21fcb1daa5c0bfc29d4f SHA512 b0bd91f39319c1c6fd6851732d9dcb8758734500abc8faf0648c03582a81d51f2d942fa5deecedf81116b894d0b65e93eccab557bf155e69d65bda83eccaf7bb EBUILD lean-3.51.1.ebuild 1815 BLAKE2B 767ff4cc188049e3b54d903ff3a314012997369beadf7335a33e01193b0da69707e4b845946afde25a617e9e344df479adb70c8937e84dc1854fe2db9b0d979b SHA512 630f5690c1a4321e56d640186b894623fa5551de17af21793b4a66c32ccfb66697b4144ada36742262e5bd037d094b0448511433e73affdac36ad7e06874635d -EBUILD lean-4.11.0.ebuild 1396 BLAKE2B 290329acafb3a31c70e65b271d3221dde9b9d70cdfc38c3db68e108fe1d7cf55bf0791aaf37c2e6860ca7c2e11744203e739b6365c4f488f23d54f5b90b046b5 SHA512 b8f07890e09f4c8a4b7e810d0c34b9f49476c18a6962c6a2c38167a0935bd68fe113f76f856c1c2625d4a789e3210a187acdc23f9e1ae2283608efc4f6625bf1 +EBUILD lean-4.11.0.ebuild 1395 BLAKE2B 9dea5026d1cef60c08d7de76061cdd7401f3c49e551df397a02b61cc5ce4fa34dddd636a339013ac424b090635196d0b94142fa2af895f43d8a0dcfc2a5c009b SHA512 e336e331fafbaa6b658007e5e6b1fd726044bde52fbdda56935c9c65ff47b1942bc721365be74118a62c9439e2bb395bdca160e906237374e3c235cb62c17825 EBUILD lean-4.2.0.ebuild 1314 BLAKE2B 5d4bf0f35c2935eedec2da03e93eef5ae03e5d3520b6addb8682083782deab721d1f2aa3f1bc958887b7110bb4f5c031cc200780cf9c5dabccd1d4918617a043 SHA512 ce464635431381a814c8ef8823c06477992b2c3691c09421a9d068d3cabe40e775f999020dde5e53f7100082e304658c4d52e62372e1f21185fd3195774c0dc2 MISC metadata.xml 606 BLAKE2B 6478d84a762a59082fdea0a11a95b27c093782228c48dba58dc490ea9ac2cecef54cc3101dc98e385f3a29f85d84af21b7d2ae1a9f089ee0313158ecb44eb0e7 SHA512 02d2ac07b155c7a04c857d397d476a39864d02b10dd81c5830db5e21eb86c6dcff26da552a04717f5f587b326ddf8e2e8d27f1a138f88b391f0199d8004d8cb7 diff --git a/sci-mathematics/lean/lean-4.11.0.ebuild b/sci-mathematics/lean/lean-4.11.0.ebuild index 88456a89f156..c5400dbabb88 100644 --- a/sci-mathematics/lean/lean-4.11.0.ebuild +++ b/sci-mathematics/lean/lean-4.11.0.ebuild @@ -22,7 +22,7 @@ else -> ${P}.tar.gz" S="${WORKDIR}/${PN}${MAJOR}-${PV/_/-}" - KEYWORDS="~amd64" + KEYWORDS="amd64" fi LICENSE="Apache-2.0" |