diff options
| author | V3n3RiX <venerix@koprulu.sector> | 2024-02-28 05:40:38 +0000 |
|---|---|---|
| committer | V3n3RiX <venerix@koprulu.sector> | 2024-02-28 05:40:38 +0000 |
| commit | 88f366f99d8e731ae1a13d9eca9a5284484d2c6f (patch) | |
| tree | 07a82726de0e87969c85cdfb68522c4d444939e9 /sci-mathematics | |
| parent | fdd31f37b982d2c1b6d73b85f99718b13031be36 (diff) | |
gentoo auto-resync : 28:02:2024 - 05:40:38
Diffstat (limited to 'sci-mathematics')
| -rw-r--r-- | sci-mathematics/Manifest.gz | bin | 19147 -> 19148 bytes | |||
| -rw-r--r-- | sci-mathematics/cadabra/Manifest | 2 | ||||
| -rw-r--r-- | sci-mathematics/cadabra/cadabra-2.4.5.4.ebuild | 2 | ||||
| -rw-r--r-- | sci-mathematics/coq/Manifest | 2 | ||||
| -rw-r--r-- | sci-mathematics/coq/coq-8.19.0.ebuild | 2 |
5 files changed, 4 insertions, 4 deletions
diff --git a/sci-mathematics/Manifest.gz b/sci-mathematics/Manifest.gz Binary files differindex 0de33ee5125d..6bc7e8c72f5e 100644 --- a/sci-mathematics/Manifest.gz +++ b/sci-mathematics/Manifest.gz diff --git a/sci-mathematics/cadabra/Manifest b/sci-mathematics/cadabra/Manifest index a71f9048a471..943a3075a423 100644 --- a/sci-mathematics/cadabra/Manifest +++ b/sci-mathematics/cadabra/Manifest @@ -2,5 +2,5 @@ AUX cadabra2-CMake.patch 3184 BLAKE2B afa702834d5eb82a8056307b419fc20bbc2d45b047 DIST cadabra-2.4.4.1.tar.gz 25171405 BLAKE2B 7505b5b56c4b9f18c63535cac1854a8926f985729ac9b284146d7d604c4774436510f1fa04c615efb4e06ae4b077859e391046b2d07565586afc0d9dac66156a SHA512 9e81889dabeff1ad93f4d8fc01960c11747d2a19d0cb6d8f872cff217ffe7bd6b92fcd5ce49cf5f2c089c440a3abdb0358f5f470b4de616ce17c42a23864caf6 DIST cadabra-2.4.5.4.tar.gz 26825874 BLAKE2B 90562e4ddb08a99a38f32d5cf3fe237b2ca5ece80e4bf70caa8db23a2b6af246b289eb41e7d366c5a242e6e06a680ab0917deb43f29efcf7d6703338c7e97d00 SHA512 907e291880aac84a4f5695f77dd34512c13dba320b38fee59c765b070235c9ef777f6e188c675c8247f56144624edb84459d8b500e4c074731633a2b9cf9ee74 EBUILD cadabra-2.4.4.1.ebuild 2329 BLAKE2B 877d2060a10c388f43d1723f0830cfdb9a67426af825d7fb16709978b8f1f77888de668f676c76f60e652252261074e60b8087cf144e8f0d1add2db74656e67e SHA512 d081f07f31259e6bf596f6ed3e0362e426b83e02aa99d51cf51601f1654bead5c1d6e5e8a1bd0be000b2237018eab41c9cd00cb6141a76473bed3f1cbaec106f -EBUILD cadabra-2.4.5.4.ebuild 2350 BLAKE2B 746bc61fbbb5baad3b8de19d799953a7eca481fc12f8258c26b680e21c43d83b408d92914d8d1b0362c43ebb306c6ece07b94423dc3cb9eb966ee652382f3dcb SHA512 6496cc099b3a7e6dbfd0c71e2845f01b8b444dea01662306f22277b6c925de7ab0766a5ac47161eadd8fb6e6423a83ce910725112fa0364c34078fede05b678a +EBUILD cadabra-2.4.5.4.ebuild 2349 BLAKE2B 7150b06e2425b70d36670f6849e0626b054b79f263463db8b78375731cc65b9ee6e840c3a8956a9adb13b03d0c73003107858806a067802d81b40cb0c617f7f9 SHA512 28e5f53aca9bd310c0becdf391599f020dd740c7a619c6426aa55f54c19224cdbf4ec230b6b890769708a174a53560040a6b5821faaca6a910d773966be336b7 MISC metadata.xml 1342 BLAKE2B 2f34aae73fc01d4b8fd4326505b7b0785663c62593641d1d0a01f64adc12cbc8676271612ce91258927ac22957a8d5aba53dd2627130582c744bc32c28e0e207 SHA512 41dffbcfae16f8f0702df5a1837b225100761d48817a2d70fa03aca6246b9d3184d60989cf265282286b02a77a126ac82695c2d74c6de91da45e8f64fcb91811 diff --git a/sci-mathematics/cadabra/cadabra-2.4.5.4.ebuild b/sci-mathematics/cadabra/cadabra-2.4.5.4.ebuild index 674e4a11293b..6cf0e0d717a5 100644 --- a/sci-mathematics/cadabra/cadabra-2.4.5.4.ebuild +++ b/sci-mathematics/cadabra/cadabra-2.4.5.4.ebuild @@ -22,7 +22,7 @@ else -> ${P}.tar.gz" S="${WORKDIR}/${CADABRA}-${PV}" - KEYWORDS="~amd64 ~x86" + KEYWORDS="amd64 ~x86" fi LICENSE="GPL-3" diff --git a/sci-mathematics/coq/Manifest b/sci-mathematics/coq/Manifest index f084e09bf0d7..3f0f5f08e896 100644 --- a/sci-mathematics/coq/Manifest +++ b/sci-mathematics/coq/Manifest @@ -3,5 +3,5 @@ DIST coq-8.18.0.tar.gz 7612742 BLAKE2B 2fb9f6205465ded60d2e1f7943f53ad884aea121c DIST coq-8.19.0.tar.gz 7674352 BLAKE2B 195040c01797ac9ce67611e0c96a4601e0a48966e094e868b9f3644aa9f75fa85adf0e2e6340a14ae0a0598b746f5ad989d8f10736cd2d3852a449f6f79d2c93 SHA512 02fb5b4fb575af79e092492cbec6dc0d15a1d74a07f827f657a72d4e6066532630e5a6d15be4acdb73314bd40b9a321f9ea0584e0ccfe51fd3a56353bd30db9b EBUILD coq-8.17.1.ebuild 2317 BLAKE2B ff2958b7e82400115ab634dd00bac13df99ba088d8d2ec48ad61663ba0aa3690e3cad26badedad5fd12958df4c7a343b5c9d2d827a2a7aac3ba35e9ddfe3f222 SHA512 4c04bb4aa2d97dfa21868e6246d8a35d96b55e80c7bf6206ce1c67f46102c449cad25f7062c93c7defdb0e118be57c8f86d3c3323df53ce3c794617a7d4ed6d5 EBUILD coq-8.18.0.ebuild 2317 BLAKE2B 4bc94547c21f41a7edd33aae51eff50e7fd911394e185548e645c71b181e48810997bc38dd3fc50be290873a10122958802ad75479fd20fbdc15bec82b8c8d64 SHA512 16949a6e9140d280a7081237cc83a04a99f248fce57fe4f3eb7055cf2fdf22aed84d11caa52e7c4c344660f48552c72a5d13d659dac71e61b133e1259f4a239f -EBUILD coq-8.19.0.ebuild 2493 BLAKE2B 277efc3bf5c38592e7729a7a2e46cd21a7b5a02934ab22e4c57c8da13b59dd63bc21552291efc88cd542debe7cb940f4f93ea5e2d51aae33bb3ccc32a1fd8b7a SHA512 4196e78ef5929e6ecf2381bb11b760ddb90e9a0be00a6ce30bd8feeec15adfcc7534178f306a23fc22871d37b7de7bdf8effb3dec19731ca77ae087c21ebe2b1 +EBUILD coq-8.19.0.ebuild 2492 BLAKE2B fe590d0bda77462a0a6ea157a80dfa7985a381b464a2721745d33c30bf5a0cca4a8545c7b7a1d64824a9537c5896f566aaec62d794bb57930741337b2b4422e8 SHA512 8893d803d164780d4830645c15c303afa4b09647025eb223c0badc154ab2f6b80b36e82bb5c63b637a9350ff0829d8206af3dc2e5f2bb504c65fc23c69679dae MISC metadata.xml 1047 BLAKE2B 9f6defdf213139ee6549bc8f3b36ce5e8f53ea73bd5aad9262932cbaea7e90bd97c9ffc9dbbd03ac50097c5a6f19f5ddf00dd2b74cc6a5349faf1b597244fb67 SHA512 0f5bfbdd9ffd6f64379e697ed7cf90c2d9257cd1815e520aa14235f1cb399d20fc863221a0cae803cc88e5975be964b9debc3d750a6378ea157146f2e567c5dc diff --git a/sci-mathematics/coq/coq-8.19.0.ebuild b/sci-mathematics/coq/coq-8.19.0.ebuild index 33c2b23fecf7..34fb7a688efa 100644 --- a/sci-mathematics/coq/coq-8.19.0.ebuild +++ b/sci-mathematics/coq/coq-8.19.0.ebuild @@ -17,7 +17,7 @@ S="${WORKDIR}/${MY_P}" LICENSE="LGPL-2.1" SLOT="0/${PV}" -KEYWORDS="~amd64 ~x86" +KEYWORDS="amd64 ~x86" IUSE="debug doc gui +ocamlopt test" # TODO: Lots of failing tests. Maybe investigate later. |