diff options
Diffstat (limited to 'sci-mathematics/lean')
| -rw-r--r-- | sci-mathematics/lean/Manifest | 2 | ||||
| -rw-r--r-- | sci-mathematics/lean/lean-4.14.0-r1.ebuild | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/sci-mathematics/lean/Manifest b/sci-mathematics/lean/Manifest index b8168fc8a953..91688109ddd1 100644 --- a/sci-mathematics/lean/Manifest +++ b/sci-mathematics/lean/Manifest @@ -4,5 +4,5 @@ AUX lean-CMakeLists-fix_flags.patch 1285 BLAKE2B 0507e553c1acf2a53c5267932127117 DIST lean-4.11.0.tar.gz 25790812 BLAKE2B d9a4eb15199f81c6757acf35fb17c795bb9d69158c7e7deb11d98a45bebf569dcda5f7733b2effd2be0eea879a6c7c24b270d97159e5898215e82e853320918c SHA512 2314659910b4d872c4ae0dda648a9cab9e1cc44cd4c55486a494b65b20fdae236ab9db99a42d7fb1a80030e300e95606065ee7dd27578b12a4c47fc8c102e2bb DIST lean-4.14.0.tar.gz 28508743 BLAKE2B 692972402726a77ca9255edbecfc2bd30033d5c7137b00e85821d5bb74f7ed77398b19e7e3098eeecf6812ad9ca568a4076b11a91456b84f4ad78be8f6441286 SHA512 871169b3d7951934990a86a2b5d1741b00f4559c53c69ecdf0ca1c091426f1d7a6baa5ce69029dbecfc4a9dc9da9ee36b327cbef0ab28e80a9f64d34a2666c78 EBUILD lean-4.11.0.ebuild 1395 BLAKE2B 9dea5026d1cef60c08d7de76061cdd7401f3c49e551df397a02b61cc5ce4fa34dddd636a339013ac424b090635196d0b94142fa2af895f43d8a0dcfc2a5c009b SHA512 e336e331fafbaa6b658007e5e6b1fd726044bde52fbdda56935c9c65ff47b1942bc721365be74118a62c9439e2bb395bdca160e906237374e3c235cb62c17825 -EBUILD lean-4.14.0-r1.ebuild 1797 BLAKE2B 592a520a4ee85bdea58e0da5294eb68b0d13ca7d5d32d70a4003294a2e944f50fa7b3648da47a36f81fe32f5cc399ca9ed7dc77c0704de543512c65cc1084c14 SHA512 86c446e89816ddf89c4ebfbb8b8dc49004dcb954f726aac35f606f10f76769fbab56e09b41bbc463ccfd14ba6494ebaaecd9d8d0f8b0073a3c6363147d598259 +EBUILD lean-4.14.0-r1.ebuild 1796 BLAKE2B 9173650dcdf5204151592d87e5a3615f2d9c947943c2e5069766487076bfa0ce02eb80a631f13760f2daa3b37ec8143fb52e887a04915851bf4c87a43d1ef1b6 SHA512 9d9577a95160ec2a12399d9790c8a4f130e2f9cd3aa2b6d364cc77924a94639b202637f64959d59cc967a651b5d6f68a293dca6413dd69e924b786b8f4ca9bdf MISC metadata.xml 954 BLAKE2B 338f64bbe848dca10f77fb7d5b7503684d36742139a4fd45f7a4c48250a11af6a78e40f5304d44166ce56f7fe4d22c6f980b55cab411bb7be93cc279694e9b66 SHA512 ec7c25a75237d2d54704e2d7b1811489a95780885c748a832643760d012eaceaeb5bfec9fc80509d5699940e749e770e841880cca1361848244b5031636e48b2 diff --git a/sci-mathematics/lean/lean-4.14.0-r1.ebuild b/sci-mathematics/lean/lean-4.14.0-r1.ebuild index 153bf8d286fb..bbb780629319 100644 --- a/sci-mathematics/lean/lean-4.14.0-r1.ebuild +++ b/sci-mathematics/lean/lean-4.14.0-r1.ebuild @@ -23,7 +23,7 @@ else -> ${P}.tar.gz" S="${WORKDIR}/${PN}${MAJOR}-${PV/_/-}" - KEYWORDS="~amd64" + KEYWORDS="amd64" fi LICENSE="Apache-2.0" |