diff options
| author | V3n3RiX <venerix@redcorelinux.org> | 2019-05-04 12:02:00 +0100 |
|---|---|---|
| committer | V3n3RiX <venerix@redcorelinux.org> | 2019-05-04 12:02:00 +0100 |
| commit | eab5731cdf11d4ae8cdf111461d46fd96c5bdd37 (patch) | |
| tree | ce35c6d01b5ff5de95c3a20fef853b9a6518ad2e /sci-mathematics/p9m4 | |
| parent | b7ebc951da8800f711142f69d9d958bde67a112d (diff) | |
gentoo resync : 04.05.2019
Diffstat (limited to 'sci-mathematics/p9m4')
| -rw-r--r-- | sci-mathematics/p9m4/Manifest | 2 | ||||
| -rw-r--r-- | sci-mathematics/p9m4/p9m4-05-r1.ebuild | 4 |
2 files changed, 3 insertions, 3 deletions
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" |