gentoo resync : 16.09.2020

19 files changed, 106 insertions, 30 deletions

diff --git a/sci-mathematics/Manifest.gz b/sci-mathematics/Manifest.gz
index 72420177cee8..492da88fe71c 100644
--- a/sci-mathematics/Manifest.gz
+++ b/sci-mathematics/Manifest.gz
diff --git a/sci-mathematics/agda-lib-ffi/Manifest b/sci-mathematics/agda-lib-ffi/Manifest
index 177f83a141d9..38b1c5199d4d 100644
--- a/sci-mathematics/agda-lib-ffi/Manifest
+++ b/sci-mathematics/agda-lib-ffi/Manifest
@@ -2,4 +2,4 @@ DIST agda-stdlib-2.4.2.3.tar.gz 252558 BLAKE2B 2373b9d395a64fe7f23bbb583d8cfc5b2
 DIST lib-0.7.tar.gz 226400 BLAKE2B 4203486fa35d6dbfdcdfa227da43c771e8e2c78d906c06dae8cc3eb473c6ac0029554b98a0a665de80f1d1b5806a82ef68491050b0f90e80065a08ab91dba7c1 SHA512 557aa7b9b143f2e4a2249881a98c753035962bc5d9222241e6b4fe86aab8642986aa9db7ca6fc2b2da8486f9294ff30c4c2edfa0222ba95d9216ed2d0e00c114
 EBUILD agda-lib-ffi-0.0.2-r2.ebuild 731 BLAKE2B 84aacabeb83f81b599b457e62d3541c17d2f5e7d5880264a27a560c79a57490666771c602b127e3812fe671dccce21af7f0ea3531b1ad50ac5c90d27821481c1 SHA512 a7870a30ca78b00f3fb4645d394fbbdf881f4e87b189cd590f4587212f1f46dbcb60a73511278305f54768eaf2a4b9d8a52f94d4f2701dc9cfa391f4f1dc724a
 EBUILD agda-lib-ffi-0.0.2.ebuild 655 BLAKE2B cbdf24bdcd0027509b5cee43224f9b1c5e65c4c67263334a683ce848118c05967ebb8751da3742cd90678fe34b8fb06eec77fb33fd9e07f1a8bf02cce91d824e SHA512 ebeed8e5ae98c0a1b2f18bed48cb63cdd8c56d402ee7b61ea513ebd52c1cee744974133dfe3c00a255623c878726f89c871b9a7a94edf2d8406d31e39777a739
-MISC metadata.xml 427 BLAKE2B a47c114964a36abbee07f66f13f5af553cbb11bd3e703397ec2650cb13bd23b9971ea0b5dc0692e606efe719b4abfcdc6c3882a091f146c27b173300d753b8ad SHA512 5dcdfd777392fbc8d215e263cf2ef8be706ebb4790bc79f551d19f25bd061a144751b5c4ee39b75cd974fd996239c70a9ca14bcacd512503d0189dec98faf30f
+MISC metadata.xml 330 BLAKE2B 6b8e9f614657955a82b93edde0ac6370bce3599a9abc1535da4b599f9fbaa666733aaa937d978026886708a8962bc30ff00b424d1c10295e250954ea83381a56 SHA512 1908170de455fb8967c973cd7aadfbe638813d41d0e52e6c4d762f44f1c75eaf8762c500a88293506982f881edc870e0e449270f45db499d230c356bc01e2d7e
diff --git a/sci-mathematics/agda-lib-ffi/metadata.xml b/sci-mathematics/agda-lib-ffi/metadata.xml
index adc5490ee507..bf5543388935 100644
--- a/sci-mathematics/agda-lib-ffi/metadata.xml
+++ b/sci-mathematics/agda-lib-ffi/metadata.xml
@@ -5,9 +5,6 @@
 		<email>haskell@gentoo.org</email>
 		<name>Gentoo Haskell</name>
 	</maintainer>
-	<longdescription>
-		Auxiliary Haskell code used by Agda's standard library.
-	</longdescription>
 	<upstream>
 		<remote-id type="github">agda/agda-stdlib</remote-id>
 	</upstream>
diff --git a/sci-mathematics/agda-stdlib/Manifest b/sci-mathematics/agda-stdlib/Manifest
index fba24e394bbb..854bd5c659da 100644
--- a/sci-mathematics/agda-stdlib/Manifest
+++ b/sci-mathematics/agda-stdlib/Manifest
@@ -4,4 +4,4 @@ DIST agda-stdlib-2.4.2.5.tar.gz 253379 BLAKE2B c635040892bf940057bacf35f85fa6b7e
 DIST agda-stdlib-2.5.2.0.13.tar.gz 264701 BLAKE2B f35b419aac1b80af86217a86fb8e21a2f3427ef9629c8f2e284036859cd89da16ce1b64ceb87f8a3030b5bdb2a68b4f59f74a717fc1e13378ecb20cc6b28f59c SHA512 340a7b9cb15793cdbe99f558a32eaab3476b94b4d43d45bdc92c6b368197d075c977fd2f6ce0c5b0baf584289a2218b07dd030ad2b83f6d9e4bc7effee91eece
 EBUILD agda-stdlib-2.4.2.5.ebuild 1914 BLAKE2B f76f7e595d75dcf99b1e6968fd2b1c458e951b1e2807f7110261830cad2b1b436964c826764ec59e5093712dd6ca1b999746b1321a00d902f9e9891bd9ef01cd SHA512 40c9829fe63f6041253dc022c072fc1eca9e8fbdb1945c6d2f89e278cc051df05534397919691b52638a46e656bd6455db185f0dccd1899d581c85be0c6708d2
 EBUILD agda-stdlib-2.5.2.0.13.ebuild 2175 BLAKE2B debbd1f201004b20b3e41ad446eac17e2e5ae53175d2c5c56e1a35e94239835d337f5f87bc9b2f03b39a8b7bc1f52476cf02147f5c47fab5ce9e18aac4086e25 SHA512 18c5b73a3dc72a8ee6839381428f27617d299f7c0f61af6c10ce32279e9d50b43b6a36ae02ed675ee1a196914d7f1a2331318976e038c6fc827ec66f95cc9a23
-MISC metadata.xml 658 BLAKE2B 5c799efce1321e2223711ae7626794d6f558fbf40b86b29c3d7bec31c746558e4cbcf1b0040feea20c648a02da876485b7d899afabd416c2dc2a0d302193aea6 SHA512 d1afae7ae946e667e796060d28ef006a47823de3b30c5e493dcba4a606a585b52308e4740b780f88fb7a9b69d1e534bc35514d31b030eed74b6439507e1239c3
+MISC metadata.xml 584 BLAKE2B 9d0eb0995feecbe10282cabba0b56dfe8278149f16840a477b55e6cf63675c79a642922eca2980f193447b1cdfdb59c4f1524a6cd9ec264175e2a753de6b918f SHA512 5d4446db6dac997893534b330f16a5631ff7472fa9178ced3c7300848a0c1733718985f3f6fa2f39adb905e973f8926371043cc08dac99e795e62850e1f2f2dd
diff --git a/sci-mathematics/agda-stdlib/metadata.xml b/sci-mathematics/agda-stdlib/metadata.xml
index 5cb285fc8d71..06549522e123 100644
--- a/sci-mathematics/agda-stdlib/metadata.xml
+++ b/sci-mathematics/agda-stdlib/metadata.xml
@@ -9,9 +9,6 @@
     <email>haskell@gentoo.org</email>
     <name>Gentoo Haskell</name>
   </maintainer>
-  <longdescription lang="en">
-  Agda standard library.
-</longdescription>
   <use>
     <flag name="ffi">Install agda-lib-ffi for compilation using the MAlonzo backend</flag>
   </use>
diff --git a/sci-mathematics/form/Manifest b/sci-mathematics/form/Manifest
index 319a4b5d8f6c..d49d5f6b02cb 100644
--- a/sci-mathematics/form/Manifest
+++ b/sci-mathematics/form/Manifest
@@ -4,4 +4,4 @@ DIST form-4.2.1.tar.gz 1444257 BLAKE2B 27ac9ee1412e6f478324b170e37e6e31822b74f90
 EBUILD form-4.1.ebuild 1733 BLAKE2B f214a218449fc02e7fbacb0d733600a81c6ecd972d29a145b2985e5d210ceb93cee8f0fcf2ee3356727890b61769675f96e8e59c90dcc71120356790b7bae56d SHA512 88d7a8d0b7d28aeb95f09af8aa4303114b5030ef2b522945443e42278f654e3ed4da0378f03b728c6b7243bca5cd920535fd245e18411311bd535fe397ea7534
 EBUILD form-4.2.0.ebuild 1749 BLAKE2B 92c0a913f4b27c4ad90d1af467b46e2dc7f624a873a02f6b72d96a0a3d88c4430aa50b1e4b95c1f4266cddd0eeddf04387848103517992e73f2bfe878989b693 SHA512 38c457d06c80b7905e6c370a58720465101f04d37650c5b3b70303aa6d908a7d9a2c1693fef34bbe24eaac0ccc01259980c6989548ece6b1215002dd6afb1798
 EBUILD form-4.2.1.ebuild 1746 BLAKE2B 571d9e4b9903bed7104ce42acbfb28d905d904e64d06c20de432f187fc9d6808f1d7b5e171cbe51b3e187bf40b3cccdfb2b8eeaeeeb9055854347122f45de782 SHA512 a659fc5b39b04562dce5a3fc2c9cb507fc209abb3b6009bdd8787ac547a3d14e3a0e6998489d3fbfee057458d9af6ae8de33df3f938e930a8e6bd1bd711b640e
-MISC metadata.xml 663 BLAKE2B 09c692fdce85671d53e24e9e882701b0f2d10bdfa5112940444ff1f519556335c882e72933214f859bbf928ede03796820dd9b37afc786ffc594b40001643151 SHA512 5e22f1d096314f695024cb094d6067c8e9ef5ce47cbe0984cef715332ccf494845a548b0097d23e975781bc061d76839b3382bb00b01fd987ae37736d68893dd
+MISC metadata.xml 514 BLAKE2B 04dd10ac173df4f395621637069a41429c490904a53d67e695ea8cb342fcf8a7d46fdb32dab86f782ac7484cbe6b290ec7430505ac41bb6ca27bb8bc81171b98 SHA512 7bc96abda48843132dc49e3de58417f3349254de336e363b127856cf5700a0d4a6e7e30b516a0b0006dec1f20ec162e30b66e66ef9f55c80c6ac0666d13393f5
diff --git a/sci-mathematics/form/metadata.xml b/sci-mathematics/form/metadata.xml
index e75e527199ad..36fd05aef694 100644
--- a/sci-mathematics/form/metadata.xml
+++ b/sci-mathematics/form/metadata.xml
@@ -5,9 +5,6 @@
     <email>sci-mathematics@gentoo.org</email>
     <name>Gentoo Mathematics Project</name>
   </maintainer>
-  <longdescription lang="en">
-    A system which can efficiently manipulate huge formulas limited only by available disk space.
-  </longdescription>
   <use>
     <flag name="devref">Build and install developers reference</flag>
     <flag name="doxygen">Build and install API documentation</flag>
diff --git a/sci-mathematics/fricas/Manifest b/sci-mathematics/fricas/Manifest
index 75c9cd44785a..791f10ae61fb 100644
--- a/sci-mathematics/fricas/Manifest
+++ b/sci-mathematics/fricas/Manifest
@@ -5,4 +5,4 @@ DIST fricas-1.3.6-full.tar.bz2 10422732 BLAKE2B c406907bbd8be66104db0ba52cfb4974
 EBUILD fricas-1.3.4.ebuild 2382 BLAKE2B c4a01a8b8071b730ce265dc0b1dea5e43e9e9f68af96bc21032246ca8cbe04d1e94c4dd553e8d5efb029c1bbb2287d145a9b8126d8ef7cff17b998712be3bee3 SHA512 14723ac33a880819f5c46a6b7a96c4fd50d2eb37d3f92e7588720442249ede46461c6c8913f632ab846a12fa4a943adcaf6fbe3f63483980e581aff9f8f2f039
 EBUILD fricas-1.3.5.ebuild 2382 BLAKE2B c4a01a8b8071b730ce265dc0b1dea5e43e9e9f68af96bc21032246ca8cbe04d1e94c4dd553e8d5efb029c1bbb2287d145a9b8126d8ef7cff17b998712be3bee3 SHA512 14723ac33a880819f5c46a6b7a96c4fd50d2eb37d3f92e7588720442249ede46461c6c8913f632ab846a12fa4a943adcaf6fbe3f63483980e581aff9f8f2f039
 EBUILD fricas-1.3.6.ebuild 2382 BLAKE2B 4ba66ac739fc94f37debc949d6fdb57f838ae664e1a832e8dd24fe14b0cc2457b9e0f6b835cdc92e9f4588c244099adf3b7c7a424d86d27b9354f09c60ead144 SHA512 0799eb9e8ce77b1c75d93fc38c0dddbfd63c93744b7bc1bb376145b556bf78e3b0e73d17f5e04cb8657c979188b211c113768d6def8eb3632d449226fdb39282
-MISC metadata.xml 1161 BLAKE2B 24d65236e4ad6534747f7295730f0e4a37e6c1a49faf1cef8ca2ed3a87459a21f77a3ff7d69b8487c86bac4cef4300607fac89faf57d3d99c8b6e86d9c7679e9 SHA512 c0555d42cc2d50498b1fa4bbf0fd658332f6ad79aaf0ab207ded28f7463401c901b67f53a1274794db2c0927806501493f99277f5325d52ccfacf5e522cfdfc5
+MISC metadata.xml 1061 BLAKE2B 1ee57daa6a688657712b8a917ab1d70bcd67a944133a7b625c8446334c1be03eb2b0ca65bd7c3ef4a54c29e00e6d5767456cb5fe93a9c20c7cf83fdc0df53869 SHA512 7835f6ea9fb94e2ab1ff2385990487802b868418757fb9c701c3081c452ca543716fa4a45f6467ce11144587ea40daf2cccb76345fc428740c225142e7b32291
diff --git a/sci-mathematics/fricas/metadata.xml b/sci-mathematics/fricas/metadata.xml
index 7e1b9cc30dcd..ce1b9931d2fb 100644
--- a/sci-mathematics/fricas/metadata.xml
+++ b/sci-mathematics/fricas/metadata.xml
@@ -9,9 +9,6 @@
     <email>sci-mathematics@gentoo.org</email>
     <name>Gentoo Mathematics Project</name>
   </maintainer>
-  <longdescription lang="en">
-FriCAS is a fork of Axiom computer algebra system.
-</longdescription>
   <use>
     <flag name="clisp">Add support for GNU CLISP
     (<pkg>dev-lisp/clisp</pkg>)</flag>
diff --git a/sci-mathematics/frobby/Manifest b/sci-mathematics/frobby/Manifest
index e156d2d3300d..f48f0ec9d783 100644
--- a/sci-mathematics/frobby/Manifest
+++ b/sci-mathematics/frobby/Manifest
@@ -3,4 +3,4 @@ AUX frobby-gcc-4.7.patch 974 BLAKE2B 1d8b6194866fd865858dfde063b5cc454c9b1a33106
 AUX frobby-gmp-5.1.patch 482 BLAKE2B b807633ea98da37c51207276cfcc991db411cbb049dec30313013bfc2cbb1c1aaf1df60ed0136348fe52769b0f56295550302aabbf9360dcf2ad298363e6dff8 SHA512 a0e113c8a7c25c442a13425baf3fd3259ef48dfa67db25dcc1c87c9a2b1d2453d7daf9778a7c46ce9298db4f59177b63b7811eb4085f206c5a73e538488d174b
 DIST frobby_v0.9.0.tar.gz 852524 BLAKE2B 7cb2a617e85dee8c39c94973520e6dd42118145f1fbf09e7d16c3712a190407f216affd5bcea2ce4b6124b984b18c462118700c161168ae29bf4eebdb9bd1e53 SHA512 b1f64d7a8630ba7f5464e36f66a06a7a7909bc42f2e52898b2967b8ad6288da8ce11a5d79ebfbbfe2f3933930ad26444173f721465ae9a42b6dcf3eef7ecc59e
 EBUILD frobby-0.9.0-r2.ebuild 1302 BLAKE2B b71839ffe47a505bd11ead1b7d99009576d361f881944b93875c2120d7260c726f431be54134898c91ae6028cb12c5f5b830ac9c8184d205628024c9c8cf92bc SHA512 7d4f918f97b25108b3522bce98537b4c7e6ea66beed05e80c8593689c8aaf7f77c5677ac4f60142cdcc0e220f21adf2da4f569fe0ca2b636209cea8ffd19e4cb
-MISC metadata.xml 397 BLAKE2B 0730d77c9853e6ef139a1c8075e38e5c1bfbdb413b3751e609610624cedb7efab3dc1dbdd699579ade2674481a98312917314e8051c12aca2b7bfbd98b498ea2 SHA512 4be3c99cd1664fee30e46f1580d6c723e6aee3a16382a16d3fc71219e9cd934d89d86c0d3dfbb70535e1c60b1640072776a34963d0cea40484e510d0c3ae5d7e
+MISC metadata.xml 269 BLAKE2B 5511cf8f01948aaca0488a6ed41ed923b130bfea9ba90d49f39bff86cfbd1e956b662d07406c76ca8e7e1d2ceb54547740e9f61a0a16041e5fcf18d713f90f03 SHA512 ecf9121172cdf04793bdbf6684060c7f15fb2a25606e53d8fc7dbc78efe24e264affa600c1ee3106ce8216b7093dff66eced3f78dd6ca7bd6ee589d1c7912cd6
diff --git a/sci-mathematics/frobby/metadata.xml b/sci-mathematics/frobby/metadata.xml
index eb1b71267423..514f7304d513 100644
--- a/sci-mathematics/frobby/metadata.xml
+++ b/sci-mathematics/frobby/metadata.xml
@@ -5,7 +5,4 @@
 		<email>sci-mathematics@gentoo.org</email>
 		<name>Gentoo Mathematics Project</name>
 	</maintainer>
-	<longdescription lang="en">
-Frobby is a software system and library for computations with monomial ideals. 
-</longdescription>
 </pkgmetadata>
diff --git a/sci-mathematics/geomview/Manifest b/sci-mathematics/geomview/Manifest
index 7c417ef9938c..c8ebe92eccff 100644
--- a/sci-mathematics/geomview/Manifest
+++ b/sci-mathematics/geomview/Manifest
@@ -4,4 +4,4 @@ AUX gvcl-mode.el 7416 BLAKE2B 764b13c0a68dc4c6091bd4b630d6d130d094600fa5a81ccca2
 DIST geomview-1.9.5.tar.bz2 4532535 BLAKE2B 6be3f31050dd3954e88f224e818c6ff454fef9f7d716314ff0a4ca1bebad18726e55b238504d468a371edd72029bbb13795a2244e7a65815eaf1b78b2c167172 SHA512 a22bcd254e1e4c5c6797811f315d158f84fe82a3f95646bfdf3be203e9cd7fc8cacbf26f55a0a08bcb47cf2b2ad17ae4b48cdc4d78f810f48dab9fa1c7d56e7f
 DIST geomview.png.tar 10240 BLAKE2B ea1b81f69b77d93bdf4d4dff74e11cb6229d002f8c3c1ac1fbea23c443955e513302f0df0fe55d859309701c5dde6647f0fb9fb8d42b79329c16f1438f93d0a5 SHA512 3abdc04f04410a50876af6b0f1aefc6891c47926ca9e5a4a31bd001310972996497f4e6c33db059fdbca09b236b7763e5476d75427e653d54861b4b3a4e54f51
 EBUILD geomview-1.9.5-r1.ebuild 1478 BLAKE2B fbc24b9533938b440d6828c5e031484d854e211c2a828a8a5bd0136b95168db561be4c082d287ef0e5163ae930a8d439e4ae82013b929f8e9ee3bdf680f23d31 SHA512 9410e4cfe6d06ad54b5c895fa82a4ed8ccb8c32f624288b556acb43866a79bc772f57c2a486cfbf3472374857c0576dab6b25ad9bba15d7c5c656c42e3f7915b
-MISC metadata.xml 571 BLAKE2B 02ef7760d185b3c24d82102dae7510e4af721a3744274f0d9dfe6592bc5d09043a961f4134787673401e4609935b70e4f08678caed54d629575512b47cf1812d SHA512 80840d70575485e2e4358734df0468566ad42f7768273640291a646b4261ae51823f682ad0e6582954502fcc1c69622d473abee45275a4907f6b30fc91c94d48
+MISC metadata.xml 447 BLAKE2B 41da96eda2f4978156b20b0b874d6912b3b8653837d8bc84b0fb066f579efc0093cc636764848f5fc375b440982a2f7d4e4514910a2fc1d1c272ea01960ad172 SHA512 88525614463991653d0f863dcd54acd5c8d81255bce84dbeb6efe7b188a99f941b441c4ef078c9ff11011bdb933ba892529b062b9274c0878d6e0195498ec063
diff --git a/sci-mathematics/geomview/metadata.xml b/sci-mathematics/geomview/metadata.xml
index 961597db5582..ac4c686894f0 100644
--- a/sci-mathematics/geomview/metadata.xml
+++ b/sci-mathematics/geomview/metadata.xml
@@ -5,7 +5,6 @@
 		<email>sci-mathematics@gentoo.org</email>
 		<name>Gentoo Mathematics Project</name>
 	</maintainer>
-	<longdescription>Geomview is an interactive geometry viewer and Object Oriented Graphics Library (OOGL).</longdescription>
 	<use>
 		<flag name="motionaveraging">Enable experimental motion averaging technique</flag>
 	</use>
diff --git a/sci-mathematics/nestedsums/Manifest b/sci-mathematics/nestedsums/Manifest
index b2c877695477..f28e1f25897b 100644
--- a/sci-mathematics/nestedsums/Manifest
+++ b/sci-mathematics/nestedsums/Manifest
@@ -1,3 +1,3 @@
 DIST nestedsums-1.5.2.tar.gz 511806 BLAKE2B 9c40f4b3405134ea058aad356e131b29f7f0a058b68ed3081bbcc51d451e850bccd8ec26448a8ac391524913da7eccbce4fae1b9e4119c8692b8fca59a17d885 SHA512 2b7dd54e02695a741bbe8cc0b45a3804dc7c1cb6d0b46ad7c152489e952718b438b84d60b844ff0ed92b32c78186dac2d4ee8e705ad82f965bbec923c1970d33
 EBUILD nestedsums-1.5.2-r1.ebuild 996 BLAKE2B 859641ac39630571df447b112d3e2a85afd9e2a75b42f68c25cf946aabfc69df6e9a24bb419b3309a2ebd265e009c04aa6c95531bdfcb07b7b47ebf21a01d85e SHA512 1b56798b8eb0f3dde04b62e9d7a6250c2687a95dc17e45ffa8c33325d604a68c7ab94f05f80c2bb264181ff347892e8759bb4c5ce40e663c067e9d54d16cb51e
-MISC metadata.xml 501 BLAKE2B dd148f912baaaece32f3d6ebc779762b01496f1384f88a54e83c98e9f6a913d52e1dd6da962ae64a3a223846d83d4597cba0ced20c6ea6c7fc35775f7376d1f2 SHA512 5869e4268ec16289d392ec2911f1297e19e06cff94b8dac6f4cf57adaeb9fba1dba8853433bed1154a3bd2048cf5b762d6560a70a30fb5de230b5ce6ce1b775c
+MISC metadata.xml 372 BLAKE2B d589eae4a189062cd16fdf18c36e36ba8816cc9e6c50945693296b755151e3e0db0e15715f1f08cf330ddd47330c9a36b4fe3460452e3bb97ae9ee3c7d280d22 SHA512 76123e8eaa43ad123a54600811325333ebe9306cebe4868f24af23928ab375df5a222b2e8ebab9247fc05fde2f90caf3b57e45fbcf2fbc90e6dd79df28862626
diff --git a/sci-mathematics/nestedsums/metadata.xml b/sci-mathematics/nestedsums/metadata.xml
index ef3fc3585fdb..cc43c2e1fb3f 100644
--- a/sci-mathematics/nestedsums/metadata.xml
+++ b/sci-mathematics/nestedsums/metadata.xml
@@ -9,7 +9,4 @@
   <email>sci-mathematics@gentoo.org</email>
   <name>Gentoo Mathematics Project</name>
 </maintainer>
-<longdescription lang="en">
-A GiNaC-based library for symbolic expansion of certain transcendental functions.
-</longdescription>
 </pkgmetadata>
diff --git a/sci-mathematics/topcom/Manifest b/sci-mathematics/topcom/Manifest
index 415a2a0dd86c..edff7bfda9b1 100644
--- a/sci-mathematics/topcom/Manifest
+++ b/sci-mathematics/topcom/Manifest
@@ -2,4 +2,4 @@ AUX topcom-0.17.7-buildsystem.patch 16106 BLAKE2B 3194b44cd20ace8f164b5624e988fa
 DIST TOPCOM-0.17.7.tar.gz 8661519 BLAKE2B f42d273b39b15ccaf0d24ad360dc91cecd2ab83c97eb5a2fffe95575d7c8063d9afa842d7bfae03faee32ced1f98ccc55a750a59c1f544acded462a478aac636 SHA512 528e566e488641e078a8c9150f88a1544f607e6859da1d95a98dc5890c5a52882f8c8790097c3a77277066bd5d4c10a1e0a9c131fbc521f56f6139eeab7e21d1
 DIST TOPCOM-manual.html 19251 BLAKE2B 8e361fd81bed45b552766a86a856ed1411154b5c523e14463750651d1c8d7b0f1f25a7c29bfdc34910fad3d19a1df94ded47b63a973f22baf3d60a7c5f0e1578 SHA512 5d0303f141bce12e0354c2fb65420102aa198e2271c0e901621f850b47f9cf9642659b0cf8e9bcc7a6da3b39914c20e47c67e72aa9cf999892f80855daa25c67
 EBUILD topcom-0.17.7.ebuild 1188 BLAKE2B 82bdec14402b06680db2ef7fd070a338a5347f2d814c5308eb4d38e4b4169d78dc04d6706eb41606ef6dcda9f1f25ddee770f1e62c355d9ccd2290b2a66e6fc5 SHA512 b4ee0b662c918abbb555e78ad75ef7187d02683cba5614c1dfc75366d4844bfde39c7018de9e8db718d87cbfd5fcb7ce2dc01aa05d20f03462ae20283d7aa1da
-MISC metadata.xml 412 BLAKE2B 9b0d5b2c53bfac6b34a7824e2640b8933f66dd618391fab93b8f0bf19f2d9b2058857d2445b56c728dd83df178ba4501e831387d23450ec24276e1f25196a53b SHA512 bbbdf7eefc5eb987cdea30dfd1003ea2ffd89ddc6ca94f03e655dbabed0d7d18ffd88a5d1e429587c1d4f1fb9fd148c0d83ebe7bb7ad6b3d6f198f64e9abc3d2
+MISC metadata.xml 269 BLAKE2B 5511cf8f01948aaca0488a6ed41ed923b130bfea9ba90d49f39bff86cfbd1e956b662d07406c76ca8e7e1d2ceb54547740e9f61a0a16041e5fcf18d713f90f03 SHA512 ecf9121172cdf04793bdbf6684060c7f15fb2a25606e53d8fc7dbc78efe24e264affa600c1ee3106ce8216b7093dff66eced3f78dd6ca7bd6ee589d1c7912cd6
diff --git a/sci-mathematics/topcom/metadata.xml b/sci-mathematics/topcom/metadata.xml
index bb20ab4b2890..514f7304d513 100644
--- a/sci-mathematics/topcom/metadata.xml
+++ b/sci-mathematics/topcom/metadata.xml
@@ -5,7 +5,4 @@
 		<email>sci-mathematics@gentoo.org</email>
 		<name>Gentoo Mathematics Project</name>
 	</maintainer>
-	<longdescription lang="en">
-TOPCOM is a package for computing Triangulations Of Point Configurations and Oriented Matroids
-</longdescription>
 </pkgmetadata>
diff --git a/sci-mathematics/z3/Manifest b/sci-mathematics/z3/Manifest
index 644d2eb9eccb..d189667f5fe4 100644
--- a/sci-mathematics/z3/Manifest
+++ b/sci-mathematics/z3/Manifest
@@ -1,3 +1,5 @@
 DIST z3-4.8.8.tar.gz 4520119 BLAKE2B 8d3d9fac61ac7d5a9d8c44323db9f67a7b24ee510b12e67867b249062cbcfe9a3bd0fa3b24c03c9eccd2aaf90451083ff5e9a9253a87c3e8e943fc5cf08a1893 SHA512 a6823cadb7cdad11b8f0db1530676c0ec4853886dfb3c4dbc5b798c5dbd445afb0c61675f81cb7f99c1b1734d9cd0ec96a07c68a948da3c25801fc6767fea47f
+DIST z3-4.8.9.tar.gz 4624159 BLAKE2B ff97a688ef3f977cd1204ddafaf6b4ef5824fc8f9f38f0ce9a31657b99b8cb08ee5834893ac67056eb4d7f7df67585933029292eed41d140a93c10b9daa8e100 SHA512 a50da5c3f9e27d3e804c1b71f648a3dbd5a55223b7344d66f191a1b34a4d787810abd976840d3ab3878aaf5c96d89f5a517cac0781b82aa927a9d8d54836d54f
 EBUILD z3-4.8.8.ebuild 2414 BLAKE2B f20a02f52a68dcc203acaa79b39efac293b45e142798c0ed362845b4897e4400be4816fd37f26f7fb54d7a824b7d7da074bf9824f76e8a8b305a789d8dfec263 SHA512 f4feff2c7c64feefa4a54c65d1c135cd2924daeb4c5276d34d3c4f2e1b4224aad0a45abf9fe4a56eea6947679938fe1e0a77b47e34d11448ddb629fc9a195f0f
+EBUILD z3-4.8.9.ebuild 2418 BLAKE2B 9d3b018ddedad2d1161fa998a783c23f1fdd385f001a963899d8a7e89827ed427dcfe6dc00b9657ecce8e7c18b39b6c246cccf0d9c222359e994b7c54ff2e266 SHA512 dc0f5b4fec387fff0d8471b11fc18d6fceb47245cbc91b8b5b0299475123a9a1ccf33f638986d309d48cb62f815922ebf28248592e1ad51b69cc641a9a60d923
 MISC metadata.xml 616 BLAKE2B aeef1be6d9c4a94062310c6e2c3ac7fb1efe39bb608d96c143a01e9a01585f11ee25aa56d8f67d0a96d880b543882f2cb781247c034eda75e7f6f030767bf660 SHA512 aed4bbc517cc4f9e78ad3f5d50af5837757efa2985aa61a3faf40e39203179d356830a1d6fd4712422257eb244a67ae5eb5c4b2db76ab75769f5fe5e6d045a0c
diff --git a/sci-mathematics/z3/z3-4.8.9.ebuild b/sci-mathematics/z3/z3-4.8.9.ebuild
new file mode 100644
index 000000000000..3570ae1f1e49
--- /dev/null
+++ b/sci-mathematics/z3/z3-4.8.9.ebuild
@@ -0,0 +1,96 @@
+# Copyright 1999-2020 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=7
+
+CMAKE_ECLASS=cmake
+PYTHON_COMPAT=( python3_{6..9} )
+
+inherit cmake-multilib python-single-r1 toolchain-funcs
+
+DESCRIPTION="An efficient theorem prover"
+HOMEPAGE="https://github.com/Z3Prover/z3/"
+SRC_URI="https://github.com/Z3Prover/z3/archive/${P}.tar.gz"
+S=${WORKDIR}/z3-${P}
+
+SLOT="0/4.8"
+LICENSE="MIT"
+KEYWORDS="~amd64 ~arm ~arm64 ~ppc64 ~x86"
+IUSE="doc examples gmp isabelle java python"
+REQUIRED_USE="${PYTHON_REQUIRED_USE}"
+
+RDEPEND="${PYTHON_DEPS}
+	gmp? ( dev-libs/gmp:0=[cxx,${MULTILIB_USEDEP}] )"
+DEPEND="${RDEPEND}
+	java? ( >=virtual/jdk-1.8 )"
+BDEPEND="
+	doc? ( app-doc/doxygen )"
+
+CMAKE_BUILD_TYPE=RelWithDebInfo
+
+multilib_src_configure() {
+	local mycmakeargs=(
+		-DCMAKE_INSTALL_DOCDIR="${EPREFIX}/usr/share/doc/${P}"
+		-DZ3_USE_LIB_GMP=$(usex gmp)
+		-DZ3_ENABLE_EXAMPLE_TARGETS=OFF
+		-DZ3_BUILD_DOCUMENTATION=$(multilib_native_usex doc)
+		-DZ3_BUILD_PYTHON_BINDINGS=$(multilib_native_usex python)
+		-DZ3_BUILD_JAVA_BINDINGS=$(multilib_native_usex java)
+		-DZ3_INCLUDE_GIT_DESCRIBE=OFF
+		-DZ3_INCLUDE_GIT_HASH=OFF
+	)
+
+	cmake_src_configure
+}
+
+multilib_src_test() {
+	cmake_build test-z3
+	set -- "${BUILD_DIR}"/test-z3 /a
+	echo "${@}" >&2
+	"${@}" || die
+}
+
+multilib_src_install_all() {
+	dodoc README.md RELEASE_NOTES
+	use examples && dodoc -r examples
+	use python && python_optimize
+
+	if use isabelle; then
+		insinto /usr/share/Isabelle/contrib/${P}/etc
+		newins - settings <<-EOF
+			Z3_COMPONENT="\$COMPONENT"
+			Z3_HOME="${EPREFIX}/usr/bin"
+			Z3_SOLVER="${EPREFIX}/usr/bin/z3"
+			Z3_REMOTE_SOLVER="z3"
+			Z3_VERSION="${PV}"
+			Z3_INSTALLED="yes"
+			Z3_NON_COMMERCIAL="yes"
+		EOF
+	fi
+}
+
+pkg_postinst() {
+	if use isabelle; then
+		if [[ -f ${ROOT}/etc/isabelle/components ]]; then
+			sed -e "/contrib\/${PN}-[0-9.]*/d" \
+				-i "${ROOT}/etc/isabelle/components" || die
+			cat <<-EOF >> "${ROOT}/etc/isabelle/components" || die
+				contrib/${P}
+			EOF
+		fi
+	fi
+}
+
+pkg_postrm() {
+	if use isabelle; then
+		if [[ ! ${REPLACING_VERSIONS} ]]; then
+			if [[ -f "${ROOT}/etc/isabelle/components" ]]; then
+				# Note: this sed should only match the version of this ebuild
+				# Which is what we want as we do not want to remove the line
+				# of a new Isabelle component being installed during an upgrade.
+				sed -e "/contrib\/${P}/d" \
+					-i "${ROOT}/etc/isabelle/components" || die
+			fi
+		fi
+	fi
+}