gentoo resync : 04.05.2019

7 files changed, 9 insertions, 9 deletions

diff --git a/sci-mathematics/Manifest.gz b/sci-mathematics/Manifest.gz
index ee79276578f2..5ce1dd8311ea 100644
--- a/sci-mathematics/Manifest.gz
+++ b/sci-mathematics/Manifest.gz
diff --git a/sci-mathematics/maxima/Manifest b/sci-mathematics/maxima/Manifest
index 776277bbf3fe..cf253538032e 100644
--- a/sci-mathematics/maxima/Manifest
+++ b/sci-mathematics/maxima/Manifest
@@ -14,6 +14,6 @@ DIST maxima-5.38.1.tar.gz 38641257 BLAKE2B 0244b5dbdd337e64d4f7c3e7f6b946463b024
 DIST maxima-5.42.1.tar.gz 41865510 BLAKE2B d3b8a50594dc0cef0c354c42be1aee96df77a4e222dbe457edeb47d7fe77a8fe376b10ce8da9e4ff6c447242e9c53a32286d09a64d8600112f6feda92f1fb58d SHA512 79c5e70119b0384d9dd8aa47c7e96a0ccb7e6367526b8a14d21f00137a1c2f0c8b7990bb7231d7c90ffa0090f67c1fa30a418d013d9c5982030ae68de9717f48
 DIST maxima-5.42.2.tar.gz 41840181 BLAKE2B bca8a94366f1fe2f508436fdef8de80107b19c9b267a4b72dc6f56870078d35b3feb7dbdda384589b38c5351d6eeede1b9738a5ec2152063de2afacd1ced48c4 SHA512 5033b02272121f6aacff5ededf90eaad5e644a06d0c62aafd745401c08429da979ecd8274f7aa12596a0e32ddb614659af14e4273f59d372fe1ecbec081e7829
 EBUILD maxima-5.38.1.ebuild 4823 BLAKE2B e2f4aa9b01a251b0ff0250df56a9b9cb904ea1d859ff32414fc38f48d9cd772ebe5bab5dbe02fdfe87f6c70c848ad9b2b0b724a8dcbd8aecf459d492cbfa6132 SHA512 88dfd3edcef7450247c1c62b1c9c8759a8816ff6ba6691074088253d5ae3922afa828b21e543978617cc022701a2dfc82e2d2436c21430da1249949393cf6e12
-EBUILD maxima-5.42.1.ebuild 4905 BLAKE2B e2b20e9cdb31f97c33c460ad45487dad4577d96552e48e3b012f7e9c570275e5cf81f778ed5fb6b3f18d376c3677e87a02ba60cabe55f509518693a09b48bd18 SHA512 5309ae6ef03db58b91600098680fe0598d9693e85bb4812addae81bd675fd5105206c61b93f51af807fae4b8d965aff08c6a9a765e7a2750a6c3a5abe3cedd33
+EBUILD maxima-5.42.1.ebuild 4904 BLAKE2B 9e3ebeec6da72caab22651f9e2421d36b7eed178a3aa86d07e7cdc62cba8af5a762ff6394a002138a83f03e313c3c0c80a9f2bf3343a1cb85b3a2182ffae8332 SHA512 0d6ce53ea40e4d34de1958a9e9739ff95179b424ac816b108c30f711784d5c1aed240a16c1b7c26f16b95a4b468c6113b79e434fc4a823dbf60697eff986f54e
 EBUILD maxima-5.42.2.ebuild 4907 BLAKE2B e01606981d1a4bb47d35ba0eece7ed52397cda03a913c1c9d198346db458fd6906d33cde56ac29881c864ac4c7fc14e93d111544005b1a20bfe0836eb0a5822b SHA512 afdc36255024bb493e1b119cda07cf37a9aa871c6b49af412121e45e12be2e510211ea8ad828dda76686d6cf2df435c8eccca7e264297f0abac8138b72d8a56f
 MISC metadata.xml 1521 BLAKE2B 5b42a6b4f68699a032b2a1cc43a34b8b7a1050e41b1875f758eb8ffd82151825d3f920587cf89e25f4f692c8fc587e5b405ca8e2fb3e842b7d7ce61e068f0dc4 SHA512 d2db86fcab10cabb9533954838babc9cee4ebb26b99604ebe0cb995b1239ac2a462455cc72d6311dab142290fbf460eaec920138c09045003b46dd382ed8cbf3
diff --git a/sci-mathematics/maxima/maxima-5.42.1.ebuild b/sci-mathematics/maxima/maxima-5.42.1.ebuild
index 24423bba7cfb..07c6bbdadd57 100644
--- a/sci-mathematics/maxima/maxima-5.42.1.ebuild
+++ b/sci-mathematics/maxima/maxima-5.42.1.ebuild
@@ -11,7 +11,7 @@ SRC_URI="mirror://sourceforge/${PN}/${P}.tar.gz"
 
 LICENSE="GPL-2 GPL-2+"
 SLOT="0"
-KEYWORDS="amd64 ppc ~x86 ~amd64-linux ~x86-linux ~ppc-macos ~x86-macos"
+KEYWORDS="amd64 ppc x86 ~amd64-linux ~x86-linux ~ppc-macos ~x86-macos"
 
 # Supported lisps
 LISPS=(     sbcl cmucl gcl             ecls clozurecl clisp )
diff --git a/sci-mathematics/p9m4/Manifest b/sci-mathematics/p9m4/Manifest
index 51fa52511c13..70648a1cc698 100644
--- a/sci-mathematics/p9m4/Manifest
+++ b/sci-mathematics/p9m4/Manifest
@@ -3,5 +3,5 @@ AUX p9m4-v05-python2.6.patch 1909 BLAKE2B e6c95c8e2e958078f4db1316648c5a92f9e266
 AUX p9m4-v05-use-inst-paths.patch 1151 BLAKE2B 02e55389cab73decb8082d4b0b33e018cf58b8c77157bfce03c92707aa5be84a2432939976c4d631e45e3e56139e2629bff14fe9009bc7f345d4570b65696230 SHA512 285c92ba2d97346408dbea07ecd2047bd67d7b9b0de96c8676d9280e8cce23c93abba8fdb1443c5f1b942b79903d2f11bf8e90591e2ff70b167ad507fb4c6f85
 DIST p9m4-v05-64bit.patch.bz2 5095 BLAKE2B b49ee327ee9f05403d68d61eb162d6a9dd4b5786adb625eebbe7e6d2f47c36e54ec05e0594bc82a4152f7d92f88b8f2ac044732dc3df72c710c0ef3fbde560d7 SHA512 b80ea7ae9b652b55eee2542ba8d45712871e56dfda2e97bae2011a521e732d221a5c6a36ba33269a80f02ddc98a8f3c2470c7e832fc2b79331e7cca551aa7a36
 DIST p9m4-v05.tar.gz 889707 BLAKE2B 09407ba998e72b2b90b96a90e668114c16bd4c15d853354f8e86cc5b1ea0533f99548a35f048f504e40f61702b95de197309f22abd7b3e38fabef6dbfcc06280 SHA512 6ed8f3a5ab6e6b876eee388ab0f1bc535e60432317131657ba518781912f0f851aeab361d0169f96e29538130d691cf2d3798135e2386a7793799f0c4931120e
-EBUILD p9m4-05-r1.ebuild 2162 BLAKE2B 7ad2e92f161c78260647a20c1dec22bb863b1844eff2cd78734ed64b3a31e1e8e7c204f85df75c4f157375e7d40ccd83c9dfee68705f93b245ab591e52e799c8 SHA512 8833e76a64dae57849fbc12628bd34e74726a6cab392141071ce1ae5022fe8f7c33a8b61b2a780f78b88b67595cadbe8702dffcf7eb7015a536f7dfad41a361a
+EBUILD p9m4-05-r1.ebuild 2164 BLAKE2B ec9d979ab08fa8067bb894aa7656377858de0a32f33440cb56cb7b5afed311d90cc34986127e85bee3ea75f97e3fbce3313ef3ad8d0b6e349e0e64745e508f2b SHA512 c68545f2dea7f18688c06d893299771ee3ba39f2ca05399274f6c33875c12d50e39b0bc763e7fa554e1e25636c98038dc0d80ed8efa84d5d3756b6475eff4c65
 MISC metadata.xml 637 BLAKE2B eec457b5486d8dc76a003bdc37e687a7c0e5b7f1f2233550adabd44617e5d4edc6d78780df18ce1c699b3c6c6ae2c0b933d1ecc1895e6a0f60eb42fc8b29518e SHA512 68890672339a213c5309632728ff6ef0f4287c1fe22d217fcd2db8bd453802cbf9ed7ab2c2cbf1004f874e5dfc99b313359f37507eccffeec0297ad0a6ed35e3
diff --git a/sci-mathematics/p9m4/p9m4-05-r1.ebuild b/sci-mathematics/p9m4/p9m4-05-r1.ebuild
index 16bb1c83dee1..29cb679eeb2b 100644
--- a/sci-mathematics/p9m4/p9m4-05-r1.ebuild
+++ b/sci-mathematics/p9m4/p9m4-05-r1.ebuild
@@ -11,9 +11,9 @@ MY_PN="p9m4-v"
 MY_P="${MY_PN}${PV}"
 
 DESCRIPTION="This is a Graphical User Interface for Prover9 and Mace4"
-HOMEPAGE="http://www.cs.unm.edu/~mccune/mace4/"
+HOMEPAGE="https://www.cs.unm.edu/~mccune/mace4/"
 SRC_URI="
-	http://www.cs.unm.edu/~mccune/prover9/gui/${MY_P}.tar.gz
+	https://www.cs.unm.edu/~mccune/prover9/gui/${MY_P}.tar.gz
 	https://dev.gentoo.org/~gienah/2big4tree/sci-mathematics/p9m4/p9m4-v05-64bit.patch.bz2"
 
 LICENSE="GPL-2"
diff --git a/sci-mathematics/prover9/Manifest b/sci-mathematics/prover9/Manifest
index 1a772ecb92aa..2bd301cb5f58 100644
--- a/sci-mathematics/prover9/Manifest
+++ b/sci-mathematics/prover9/Manifest
@@ -1,5 +1,5 @@
 AUX LADR-2009-11A-manpages.patch 13832 BLAKE2B dfd8d0ba6722d788b4e7662c0c4113cc06c32f2f45cdd32327896147435d3f730b464189ee1766a1c162a90cd730d917d8b29c3c241a94d65a3fc5833f3bbca1 SHA512 4c9f862b33d7b6b33b5e4a82b38418c6ae41b7adae565d376cc741608eb989e3846c1e98589dea62f7cadeb0b1f0f5814afe95ee6cf0da63c6961620d8b2677c
 DIST LADR-2009-11A-makefile.patch.xz 4300 BLAKE2B 3ea0860901876c43aeadcee7cf7eca02c31c88ca6670c867ef4a41b9adc2aa13edf36f45807713f7b200355f5086b43a17722071be81f58af1bc5d70327e3e41 SHA512 c1d2e27d991036af24a29deb4401fbf9687415d2a37bebabb9cfc77d8672e0804d974f92cbd7b8e16c0a0c10b75831847f7b8ddb94244d7e632de7b1be5081f1
 DIST LADR-2009-11A.tar.gz 1795750 BLAKE2B ed44b1d0f5f5f3c9846ff578af10914421c79f580db9f9002f105b87d7af49fb6f2956b70d2ebfbd17b3a230d1065aadb1cc798ef7ebdad8749e66cea41120b6 SHA512 f26d3713eb2ba809fb3d55ce179e9d91555ab9166e075aa0843bafe57ce00f153cfed178b61993d4fd471655840e4f40775d75dac9fb5242a67e5d59c970dfc7
-EBUILD prover9-2009.11a.ebuild 2501 BLAKE2B 55ab63fa76e365177fecd80a37926b8ba573242d2d5d43960a3e1a016c0dad725202bde4062ddedccb6154f807d94f86213de6769fdde478ecfbf6c7725ee284 SHA512 9fcd42d72dbb823fd2a71064416fb7d5565c2104aaf78274d3986b605e5182ff5bc09f706191c5441d64392e7de6ae779d33afcb2ca7df6d5476cbcdd01724f0
+EBUILD prover9-2009.11a.ebuild 2500 BLAKE2B e96ca81caf95d6e426f4f14498bc56d08c0d0a905ec160b0cd468827b1edfb558974e42aa995f47c29c7c41a94ec8be86a1c20eb08fb9f20eef87f82d8cac204 SHA512 6a6f96016a260d7d393c5e2059bec9db085b504e7193380d4c4deae0e40376a908e92b419ee96eaa969f4abbcbae219f7a0f52f26c249507ce7c240ac6801960
 MISC metadata.xml 643 BLAKE2B cdef536d25ca7d2ba991037e4423c21bde719ae18976367e5e8d232d3f4d83f46b10c135f5f0f6986ba8d1756eee5cc85e78dfc4a4b81204945a7268a6ed899a SHA512 c3160f8aadceb5f065af9c5f14e9fe904b270bba1cf7781d33c39dca4f2641d61123839b93c4d7ad38139e8fc4c221016fe444cbfd7ddc99ea224090fccd7078
diff --git a/sci-mathematics/prover9/prover9-2009.11a.ebuild b/sci-mathematics/prover9/prover9-2009.11a.ebuild
index 56c2ad3a4132..b9fe53f22b6a 100644
--- a/sci-mathematics/prover9/prover9-2009.11a.ebuild
+++ b/sci-mathematics/prover9/prover9-2009.11a.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2014 Gentoo Foundation
+# Copyright 1999-2019 Gentoo Authors
 # Distributed under the terms of the GNU General Public License v2
 
 EAPI=5
@@ -11,9 +11,9 @@ MY_PV=$(replace_all_version_separators '-')
 MY_P="${MY_PN}-${MY_PV}"
 
 DESCRIPTION="Automated theorem prover for first-order and equational logic"
-HOMEPAGE="http://www.cs.unm.edu/~mccune/mace4/"
+HOMEPAGE="https://www.cs.unm.edu/~mccune/mace4/"
 SRC_URI="
-	http://www.cs.unm.edu/~mccune/mace4/download/${MY_P}.tar.gz
+	https://www.cs.unm.edu/~mccune/mace4/download/${MY_P}.tar.gz
 	https://dev.gentoo.org/~jlec/distfiles/${MY_PN}-2009-11A-makefile.patch.xz"
 
 SLOT="0"