diff options
Diffstat (limited to 'sci-mathematics')
47 files changed, 68 insertions, 247 deletions
diff --git a/sci-mathematics/Manifest.gz b/sci-mathematics/Manifest.gz Binary files differindex ea7e8af739d1..82667e972a1b 100644 --- a/sci-mathematics/Manifest.gz +++ b/sci-mathematics/Manifest.gz diff --git a/sci-mathematics/agda/Manifest b/sci-mathematics/agda/Manifest index 4cf5fa9d30f7..07238b5db7fa 100644 --- a/sci-mathematics/agda/Manifest +++ b/sci-mathematics/agda/Manifest @@ -1,4 +1,4 @@ AUX 50agda2-gentoo.el 317 BLAKE2B c295509014fc7f254c5c0650b079d3827b182270c6e1aa3d1ddf4f4076d94115f0168d4ad0c96a876be57ead4db26219e594a9afed3aba2ce3cab30e8cf19060 SHA512 55b7438896cb66b4b32b0ba0d9468bb2496df1f63a78f3f4b4e19cc038018605c9cbd7880d2be1b40d6d1509ac6df20304cdc8c2ccde69e89777acfc65a1ce8e DIST Agda-2.6.1.2.tar.gz 2722270 BLAKE2B cf8d4bff2c189d87696c3f03f1b32777e8bd060102f108e0b96aca87e6b3b1cc84077a1e0fe3f9ef42293f683aa855eb60ade8b0863b3f78c96b4ebb63e456a5 SHA512 5ab35d9b581ed918481dd25619739dfa43ea3d86b9522989fe8c83b3aa8749bee81fb12e7cd6b4270c4890a3719386c62b220163324407a1201273d1dfe9d615 -EBUILD agda-2.6.1.2.ebuild 5007 BLAKE2B 0a268e3fe699114f1b49cfab6762ccfe4e815d49584aec884a9c2eee597d5b4800ba0a4aa71d6b67d263add0491382ed29a3df29df212de21000882d871efcb3 SHA512 c28cc3514deedc21f439974b9d498a2a3e9d8992190a4e0703862855d10c164f46212dac41681915bcb8f220f192d41d189f1b8ac07129d4932e4536cca1c37b -MISC metadata.xml 1743 BLAKE2B 6705852b3c4c52a22788ee01fa511bcb63410f39ae6da3168c6907e39674ace7c6c76c7b39c23d2dee9c2b98c45a264d76b7cf8ae7de8f5ccf1c99a4a843ee0d SHA512 c4b75de7cac6776cb24ef9ac3fac04be88c5d434acfb9e41d9c4b98deb59f02d07e04078907629dd956f72bfbe2d6e3f7cd24f801c1b2a1636c05555442a9851 +EBUILD agda-2.6.1.2.ebuild 5118 BLAKE2B 4c45bdc04bda4f1ee36fa691ad89458312e58c04b318b5485635eb442dbae702040bb959589693a518c808aa404d6e75a9d8d31c9c17d4b0c0d610f12c6f4f77 SHA512 10111072552ed9bb046815f1e70181ad05a755f6a496d351b7de93ff9c206caef25cbe3e7241415767c523baebaa99cff6bbf8a177ac109a366a121049c06c8a +MISC metadata.xml 1739 BLAKE2B a11bf97211f5b3c9b6ea8de77d64d2ab1a032be7502eab0eef88fe171424ffec17b6488e2d31d8113bfc630d7d709f7b86ead8bedba492d9747e047914d10763 SHA512 6dd8a8e9b3c0191fe4fe6eee9c620a448e7ba78ea5fabadea2c31a57d140fecad1e049ec2dd73010241204ccbb8d29e5634ee2310eab5c9be0cb8e3ec6b70736 diff --git a/sci-mathematics/agda/agda-2.6.1.2.ebuild b/sci-mathematics/agda/agda-2.6.1.2.ebuild index 3468e60ca041..a2a59db413d6 100644 --- a/sci-mathematics/agda/agda-2.6.1.2.ebuild +++ b/sci-mathematics/agda/agda-2.6.1.2.ebuild @@ -1,4 +1,4 @@ -# Copyright 1999-2020 Gentoo Authors +# Copyright 1999-2021 Gentoo Authors # Distributed under the terms of the GNU General Public License v2 EAPI=7 @@ -81,6 +81,9 @@ src_prepare() { -i "${S}/${MY_PN}.cabal" \ || die "Could not remove agda-mode from ${MY_PN}.cabal" fi + + cabal_chdeps \ + 'if impl(ghc >= 8.6.4) && impl(ghc < 8.10.3)' 'if impl(ghc >= 8.6.4) && impl(ghc < 8.11.0)' } src_configure() { diff --git a/sci-mathematics/agda/metadata.xml b/sci-mathematics/agda/metadata.xml index 5606f0f0585e..ea5eaca193ca 100644 --- a/sci-mathematics/agda/metadata.xml +++ b/sci-mathematics/agda/metadata.xml @@ -13,7 +13,7 @@ </use> <longdescription> Agda is a dependently typed functional programming language: It has - inductive families, which are similar to Haskell's GADTs, but they + inductive families, which are similar to Haskell's GADTs, but they can be indexed by values and not just types. It also has parameterised modules, mixfix operators, Unicode characters, and an interactive Emacs interface (the type checker can assist in the diff --git a/sci-mathematics/arb/Manifest b/sci-mathematics/arb/Manifest index 89e9f556338b..8cb19dc91767 100644 --- a/sci-mathematics/arb/Manifest +++ b/sci-mathematics/arb/Manifest @@ -4,4 +4,4 @@ DIST arb-2.17.0.tar.gz 1589083 BLAKE2B 68d5b04dca24129ceaec4e05124e35b474157cf1e DIST arb-2.18.1.tar.gz 1595831 BLAKE2B 010ae7a17a9cc1c11ded5806ff761115f3e78c48a5d8fc058eae0715b1e00e40345d4e6445a84c71c37627879648f445663dcc3bbcebdeaac8439a993ade38ee SHA512 07afb45829119bc695926dab4221051b221c2cc3952e42c9928efc74570b05fc01c97ea86b1b67c16d7a19a55b4e32dce97e08c9b72f36b33dd62bfccd19bb05 EBUILD arb-2.17.0.ebuild 2024 BLAKE2B 2f2f914247a7d094219271914125633fcb40df6aebd1d721de8cff1580b4bd7ba03eabb9f6ced6c36f50008e7f138b8064fb7aa4dca35ff312f7058a7d70ca68 SHA512 0a16600bf1f11d6976c244a03c2844137b06612e7a860447835d5056c68f04a91478db041dcf1fb82a75528e91b68160a8c43d3332cd40ed90bd002a706decb7 EBUILD arb-2.18.1.ebuild 790 BLAKE2B 504d3e8095e7ece23fe9863218452c09f412f2eb5497e83ab609db21455f1f72b6b618ed290ad777fa7bd39d2f446e1064b0c019cf8e60b5139daa4dcacbaa94 SHA512 7f5bc91dc8d39e2d5f919f61d90ad29e41f609dbffe7a2513846b54ec7bb810ee030ed358e9edf0b3b4fab74b570bb058666ee95961f286f09bea37d2f940589 -MISC metadata.xml 1077 BLAKE2B d21ef7ffc1b41b7b52d7d8caf246b0109be10d06b7bb4d660c9ae0f750d748cac37cd289df3282cbca9f2658e8fb5f6674c170ea6bfd511edb71a3f0da88bc86 SHA512 cc6a2aed7acd718af2aa1612b1b454a2e699da97a33cb9ba9ca747e3782d9439bb0ff96c25e9023776777a5ee20d2c208c7f98dc73c787a16bfca58e9a10e1ee +MISC metadata.xml 1107 BLAKE2B f9d008fa5d063c0c184aa8f4b6b8588b56d417936a19c350fb252adfc0e95e14e2ea81e3f9bd1d56d1c5b978e5964b4cc3d37603cedda9c55c0a111d0987485f SHA512 7bb01ca2427e92d6ed0c65c495922cb80d241b988bd73741f132c522cac3f3c45a796a042f7ace440eb8eecfc483a1f7c01928519b8999cff52e78b111ac1296 diff --git a/sci-mathematics/arb/metadata.xml b/sci-mathematics/arb/metadata.xml index e6424327a6bc..362665766217 100644 --- a/sci-mathematics/arb/metadata.xml +++ b/sci-mathematics/arb/metadata.xml @@ -8,11 +8,11 @@ <maintainer type="person"> <email>mjo@gentoo.org</email> </maintainer> - <maintainer type="person"> + <maintainer type="person" proxied="yes"> <email>frp.bissey@gmail.com</email> <name>François Bissey</name> </maintainer> - <maintainer type="project"> + <maintainer type="project" proxied="proxy"> <email>proxy-maint@gentoo.org</email> <name>Proxy Maintainers</name> </maintainer> diff --git a/sci-mathematics/cgal/Manifest b/sci-mathematics/cgal/Manifest index a0cb80c469e1..9b7be768fcd5 100644 --- a/sci-mathematics/cgal/Manifest +++ b/sci-mathematics/cgal/Manifest @@ -5,4 +5,4 @@ DIST CGAL-5.2-doc_html.tar.xz 51123300 BLAKE2B 748b94d199343402baf6aef298b352fc2 DIST CGAL-5.2.tar.xz 23250240 BLAKE2B eb80a81dd01b2b2e30fe72f45cceee0861b36f47e395d1c905f8551e23d57c36dd9a7c66e32f6c2a0a2cfbd4c780fd5d5ae098709bfc1072e7ac7f761d328fd3 SHA512 8dddec18bd7e375ea3b18c636ddb2ca4f3a318e177305058f702206b830e2605837024e4b1265789f1bdc46dda80133d6fa8d61a036cda3c93a227f4c244cc1a EBUILD cgal-5.1.ebuild 1668 BLAKE2B 50a42e49445d31b98fcf87a949ce9eeb2aded5c0a3ded30efb401c9b199518b1bdabc1d51da607c21f7cfaad859ec72b46c5d0c249f61af7e6746cecdaec9fa5 SHA512 e5d289e5d3e79a46a876b51b8c319f6e1c4c1076c7a3b8c1b51374144947d3ebdca42579c90058896f50890be603573b7fe2d303ae936ad3173a76d3fb58a9da EBUILD cgal-5.2.ebuild 1666 BLAKE2B 5cc82ca832411b175f72a72e68542ddacc21d9795c6067d9223b28b99da108eea63c7b3630c039e2679ad5649f270caea0b95a367c3309cbb69e4e8b48b2832b SHA512 80827eda045dcca0e2a8b145b21037979adae365caff09e88f7cbaa77bbaa43a5f59275e8deb237bca53783ad14da3bf29d201e4dad1786df39bf5a4c4b9a709 -MISC metadata.xml 1552 BLAKE2B f05f378f0343972d254851ddac6512761f36741106091b37d8e4fe216f4df6ebad12faea0d7e9323b999b5595d6d03a7b9848601fc83bf8bd8c35234c71e7301 SHA512 fc1bef0c6259b274716ad0c9bb50946268857fd8bd919d4fe2e4d6a89bbee518ef321f2fa4b43587ee61e40dcc96d12c5e152b39bdbbc39b440300c61039d4db +MISC metadata.xml 1582 BLAKE2B 2bdefdfc9eb63f4ce6049710ea57e8988e91dd32bc67ba32707b86f814e6b75471eb6ee49785adbe2f90bbe4d3adfa22d95bc9e050d3caced232d6267e9e81a9 SHA512 cc4c6580fe29d50c8ffadab4e3c84cb327a755c4b335709b07a2521e7de150556cf272a8c58d7b05fa3380b78c297efccd170c03fc9c27827359702ad6c80bfe diff --git a/sci-mathematics/cgal/metadata.xml b/sci-mathematics/cgal/metadata.xml index d26f70426b39..05dff372fd2b 100644 --- a/sci-mathematics/cgal/metadata.xml +++ b/sci-mathematics/cgal/metadata.xml @@ -1,15 +1,15 @@ -<?xml version='1.0' encoding='UTF-8'?> +<?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> <maintainer type="project"> <email>sci-mathematics@gentoo.org</email> <name>Gentoo Mathematics Project</name> </maintainer> - <maintainer type="person"> + <maintainer type="person" proxied="yes"> <email>gentoo@aisha.cc</email> <name>Aisha Tammy</name> </maintainer> - <maintainer type="project"> + <maintainer type="project" proxied="proxy"> <email>proxy-maint@gentoo.org</email> <name>Proxy Maintainers</name> </maintainer> diff --git a/sci-mathematics/cliquer/Manifest b/sci-mathematics/cliquer/Manifest index ace708d58b27..4e725ba8e5b3 100644 --- a/sci-mathematics/cliquer/Manifest +++ b/sci-mathematics/cliquer/Manifest @@ -2,4 +2,4 @@ DIST cliquer-1.21.tar.gz 412440 BLAKE2B 0a4f31f6b005822271c67ab2f2532809b112a5ce DIST cliquer-1.22.tar.gz 416433 BLAKE2B 3f43d443b1ecfef599213da99ffa15b5077392dd8d1bebdd0f5db73898d1fe997d6eabe6dbdb29852d40355228f082cfa7e3198be90dc9166965b90f062cae69 SHA512 3285cb0a3987ff730d9f9b25419a98201f399daf28444179ba8902211ddda87adcc7189f5b94f062d0648039a1b6217b80c8db482887d7dc8552b20459eff861 EBUILD cliquer-1.21.ebuild 784 BLAKE2B 5d822c6f11114d9fd0254af5cd1552c0149d78b506eb75ca61f34506f7af24ef51ab593fdee61db0a8562170c638ba6b61bfdbb014d0708e99c64ebaa43390f5 SHA512 eaa0766c99060fdb7662eff8cab91a09b7a4a9f7a09c8ff8b609f184cd762a4feed18431fd817273feb2aa2704488d1c176b0b1314ac8d944531afaf333d9262 EBUILD cliquer-1.22.ebuild 786 BLAKE2B b968cc114f0966bf3ccd8914fd5559c6c0074972a8b46bb26cdeecbddf33303c655fc9a640604484a0091a2d2ac478c0b75e10856cef71b02c8c8e232179f869 SHA512 81b896044c300c2f522905b794f8047fac638388799b97d358c29ce14ed9a3a4133fd8f4dcabbaf856a1cafc739879a37ab8dd1051e3a9f1d8e3ff0bb022f39a -MISC metadata.xml 739 BLAKE2B c6fa693dfa35996f2bb14d5a466538770264b47830afb59b09b8e0a5b99818e5532ffd6b893b6ed906922fd24ff9abf2511cc849ed01dd5d39d0830b5f289b22 SHA512 a9414bab8c1b6c8858c0de265fd864deb31fef36294a5ebcda07fdaf54eabb1dd0694286215ac48f7f1d36a2682bfdf9fb2d0bcc7fecc5126c815c7281bc731f +MISC metadata.xml 769 BLAKE2B f0cddc137df6bdaf895d663aaf19dadc96ec136989ebf7a330249bf7f35e70680f93417d00286a50ce79358affd02696d4883d009e4456d7476af35185ef5385 SHA512 84b42772c81a1f1b3b598bd71c5d86c28231941b8f37d8ad30287bfcce444c8d6d26676d265c88027eea5b94970f5aacf96b2ede2d60e3d9ef10abe16fca9fa2 diff --git a/sci-mathematics/cliquer/metadata.xml b/sci-mathematics/cliquer/metadata.xml index 94aafb3a9ea9..a06de7ee84e1 100644 --- a/sci-mathematics/cliquer/metadata.xml +++ b/sci-mathematics/cliquer/metadata.xml @@ -9,11 +9,11 @@ long before I moved it into ::gentoo. You don't need an ACK from me to merge his changes. --> - <maintainer type="person"> + <maintainer type="person" proxied="yes"> <email>frp.bissey@gmail.com</email> <name>François Bissey</name> </maintainer> - <maintainer type="project"> + <maintainer type="project" proxied="proxy"> <email>proxy-maint@gentoo.org</email> <name>Proxy Maintainers</name> </maintainer> diff --git a/sci-mathematics/coq/Manifest b/sci-mathematics/coq/Manifest index 1bb483d5dc00..e8bc753d85c7 100644 --- a/sci-mathematics/coq/Manifest +++ b/sci-mathematics/coq/Manifest @@ -1,11 +1,7 @@ DIST coq-8.11.2.tar.gz 6564523 BLAKE2B 37ae7a1f899b8ce662d5c21542b2bec0e2e8f25e976fb46689e0eae182fa4ec571524ae9f4f1a5ebbd44966fbdc4ee10cffda59c287d51ab48df4ac0e5e6844c SHA512 f8ab307b8e39ffda5f6984e187c1f8de1cb6dec5c322726dbbe535ee611683cfeeb9cee3e11ad83f5e44e843fc51e7e2d50b4ea69ab42fde38aaf3d0cf2dea3c DIST coq-8.12.0.tar.gz 6774001 BLAKE2B dc1d6adf9d4bd50d46007fbf5fd43d1ea97b6b226d89ad943419d4cb7df1439950c94b5e3cc614eb789103d1ab50535909d4ba2079eafc2caa4fd91db30e747d SHA512 8a64624c578ce0ab781fb3b1f162bd8b095735ad891fdad2fb7c40849afbdc7c1360187c6b62a5ef2982566f4c6c78029240c611ae769943a5250af300eb1240 DIST coq-8.13.0.tar.gz 7010242 BLAKE2B bf9ec96b6698a2371be3164f65424a8ffb273252afc05e046267cae4265c1be71f89d0345f9e40ab3a93f5063080fd0224502cc0de808c7a0ddbb0edacab5fca SHA512 c355f0a9183f3669debd5f8f4ab96786215d0cccc37d1c2ac95a2d3c6115c8b0ee7ff7e23464b18444e2648ef3f8c221f0f3a28acf91199751cea2b74ee3fe8e -DIST coq-8.6.1.tar.gz 5588811 BLAKE2B 1016e54ef9b42a8534add55ab057454fad35b3fe103ba877689489c7d9cf43d76c1fbee123801d91035d353a882120650f94c433d9ee1daa878b8c819609c949 SHA512 814ab76a06ca15f927081428da74add4bc67290199fa011853b9c68a00cdefaf813b10fbac18a434f4504fce8f2173eb544080bf6f50d62caa41bb8724b13083 -DIST coq-8.9.1.tar.gz 6001970 BLAKE2B f65498e2485c59f4f95d2afeac35750ebf85b5af6db7c269a11635f2414df483d4cb159557060c9118de25f4922176f54d2e5c6f12174599371348341cb4d80f SHA512 66344f801b955d1b6daf3ab1d704551070c95cf9032ae74f15fb33f7ec313812b3e05c0ec277a2eb448e3fdfd9721df06d36612e2fb4928b6530d70147f1d983 EBUILD coq-8.11.2.ebuild 1828 BLAKE2B d07bc2a17b827c6e063e45b8f025b492405d30ce6e1a5e8e297bdc4395da7a3d2f7bf8f5ad25e6258aad3a386f5cbf22bae5a75c442539ba88845e52b151f3f1 SHA512 f1b63d03e3e0a22c6491171ea481f44bbb178783ad7d8dff90e96dca6aa3b28392e4d05366f6bbfd6fcc7417f4a01349f206a994c5eef3b07adb64b3deb43184 EBUILD coq-8.12.0-r1.ebuild 1826 BLAKE2B a19aefc94ef90a5bbefad421a64ce70d67f4300f565b3a3bc26ecee6388a753f3e711ab738effdc9a9afa26b65fa608a2e938b8299d1ce10502fc9275caa84d9 SHA512 6f25da4262d515986f1f1c8535e8cd0b4b4d539bc4ce1d8afc4dd43710b15db8ce7db8b59a6699c0d816356f3a2ca87ac91eb57ae57bc709a545403fb6868158 EBUILD coq-8.13.0.ebuild 1800 BLAKE2B 62589bd54d8387dd7b6edc0a04708c2288b35c470dbffdb97046eee76d5e1c870616c6695179b3c5aef83da39eb125886e3645a51ad9124afe5ccc527f6de577 SHA512 e02446464e6d91f599168329238e9f51e79c0b3400864e8e2a64fff90616c2df44f490a2b3a7a3d12d9b2394397614fdf36ce52158c1ed5a5e4e85eed894b9ae -EBUILD coq-8.6.1-r1.ebuild 2007 BLAKE2B e11542ca13987c776b7dd4b181a4e369381d5b4bf16d61e2ba06b77d7c26e93295a18040ca757b02df492fb034f8852e9d340f52dbd22e7dde8cefaf60fe14f8 SHA512 b26850dc5f062a938a6974c1b49eb6f09645c75cdbac945262919be3d13c46e897d839ea063258868c6e6785cdeb31fc41152c2ffc0b412ca3b152e5ea89ffbc -EBUILD coq-8.9.1-r1.ebuild 1884 BLAKE2B d060bd67a71bbe9cfc8c73ec578ca19565f88b671f667305ffbf7a911f46de8040918848321cbebee6c7957d566638007b634a0909ff8603497ca2ef71607a7f SHA512 76d68162cfc431547f5c499d1ffa80c1446a95e2f96c414830a93d4d91ed65143eb0c8bf3b12ed27d3d1b4bd302e498ea1ebf783b37a8576c7c009d4681a83ef -MISC metadata.xml 1052 BLAKE2B c753067972f26a5be88afddf96eea063047e03aff71acc4b69a20d8b9d2b4124ac5fc8f2a84f66ff60281de288baa4c9b473738f87225db16ca4c69430174f7d SHA512 8811ecdefbfda7d1f41ecf10578b77e7c821956b0ec9267c4bdf44bb8f6adedd6b1031ca9deea0b1a8595a3dcab530c8fa07d6046fcd82d142ce510cdfdaeabb +MISC metadata.xml 938 BLAKE2B ddeb43293328ab548a13f28c10bf9c0980f88a8f3652002c85171b0e9671873f820eebf6802cc55561cfc032f067555a9d7bb249780015f1786030e6cb4e52d4 SHA512 940564ff79f4165412e85cb2eeb3bfeb86447de012c1d4d78d01c1a52bd4272a78253bd4fe2208ed2ba62cf2141758a9411c9d81a4122bb9457b7091ba3e4ae8 diff --git a/sci-mathematics/coq/coq-8.6.1-r1.ebuild b/sci-mathematics/coq/coq-8.6.1-r1.ebuild deleted file mode 100644 index 955cc400bc20..000000000000 --- a/sci-mathematics/coq/coq-8.6.1-r1.ebuild +++ /dev/null @@ -1,91 +0,0 @@ -# Copyright 1999-2019 Gentoo Authors -# Distributed under the terms of the GNU General Public License v2 - -EAPI="5" - -inherit eutils multilib - -MY_PV=${PV/_p/pl} -MY_P=${PN}-${MY_PV} - -DESCRIPTION="Proof assistant written in O'Caml" -HOMEPAGE="http://coq.inria.fr/" -SRC_URI="http://${PN}.inria.fr/distrib/V${MY_PV}/files/${MY_P}.tar.gz" - -LICENSE="LGPL-2.1" -SLOT="0" -KEYWORDS="amd64 ppc x86" -IUSE="gtk debug +ocamlopt doc camlp5" - -RDEPEND=" - >=dev-lang/ocaml-3.11.2:=[ocamlopt?] - camlp5? ( >=dev-ml/camlp5-6.02.3:=[ocamlopt?] ) - !camlp5? ( dev-ml/camlp4:= ) - gtk? ( >=dev-ml/lablgtk-2.10.1:=[sourceview,ocamlopt?] )" -DEPEND="${RDEPEND} - dev-ml/findlib - doc? ( - media-libs/netpbm[png,zlib] - virtual/latex-base - dev-tex/hevea - dev-texlive/texlive-latexrecommended - dev-texlive/texlive-pictures - dev-texlive/texlive-mathscience - dev-texlive/texlive-latexextra - )" - -S=${WORKDIR}/${MY_P} - -src_configure() { - ocaml_lib=$(ocamlc -where) - local myconf=( - -prefix /usr - -bindir /usr/bin - -libdir /usr/$(get_libdir)/coq - -mandir /usr/share/man - -emacslib /usr/share/emacs/site-lisp - -coqdocdir /usr/$(get_libdir)/coq/coqdoc - -docdir /usr/share/doc/${PF} - -configdir /etc/xdg/${PN} - -lablgtkdir ${ocaml_lib}/lablgtk2 - ) - - use debug && myconf+=( -debug ) - use doc || myconf+=( -with-doc no ) - - if use gtk; then - if use ocamlopt; then - myconf+=( -coqide opt ) - else - myconf+=( -coqide byte ) - fi - else - myconf+=( -coqide no ) - fi - - use ocamlopt || myconf+=( -byte-only ) - - if use camlp5; then - myconf+=( -usecamlp5 -camlp5dir ${ocaml_lib}/camlp5 ) - else - myconf+=( -usecamlp4 ) - fi - - export CAML_LD_LIBRARY_PATH="${S}/kernel/byterun/" - ./configure ${myconf[@]} || die "configure failed" -} - -src_compile() { - emake STRIP="true" -j1 world VERBOSE=1 -} - -src_test() { - emake STRIP="true" check VERBOSE=1 -} - -src_install() { - emake STRIP="true" COQINSTALLPREFIX="${D}" install VERBOSE=1 - dodoc README.md CREDITS CHANGES - - use gtk && make_desktop_entry "coqide" "Coq IDE" "${EPREFIX}/usr/share/coq/coq.png" -} diff --git a/sci-mathematics/coq/coq-8.9.1-r1.ebuild b/sci-mathematics/coq/coq-8.9.1-r1.ebuild deleted file mode 100644 index 5392c5dee7b0..000000000000 --- a/sci-mathematics/coq/coq-8.9.1-r1.ebuild +++ /dev/null @@ -1,86 +0,0 @@ -# Copyright 1999-2019 Gentoo Authors -# Distributed under the terms of the GNU General Public License v2 - -EAPI="7" - -inherit desktop multilib - -MY_PV=${PV/_p/pl} -MY_P=${PN}-${MY_PV} - -DESCRIPTION="Proof assistant written in O'Caml" -HOMEPAGE="http://coq.inria.fr/" -SRC_URI="https://github.com/coq/coq/archive/V${MY_PV}.tar.gz -> ${P}.tar.gz" - -LICENSE="LGPL-2.1" -SLOT="0" -KEYWORDS="~amd64 ~ppc ~x86" -IUSE="gtk debug +ocamlopt doc" - -RESTRICT=test - -# Note: RDEPEND will require dev-ml/num:= for >=dev-lang/ocaml-4.0.7 -RDEPEND=" - >=dev-lang/ocaml-4.0.5:=[ocamlopt?] - dev-ml/camlp5:=[ocamlopt?] - gtk? ( dev-ml/lablgtk:=[sourceview,ocamlopt?] )" -DEPEND="${RDEPEND} - dev-ml/findlib - doc? ( - media-libs/netpbm[png,zlib] - virtual/latex-base - dev-tex/hevea - dev-texlive/texlive-latexrecommended - dev-texlive/texlive-pictures - dev-texlive/texlive-mathscience - dev-texlive/texlive-latexextra - )" - -S=${WORKDIR}/${MY_P} - -src_configure() { - ocaml_lib=$(ocamlc -where) - local myconf=( - -prefix /usr - -bindir /usr/bin - -libdir /usr/$(get_libdir)/coq - -mandir /usr/share/man - -coqdocdir /usr/$(get_libdir)/coq/coqdoc - -docdir /usr/share/doc/${PF} - -configdir /etc/xdg/${PN} - -lablgtkdir ${ocaml_lib}/lablgtk2 - ) - - use debug && myconf+=( -debug ) - use doc || myconf+=( -with-doc no ) - - if use gtk; then - if use ocamlopt; then - myconf+=( -coqide opt ) - else - myconf+=( -coqide byte ) - fi - else - myconf+=( -coqide no ) - fi - - use ocamlopt || myconf+=( -byte-only ) - - export CAML_LD_LIBRARY_PATH="${S}/kernel/byterun/" - ./configure ${myconf[@]} || die "configure failed" -} - -src_compile() { - emake STRIP="true" -j1 world VERBOSE=1 -} - -src_test() { - emake STRIP="true" check VERBOSE=1 -} - -src_install() { - emake STRIP="true" COQINSTALLPREFIX="${D}" install VERBOSE=1 - dodoc README.md CREDITS CHANGES.md - - use gtk && make_desktop_entry "coqide" "Coq IDE" "${EPREFIX}/usr/share/coq/coq.png" -} diff --git a/sci-mathematics/coq/metadata.xml b/sci-mathematics/coq/metadata.xml index c08f4cb96842..739db8fc01fe 100644 --- a/sci-mathematics/coq/metadata.xml +++ b/sci-mathematics/coq/metadata.xml @@ -20,9 +20,6 @@ Constructions" extended by a modular development system for theories. </longdescription> - <use> - <flag name="camlp5">Build using camlp5. This is required for some plugins like Ssreflect.</flag> - </use> <upstream> <remote-id type="github">coq/coq</remote-id> </upstream> diff --git a/sci-mathematics/eclib/Manifest b/sci-mathematics/eclib/Manifest index d01837e4c2ed..6f8d86ee4aea 100644 --- a/sci-mathematics/eclib/Manifest +++ b/sci-mathematics/eclib/Manifest @@ -1,3 +1,3 @@ DIST eclib-20190909.tar.bz2 914900 BLAKE2B df57972792f96e65b25db5a2ab1063d5a8f1ad05edbed77d9ca2632ddfb4af2cb8586e572155beec09cc0c03472300d1e6fcbdda3527c36e9106006239f50600 SHA512 df829b10c353f528f2040b55d6198e3a48eba179b9a80e71794e4c6d46ee9bb13b3eccec15c7d286ec5d8252e6ba91157c2a08ac4e2da86969a4158450a41960 EBUILD eclib-20190909.ebuild 1009 BLAKE2B 78281fa5043db50b79b5462af2098f09fc36d386da6f4c0d521eeae24b2faa4fb910881000c415ccde92016dfae358b84305829b9deaff742bba79906d4b4c77 SHA512 41eb82fb56e18fe7695eaaa1a523bf0eff903ab8e0fa852f431b7ce21ddfa3f11462999f15c48bc7e4e1218b59a7ec3022674d5363c33e7861dd3d9a1cc49b26 -MISC metadata.xml 1058 BLAKE2B f78114f517aa1b21ee6bc36104f1e929b319d77c2a9373c41cfcea4a90d89ff9e0a0d512f4056b6d1c611a3dfe2f64b65117f8e3ba09dd4c3e535eab0cb76f3b SHA512 692e570681c68cd0a2285b616a792e91e341993fceac875f3e35911f04d1933b2e696c9d54d9f90c3a2f459c8365291e03c0a52c1cbf0491a3c303f9e1ba6d41 +MISC metadata.xml 1088 BLAKE2B fec21e6f44389bcd376f3a6c9ba97c54cafb40a92c0c591f7d840b5a33d663e41a8481bd16567267be2fe664964da8b14e6ccdd5fccc3c53a25a2843548f82f5 SHA512 db99aa5762f72baeb9183aaf9c3b561fd53b9fc85368af3bdc13be34e81a5540a95e175874df2dae05243902ba687d6eb609f4dd7def059dee580affd3be74c8 diff --git a/sci-mathematics/eclib/metadata.xml b/sci-mathematics/eclib/metadata.xml index 9561ac3f61e9..2c916a8d51e0 100644 --- a/sci-mathematics/eclib/metadata.xml +++ b/sci-mathematics/eclib/metadata.xml @@ -9,11 +9,11 @@ long before I moved it into ::gentoo. You don't need an ACK from me to merge his changes. --> - <maintainer type="person"> + <maintainer type="person" proxied="yes"> <email>frp.bissey@gmail.com</email> <name>François Bissey</name> </maintainer> - <maintainer type="project"> + <maintainer type="project" proxied="proxy"> <email>proxy-maint@gentoo.org</email> <name>Proxy Maintainers</name> </maintainer> diff --git a/sci-mathematics/flint/Manifest b/sci-mathematics/flint/Manifest index a44b0640b9a2..c7089d589e86 100644 --- a/sci-mathematics/flint/Manifest +++ b/sci-mathematics/flint/Manifest @@ -7,6 +7,6 @@ DIST flint-2.5.2.tar.gz 2212242 BLAKE2B 36b9b1f2acb1d79534d85884d755fddba3b8b40e DIST flint-2.6.3.tar.gz 4526340 BLAKE2B d663b44166cd857f83c2752eb4d4f6dc45eb8de535089e5dbe9939ac1464f1d69f66b62184644fff1ecd1d171f389d5ab874873def670c702733a0eba17bfd13 SHA512 8e71570364c789b1d4eaaa5f5adf10212cab47bf1a9f45c333211035ed021a86bb7b1de1feec51e83b2e113e8168853e370f127d2d2b1e941a12aec71fe8ae9e DIST flint-2.7.1.tar.gz 4945081 BLAKE2B 9dcc4b0062be08778cd8ada1794a73237ea091a7bff4a4673aa59eac9b414ed90e0291b9547bdf72aa30e48da11f98ff983267ea2e3dd1d75fcec00b24c86ca9 SHA512 abea97228e91089d82a9a44714e719064bef261c45f5f5b24700955bb841cc98a8182e04e6054fcbcaa3bd92f2f95a82bd5d168ec2171af6a58d4f71eb0a479a EBUILD flint-2.5.2-r1.ebuild 1714 BLAKE2B e1e6770c375f95ac1bb5d4284ffc205ba4a95d9933799718862ab31a12c87c3da9ed0c46509b808856a3663eef1d4bbd0c7334d9b1f76a192d66e196a2eb1683 SHA512 4ee441362d871807a93a9e9ab8d5a4d261f1c87ae0802525a780855ceb93666f3ca721a0fcbfc7d341522a0c8d81e3b28765ba6a1246a3535881e35e20ec24dd -EBUILD flint-2.6.3.ebuild 1153 BLAKE2B 2d89268008730477c5920f57a43c1ccf98988b9ba344b34238f07dd9a4f0411cbfe4082fc0156a0d29b6f37e61ef091f7c069b1c38682985b4ab17f5b13d8320 SHA512 b7eef769ffe2ff3d43870ac9cbb2fda880e278b1e5526136cfc1550a2ee76f67fb6271a2ac9df4c63db8fc044094446d0f2a357bf59cfcec36dceab675210aa4 +EBUILD flint-2.6.3-r1.ebuild 1170 BLAKE2B 48d562711cbc2dc0fb758b9f24679a9529e912ccf0008fbeb46d639f099798f69189266e2bda1a6b4c7337dd6dbd82f6fddd9db6a4b1cf7639c4e0d1b5ae3372 SHA512 891e482a3182179ffad15aeced9d8232c8b85b8ff399c3f396c7c36a053746a9e5cdbfb7633d60aa0f6935f41434f1001eb19445ea9dbd9740b8d5a1a901998e EBUILD flint-2.7.1.ebuild 1319 BLAKE2B 0e271b4fd9653f99dd6943f68cf8b994659aa48475f09030121b3effa0b049f9b2fd63151af61c0c683215e068beb202bb81cd6b12163744d3605c3692ab81b4 SHA512 91855546b21c7ab90ac22f1923524e964fc1ba6b1485274ad2219c8ce09ced3ef32618dab426874d62253e9652d6312968dbff2521d94286eb87199f50b7dd7f -MISC metadata.xml 822 BLAKE2B b18146ba57c33f056943afee0473c917bea562fc970294aa7b09228f56aca29c8df1a59d4b706139397e61ace23de7cdad48856d71a433e15412a9e18e1276d3 SHA512 62c12622e265f00206c60a97c6ff53491c62c80acccb339f57e837741995c6452802395476dd19b8a73170dcf66ffce6795553471379a5113d8330786b123a14 +MISC metadata.xml 852 BLAKE2B 9d4e42cbf30d12f45eee522daebfa264095ecc7da2a031a0c7676066f2dadb18e71d7c53fd1f5c7220c78276029532999e44ccacad31903fb174ce2bf36ae3d0 SHA512 f05df1daaf10afa63535a1db4bf5a75185e9523aced9329d90df59e5ca5d1eeee23b30dfe3fab6a11bdcc95b1b5e9a8b1012a19457c66e3dccbdab5a6e303e4d diff --git a/sci-mathematics/flint/flint-2.6.3.ebuild b/sci-mathematics/flint/flint-2.6.3-r1.ebuild index 2f2cf0fd1522..dcf4d4d0e5ab 100644 --- a/sci-mathematics/flint/flint-2.6.3.ebuild +++ b/sci-mathematics/flint/flint-2.6.3-r1.ebuild @@ -22,6 +22,7 @@ BDEPEND="doc? ( app-text/texlive-core dev-texlive/texlive-latex dev-texlive/texlive-latexextra + dev-tex/latexmk ) ${PYTHON_DEPS}" DEPEND="dev-libs/gmp:= diff --git a/sci-mathematics/flint/metadata.xml b/sci-mathematics/flint/metadata.xml index d07a5a09b6d3..d7a6c834fe0c 100644 --- a/sci-mathematics/flint/metadata.xml +++ b/sci-mathematics/flint/metadata.xml @@ -10,11 +10,11 @@ <email>mjo@gentoo.org</email> </maintainer> - <maintainer type="person"> + <maintainer type="person" proxied="yes"> <email>frp.bissey@gmail.com</email> <name>François Bissey</name> </maintainer> - <maintainer type="project"> + <maintainer type="project" proxied="proxy"> <email>proxy-maint@gentoo.org</email> <name>Proxy Maintainers</name> </maintainer> diff --git a/sci-mathematics/flintqs/Manifest b/sci-mathematics/flintqs/Manifest index bdc7999806fe..a851a7df8483 100644 --- a/sci-mathematics/flintqs/Manifest +++ b/sci-mathematics/flintqs/Manifest @@ -1,3 +1,3 @@ DIST flintqs-1.0.tar.gz 151535 BLAKE2B c05761767af65ed5e5c42e75640c0736a26de76126907a91914083791ce0fa3659fb6f9fcdddb0b7aaaf2200010d826a18e7fcbdad0ffc6f861d4bcd941caabb SHA512 8391bb13bcc91f4ea68c972f0f6eaf9aa37bedc4c8694d039a21fd5153b203d561364ae545478d34013001354c4e8a013b2e5a5cb947b6e7f453c6f0f392f8be EBUILD flintqs-1.0.ebuild 1007 BLAKE2B 75c14059653e39e414e401bba190c21a2fc9753ac5df5a7607ec8d3b3128fde11b1cf7e8b6548fcf1415281c2061cd6e255a76dc09915f7988323639049fc38d SHA512 d52bad62cee3d11afdc12ede64a478bc94e7c6341b4912f5cfe86ae91f3d03055bc53c3ccc9662f846ac2a12be45630e75155104279b69f3b5e73113a1bfe7d7 -MISC metadata.xml 736 BLAKE2B 553a7c524f86f30ba868d5e0db2fe5d1b4c501a5be3041fd7cccdb50e5945ecf794dde68c058ff88a1ed918d9466636d723e117e1c073665c20d5330a3e2ad4c SHA512 5ca499866911f12338a1303be4d037b60a62e257e77856349accff7d002c5fef5f6b1f74e6558392e1ed265413440f237a6775a57ec9a57429ce480fea6f838d +MISC metadata.xml 766 BLAKE2B cac3824f6b85428c678ff0780e3d6db428d11fdc3dcf26258c28c94bdb40ed895a93d465e2d472a059c7e2652a617a011b2afa19f63d2610cc4a4fb2c9725276 SHA512 9806b8567eecd6af1f139b6e0b74ffd0ad1eb1ffb790ba3f40f5f63c7b825da7221ce593ced4b3ddca5dd4a97b3ca06e41a00e8ee01f041305a96032b1becd75 diff --git a/sci-mathematics/flintqs/metadata.xml b/sci-mathematics/flintqs/metadata.xml index 5fa38751016e..a02d10ed6a5c 100644 --- a/sci-mathematics/flintqs/metadata.xml +++ b/sci-mathematics/flintqs/metadata.xml @@ -9,11 +9,11 @@ long before I moved it into ::gentoo. You don't need an ACK from me to merge his changes. --> - <maintainer type="person"> + <maintainer type="person" proxied="yes"> <email>frp.bissey@gmail.com</email> <name>François Bissey</name> </maintainer> - <maintainer type="project"> + <maintainer type="project" proxied="proxy"> <email>proxy-maint@gentoo.org</email> <name>Proxy Maintainers</name> </maintainer> diff --git a/sci-mathematics/gimps/Manifest b/sci-mathematics/gimps/Manifest index b6fb53bd9471..446abde1c298 100644 --- a/sci-mathematics/gimps/Manifest +++ b/sci-mathematics/gimps/Manifest @@ -5,7 +5,8 @@ AUX gimps.service 283 BLAKE2B db6c0c777d514aa0216c1af087418ead25561ffa950752e237 AUX gimps.tmpfiles 38 BLAKE2B c306d739ed0a0cc8bb4c80c7051ad93326cf0054d3f7fd61c4ed8a7d518356d521f7d3c3202d0b8b69723b8e7178457a34c65e92732eb15e8e64c3dff468ae2a SHA512 61c5eda13289175cdf55704442ceab4d5391d24cfa49f04155799fc2798e5ad5f1e624802e1c04b99685b1560f9898d1b0fc0c15c82251d1a765dd5de93024d8 DIST p95v303b6.linux32.tar.gz 5702312 BLAKE2B 728c8b8e7e2b5187dc8126bccc5e2c165fbfbc0900d6c35517cd21b78e5292df143641e3766cc0146918062039b1eecab568f9b278f64b1b9197ee2f775603b9 SHA512 3e06fb77be07334949ece3ae152bdf5491f0b7f8e33e0e8ed2af3c34332841975a9514d1993ed2355abfa4e09f93e42093d02f96dc30c3471ae9f974cc2de11a DIST p95v303b6.linux64.tar.gz 7046127 BLAKE2B 9cde9c2670203071cfc463434a47c8123064cb232bfeb25d8767cad2c25ea75b395e2ec135b7b4a6dc9616e9d6b05ead371e1083274a82468f62a0e1de93c98f SHA512 6d6ded9a1724993d42adee28d400b0337835c52a4ce42271e62efb37134adfc6f017f55475860fbc1224e377a227ef8547b8852a35c082c37e996f4a1c1b570c -DIST p95v304b9.linux64.tar.gz 7163658 BLAKE2B 3958437d31e39bc18248deeed29aa425ab7fd23c963b7eb9cc00524dbf272acbfb96b03d7ed83547501b7e8b7795b9e0e4d413e9a311b014c2202c328ea12a23 SHA512 f9517088af31ffb5f0ee931ba0027fbddfa5598f72de39aae78cbdb43368ca605444e31c9ef297d08ae85d7a8540dd25eb26015f288c3777e36fa9c04eb179e2 +DIST p95v305b1.linux32.tar.gz 5695975 BLAKE2B d2ab3724cf8743292533a7cb5c73b2fc6743c6e11507f92218b6b65f39e78c2f61147a6898d0a77fef590a0c989aa6f17d1984a6e4801594fbe4c3a7484d1750 SHA512 74e2592c1f3c4bb45cc076e35cd70d5c295d613ab142feb1c18138ea8816c21c56f5531c4938c49706bbb66f30ad84c5dd2f76f2184e1a1ea0de7423e941df52 +DIST p95v305b1.linux64.tar.gz 7166108 BLAKE2B 60880e36ed618ad94aacd0f89811b72137fd27e99dff33b02286ea0f4778bce320c9b8da7b470fa491ea2e333f03d9d2994c2ea1513289acfc2f5b63695509fd SHA512 c38416b83850104d8d78191a4591fbef1bd356f8804725ccfdd7ebe065bc05ed86c09a128ac7824f809242712d60a1eb7ecb200358c1cde37fc4b7c13b82006f EBUILD gimps-30.3.6.ebuild 1808 BLAKE2B 3483a73734d0b0008c992a946d36558f1e8ac93872a46bf80d79bb21ae65720c5614df1e1380fb15c2db2537559bc1969fc90dba0614afef1c2f8a6419ea996d SHA512 0dd32cf22373ec922a2716afc7f60ed5af2b0f76ba8f91b94eef891b1137b1dc597f0aca3609f76cb56b3f90b973953decd946d37e02cb6a1db1df1fd81c55a4 -EBUILD gimps-30.4.9.ebuild 1798 BLAKE2B b90eb57316e3cb619ecc84ea1e8a86e0f5ff1ca57f99a1a6bf7b603b3ce555335e5b13792b42347340bcc09c40e5f15ebd957e4c6b534f2dd2742c22330a61a4 SHA512 e9c7147cd7b9488273406c3f2085e34650e961cd29ac8f1f2314a6828edcaa9e2f70600b33aa3186f34f0d4acd21b62f440ebdfda79a4a6e713fd39b4104c88d -MISC metadata.xml 529 BLAKE2B a6e3550d128d6c4801029726feb868aa1cd1017b8a2f6f7ebbb3743a7b2190d40db06d22eb4f8ce94e35ab5e6b1f213afdf179fe7777501ad87457be43d9af44 SHA512 a7fb9bd05f987e1d48a04b70e78cbb3906927197793870435fee8b68dd9da623a68fc30ca96d0173952414d9741674ba2cc2c3f821dfd7b302f91f09e887a362 +EBUILD gimps-30.5.1.ebuild 1884 BLAKE2B ab8a5f9fec9a8cef6bdd4284364201fd29bb7a25070170f4de072e18be7749a7e0406a37f8a5321cbeb5709f1cfb2f1d4d655914d0032d9ee2ec67c59d720b62 SHA512 d2f7e56482733997dc72872e83e0b64a47d15ff1985b61bde6be2aec8c3543a97638d625125e4b30ec4a057e748f3fb422fc06c0c8d25c22a74a221bb675fcc9 +MISC metadata.xml 559 BLAKE2B ab97b02069d576618a0055447960e4831ee40c80dea70657b50e7cd729cdefb00ea0fe1d66e402470e7a1b29e1cda6db37f6c52c923ca0f31bd1056a72bc6e88 SHA512 4e0a74efc9add574ccdb07bc011ccb6b111f1b2182ba2d83c9528d0b6c5ee9d663fd6f50ac8a789888c59be5a4579c5a27bbdbf0b84970a6b4178ba53da834b0 diff --git a/sci-mathematics/gimps/gimps-30.4.9.ebuild b/sci-mathematics/gimps/gimps-30.5.1.ebuild index 59980c5dd0c3..7a7160c336ab 100644 --- a/sci-mathematics/gimps/gimps-30.4.9.ebuild +++ b/sci-mathematics/gimps/gimps-30.5.1.ebuild @@ -16,12 +16,13 @@ MY_PV=$(ver_rs 2 'b' ) SRC_URI=" amd64? ( https://www.mersenne.org/ftp_root/gimps/p95v${MY_PV/./}.linux64.tar.gz ) + x86? ( https://www.mersenne.org/ftp_root/gimps/p95v${MY_PV/./}.linux32.tar.gz ) " SLOT="0" LICENSE="GIMPS" RESTRICT="mirror bindist" -KEYWORDS="-* ~amd64" +KEYWORDS="-* ~amd64 ~x86" # Since there are no statically linked binaries for this version of mprime, # and no static binaries for amd64 in general, we use the dynamically linked diff --git a/sci-mathematics/gimps/metadata.xml b/sci-mathematics/gimps/metadata.xml index 8b56e92728c6..c7c8eb306208 100644 --- a/sci-mathematics/gimps/metadata.xml +++ b/sci-mathematics/gimps/metadata.xml @@ -1,7 +1,7 @@ <?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> - <maintainer type="person"> + <maintainer type="person" proxied="yes"> <email>paolo.pedroni@iol.it</email> <name>Paolo Pedroni</name> </maintainer> @@ -9,7 +9,7 @@ <email>sci-mathematics@gentoo.org</email> <name>Gentoo Mathematics Project</name> </maintainer> - <maintainer type="project"> + <maintainer type="project" proxied="proxy"> <email>proxy-maint@gentoo.org</email> <name>Gentoo Proxy Maintainers Project</name> </maintainer> diff --git a/sci-mathematics/glpk/Manifest b/sci-mathematics/glpk/Manifest index 8539aef7b142..60f3ff4beb61 100644 --- a/sci-mathematics/glpk/Manifest +++ b/sci-mathematics/glpk/Manifest @@ -5,4 +5,4 @@ DIST glpk-4.65.tar.gz 4167110 BLAKE2B 4ccb5cd8301bdca2ccdecfc1648642afe26ff0a1ee DIST glpk-5.0.tar.gz 4132649 BLAKE2B f8204f66a97af950c13ee72ee9541f305745741d1231325670ede14663cb6c28ec6fbc44b3625973f1924ca078183d1d43f494ad43a7b48b45be131882b00001 SHA512 4e92195fa058c707146f2690f3a38b46c33add948c852f67659ca005a6aa980bbf97be96528b0f8391690facb880ac2126cd60198c6c175e7f3f06cca7e29f9d EBUILD glpk-4.65.ebuild 1821 BLAKE2B 47fa4cb29950a15f1293571e82a5780b64d486b5cb3fef2ff7f1cf948122282bba52dc123287eb8e6e12e9d3bf48f4addd1063d92f9d0e3372141a5adba82f98 SHA512 159df1be098e9fee4297e150a7656ff1b129145fe7aa744fb6627863ce2628077cde4e5442dd7266f4abfc342303872e50d7c69d19d1c5758fa2cb922f2fab35 EBUILD glpk-5.0.ebuild 1777 BLAKE2B fd7ba55232ce43c35629ceec7e94ec1d4341011645413ece49a2b14d3ba7a2b33bc1deaab856dc5f4a26c3a52d8c0aa5506616d97381aa5ae542e5d843b034b4 SHA512 1aa39abacb43a26277fd782078cdece8e95d56144432679adb66fb0ed09e26a9d0419043cd504d2b25b65876028523a304ca63239cee1cd9365aadd8c77977eb -MISC metadata.xml 998 BLAKE2B 11afba9ccdd6a53cee9432201eee2ae03483da71212f1c7f9907a775e6c2fcce068648fdae87965dab7550c9157c86697802707b582589626cf48e4236aa56e0 SHA512 1ef83c282b3a6143a1e85a1ecdc55463cf5617409dc990806917077c30e4acd2663b2772bf47aa96c572ee78dab76467c10b4ae9a2705220aa6e8e4936c4f7b5 +MISC metadata.xml 1028 BLAKE2B 01e42a8b9c7ec521837e6a21d212ce7c747d47fcdaa47b58ac0bf411c158155caefc316f71f2f495244f559cb77de428954d293efde12cbd4418c9dfad3893a9 SHA512 1c7e827666da76204db3894e0d5bdc7ba253152935fe214445ada4f1d6876cff44b3092fc736c8da9fb915d80479a600175e579e71cfcd817e5e52065ae6446c diff --git a/sci-mathematics/glpk/metadata.xml b/sci-mathematics/glpk/metadata.xml index eef02da51bb6..68a619faa3d8 100644 --- a/sci-mathematics/glpk/metadata.xml +++ b/sci-mathematics/glpk/metadata.xml @@ -7,11 +7,11 @@ <maintainer type="person"> <email>mjo@gentoo.org</email> </maintainer> - <maintainer type="person"> + <maintainer type="person" proxied="yes"> <email>frp.bissey@gmail.com</email> <name>François Bissey</name> </maintainer> - <maintainer type="project"> + <maintainer type="project" proxied="proxy"> <email>proxy-maint@gentoo.org</email> <name>Proxy Maintainers</name> </maintainer> diff --git a/sci-mathematics/gp2c/Manifest b/sci-mathematics/gp2c/Manifest index 59fedfe753d6..8db038dc58c4 100644 --- a/sci-mathematics/gp2c/Manifest +++ b/sci-mathematics/gp2c/Manifest @@ -2,4 +2,4 @@ DIST gp2c-0.0.11pl3.tar.gz 854003 BLAKE2B 478307b9fa56b8e58a66001bbeac3ce6193a44 DIST gp2c-0.0.12.tar.gz 872289 BLAKE2B c72f092a0a8e335e68d14f00970bd4794d883194718dd89cae760e06b5b89bd1b1959389d422b086f7862870e212662fc736f1f6720a389b9484ff360d9b8293 SHA512 9dd13c37e7ba36d75614249b6a2ff62350b5c02ba519b2c5d2dc49c36e9b6672134902b5f2e6b23f42fd4ff2069bdd12bd4694f324ddf814296bf8cbe5f10cdd EBUILD gp2c-0.0.11.3.ebuild 742 BLAKE2B a2bb2f3dd06891f6de3820ad1be89cc20da360baca17a9d50799d53fa29b4d970dc71e1040b34d20dcdc400f7d713e48cd11572b208ea9957f059d035f862632 SHA512 687f09f327280375420ba5bbe3c97a6ded1beda67d7c81754a6b4d96b97ea460b4f770365da76a446f1a230f8ca9e13dc67909e954e6e4d874e01b3d963538e1 EBUILD gp2c-0.0.12.ebuild 745 BLAKE2B 56aa38e97ee34eb01abd5c848e40452f0a5788633a451a9d77fc9556c6ea9cb7653187b14991c1371ec5ccab778fa3a45ec598ddeb9b478b14c0b53e69f84479 SHA512 2f3e38c74ef3aa409de6277155ee036ec5690d1c89b709285057c1d508fd573e26868bfcc4960f2bb5421f34320027fb8c480bea096a14fe395cd8dc7d077a1d -MISC metadata.xml 886 BLAKE2B b4dfcb3e2de5064a3a537c6598814f7ec47a7db0a9bfefcc4cba78c373ed97d0ffa08fdd2ccbf049b28900c84afe8f594d7562fe35ad7c9a0ad59f2d63d9988d SHA512 71cf581ae9463fd7f4bb8eea880a940251571b076ec008d6ae2625c8158fb2562b8f4944e7092b05ba264b0bdb31ad31d4be2392ce8c1c82ff0452b513cf8ddc +MISC metadata.xml 916 BLAKE2B f528cf5926f0e9f1dd9862333f2319b62eca89872d36c7a7ea3f1340514696892ec8ee4411ee22b1a731fb914a5c890de78c3861f98295acc997a08f85caa90e SHA512 228d5460e39809e0195176822a102fef3f5c4b2e393c9a4adae57178586fd0d77b275ff2dec3870347a43831d4860a57ea868eb4492442a5781c32e691968dcf diff --git a/sci-mathematics/gp2c/metadata.xml b/sci-mathematics/gp2c/metadata.xml index 41fcade95d92..7628863eaec6 100644 --- a/sci-mathematics/gp2c/metadata.xml +++ b/sci-mathematics/gp2c/metadata.xml @@ -9,11 +9,11 @@ long before I moved it into ::gentoo. You don't need an ACK from me to merge his changes. --> - <maintainer type="person"> + <maintainer type="person" proxied="yes"> <email>frp.bissey@gmail.com</email> <name>François Bissey</name> </maintainer> - <maintainer type="project"> + <maintainer type="project" proxied="proxy"> <email>proxy-maint@gentoo.org</email> <name>Proxy Maintainers</name> </maintainer> diff --git a/sci-mathematics/lrcalc/Manifest b/sci-mathematics/lrcalc/Manifest index e12cfc825d1b..73c90b504d87 100644 --- a/sci-mathematics/lrcalc/Manifest +++ b/sci-mathematics/lrcalc/Manifest @@ -3,4 +3,4 @@ DIST lrcalc-1.2.tar.gz 363120 BLAKE2B d3f652abfe38e81331dcbac7068d087b198445bf02 DIST lrcalc-2.0.tar.gz 420728 BLAKE2B 4d14276cf04cb1655d74bf9b85e12379034f43232db9b1a77db8ca4a508e5b490845fe44f4cfd533990bc567e51e817ca82aa917fce40517b8c8c9fc7dd2b4d3 SHA512 9224d1be971f53c0428f6f9a25850a892596175a6b5d6ca90b06abed00a72998b54fdfcd2be62318af142595f752b3a9ccc2efc1816ba7ce3ae59ecb43c49f81 EBUILD lrcalc-1.2.ebuild 592 BLAKE2B faf95fcf9ad635380d47df7f691346cf7507fa858b4ed608071b9e50007bf271905e2fd7bbbf8dc73e203f0bcb8f0474ad8836268e7fb3f8bd80d7cbb02669dc SHA512 256609e7771b5fa1125d464de13631b6b0244ad1f6a55614f9a436dfe35dfd8344160202db02b4ebb99b299ad4773d8b7c5147097f981cf6728b431cd7d721e8 EBUILD lrcalc-2.0.ebuild 542 BLAKE2B 6d0391e8749c80a7de030593ebc68241114b03258f3175ffcae437167b8ba009c7141d69595b73b1126ef94a8b9acc3a6589b9f582d98496ed971b6fe7837915 SHA512 a079da9b2c0ac7d184cb34f7370a32dd5bdc62e1ca6a9f20c955baf0d6a1b21185bf2afa9c5d1e2ff40f03fd8dd513f8f00923a25394c0b23c668f6982139c7a -MISC metadata.xml 834 BLAKE2B d230c80d9552789e93a2f2cc9e1a8eac968d4762ceeba6103f92676cb709d45bf39b2b6820e889d11ad30c60493aec84076d8ee3f5f038640038655f3e2c5a07 SHA512 f54cc63235625646117f0d569fb69c3b3b66b5508fb65a65a3fb92811ff44f72df7546d44728f5882d2db9b70520036ccfda05cb58d9cf9dd3164132dbebbc57 +MISC metadata.xml 864 BLAKE2B 0049b519d970b5aa4123fec3e5b6af9da855b735cf593282426fb8ab758efef4ba2c05b7e85be3b0c085438a11ff1fa308d0b3ebad514e485239bb6190800970 SHA512 59bd0291a2cfcf89585c85a9bfa74e089ba814ed4ae2d23728a21af7aca8309adb6419717e6d8d323966a84ce6563dc60058271f9ef90456a1e40539da9c6cd2 diff --git a/sci-mathematics/lrcalc/metadata.xml b/sci-mathematics/lrcalc/metadata.xml index c070753f1162..024b3426fe17 100644 --- a/sci-mathematics/lrcalc/metadata.xml +++ b/sci-mathematics/lrcalc/metadata.xml @@ -9,11 +9,11 @@ long before I moved it into ::gentoo. You don't need an ACK from me to merge his changes. --> - <maintainer type="person"> + <maintainer type="person" proxied="yes"> <email>frp.bissey@gmail.com</email> <name>François Bissey</name> </maintainer> - <maintainer type="project"> + <maintainer type="project" proxied="proxy"> <email>proxy-maint@gentoo.org</email> <name>Proxy Maintainers</name> </maintainer> diff --git a/sci-mathematics/metadata.xml b/sci-mathematics/metadata.xml index 1eb658e8e1cc..2fa3d175eaae 100644 --- a/sci-mathematics/metadata.xml +++ b/sci-mathematics/metadata.xml @@ -34,4 +34,3 @@ matematyką. </longdescription> </catmetadata> - diff --git a/sci-mathematics/normaliz/Manifest b/sci-mathematics/normaliz/Manifest index 8347417e56d5..701ce1e222be 100644 --- a/sci-mathematics/normaliz/Manifest +++ b/sci-mathematics/normaliz/Manifest @@ -2,4 +2,4 @@ DIST normaliz-3.1.3.tar.gz 3075453 BLAKE2B 0860b466dfa5335a58a496c21f7567e7e4682 DIST normaliz-3.3.0.tar.gz 4243027 BLAKE2B 4785c47a2d815518e98b012dcbfe3cb70aac0ea8e06ad8f15ad6ba73120589e24f82050c25368775299974a43fce42052ffdf49379cd2b14ef4e415f6bb2d8f9 SHA512 3e09be1a265746c2cedf24c6a38de2f3801a906a66a0fa73a98b05916a5e6f412d84f5e38276781b5d99ff779a2db3fc420acdadd036e9822cae41b2ed539be5 EBUILD normaliz-3.1.3.ebuild 1659 BLAKE2B d50183eef102f41a0db131c387a4a03aa0cf85fc4b076bbafa07969a63d331e0ef71205f3683e174a3b78f4d4bb8b8cd529423a4fba4669670818f7a99b6b2a8 SHA512 01a49bb35e3aa5fec13193d67244396e31e295e3904f4c1e3dbd96ce78a4c6c3aef05d35d3e305b4b055accee30d8cfa67d1fcfbc3c564e64f9493a67ef01880 EBUILD normaliz-3.3.0.ebuild 1179 BLAKE2B 6171fe91431d006f3db01d4abd2ec3a1957b737101626c1ad247f887c7640e27eff9fd2afb538ae5375d3fb69e9f39c9bf77cdfd79bd20be29fe8e4b37fb1e60 SHA512 cf4d08b810de4167e834aa8f0bf6b2cdd0c478b255f797041f3b82753f69d7aee7f1da4e0f7a7457de89dcb7993a4ab51f7163e6a2fdef70281607a3c42f870b -MISC metadata.xml 694 BLAKE2B bd87919779ac6083ddaf3f566708eb47baba2a2634e1af1e7c1fbcffef40960cf81c246b979bd800235cbb45707f33fcbbdabba59a0fdde192cc90aaf6e61ff7 SHA512 16995494ba6c269d6a8a437623196d29be82a5edcb9f00218f032deb0198e78061c765e7ac49883a051039a9ffcbe7107a1fc641c380dea3bc8d4df1ce11cc30 +MISC metadata.xml 694 BLAKE2B d14ea00cecc15244599561d12a957d298904851ca82ebfd728696344e5252cd42c05b6f1c06fa6b85ec70a9b4f75b188164fc4a87dbf2bf3e4d4151dd232c5de SHA512 f6407f218dead7d90fa4dde54fd4c77f075c2ad544371c1556e052fd719e58aec5c380dd6c9fc542ad581ab46609011e11ff255f41c06a7189ad83670d44f9fe diff --git a/sci-mathematics/normaliz/metadata.xml b/sci-mathematics/normaliz/metadata.xml index 6850002611f6..f2da9c77a667 100644 --- a/sci-mathematics/normaliz/metadata.xml +++ b/sci-mathematics/normaliz/metadata.xml @@ -1,4 +1,4 @@ -<?xml version='1.0' encoding='UTF-8'?> +<?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> <maintainer type="project"> diff --git a/sci-mathematics/pari/Manifest b/sci-mathematics/pari/Manifest index 67c6766fb24c..645074acb29b 100644 --- a/sci-mathematics/pari/Manifest +++ b/sci-mathematics/pari/Manifest @@ -8,4 +8,4 @@ DIST pari-2.11.4.tar.gz 4445000 BLAKE2B e910783186eeb71e74a369681c113b77271abd7f DIST pari-2.13.0.tar.gz 4758091 BLAKE2B 21a008fbca9af60c7298daf2db5c596cf881fbf4748899f417e317b2e2c0a951d152ffdab061a5f7da73db65345134a90d91e57069d9f0d0ac6eb2ad470a7a98 SHA512 671bed101be0ba0eef2c4aa4d9580477f2492f2cd354f04773df00c2fa1456d1d6d8e568d617675dc4adce3e6d1f8cbaafae45452891ceb10eba60cd669b529f EBUILD pari-2.11.4.ebuild 3294 BLAKE2B 8656b6ec3b21763250c075f024c27786756a693c4ba365aa216547134734f91103c5ad38a03cf1ee0ee34c6564823d3f8deb2f75b1c3dd35aed1bf33ced1ee2b SHA512 fcc513c16a48d2d8cdc4b47f7f5d8799fe59b03fe593379b8c4b5f4ab60d9d5d6f6bd75de09cfccbd5a04783b36ef7ad93ccbfd0c8a57d0cca29ceb69db4cb07 EBUILD pari-2.13.0.ebuild 3391 BLAKE2B 98ea133d0afa58bf2a2327d139a73567900fc52d93b98f579e34df1a879157f9559fcf2f4885401b9b50cc7555910b7dcdff9801e62650a5097de3d805e2570e SHA512 74235c32b2eb4731d62f603427aa1c031f8205a765173ae4814973b204c2a17ce343eaae4df912880497def8af75096d8cfbf7f9f9e853969819f6248aa863d2 -MISC metadata.xml 1734 BLAKE2B ffb61a9e3818ed778cd30e0b41279413fec1e624aef0c490e71f501b9797703bbd24413b180b588896d6d74af988e6102f58a04fc1c645f2b876ac2731a399c1 SHA512 b5caa3c3b98405d89681fb25c97dabb3302e971c68fda94e337b10dfc14761963ea548b4689ccb4ac59661425a85a53ea0d424b6acb35a475f42ef145ce9060e +MISC metadata.xml 1764 BLAKE2B 8c5ad974148c99e21c30630ef1866a3ca7d34c87c214973c4025977130393a055de729bba4fda75d5e2ee288f439b1fc71e44bd3b68d09255f2ed3c81909f6fe SHA512 752c757e7b38995d44af25595da8626e773cb6083a0f9aafe7f3b6af1203b7da743b04b51bbc3f023e5e09c0620fe64fec1d44da7d84c88c4ef4619cbe347565 diff --git a/sci-mathematics/pari/metadata.xml b/sci-mathematics/pari/metadata.xml index d5bd7510bbd4..07a2565cf2d3 100644 --- a/sci-mathematics/pari/metadata.xml +++ b/sci-mathematics/pari/metadata.xml @@ -9,11 +9,11 @@ long before I moved it into ::gentoo. You don't need an ACK from me to merge his changes. --> - <maintainer type="person"> + <maintainer type="person" proxied="yes"> <email>frp.bissey@gmail.com</email> <name>François Bissey</name> </maintainer> - <maintainer type="project"> + <maintainer type="project" proxied="proxy"> <email>proxy-maint@gentoo.org</email> <name>Proxy Maintainers</name> </maintainer> diff --git a/sci-mathematics/planarity/Manifest b/sci-mathematics/planarity/Manifest index 664e7a5cd236..b1f2a5a7ac7a 100644 --- a/sci-mathematics/planarity/Manifest +++ b/sci-mathematics/planarity/Manifest @@ -1,4 +1,4 @@ AUX planarity-3.0.0.5-extern.patch 591 BLAKE2B e8c6c75fdb587f10d38023daec5806ae0930dd4c4be1a74fa11fdd2d837a5b5904948a01601702a5de160725dd60214e0de2aa014f20e41dc957e0c4b24f36f4 SHA512 6fb06c58f853ddaa2fe308a8104db4fee1d6021f4ece9f3f6438ba667e65167f248ac6b3b674e997380f2c874447deda1b7be6dbec2f2c66c188ae5cc8c09bc1 DIST planarity-3.0.0.5.tar.gz 492644 BLAKE2B d183bc07cab7246b62cc7340956206e3f6c5999aa92b223e7665ebd8ae1bc0c354011c078ea4f42d2e45efa2ae5e83e082e4c8d80e3391a4f20be1020ebf8188 SHA512 dfeb7e024e1f5758e5abbd854c4ca963b4f5d45433b2c5eb00ce85c154b5407ebccd1ace0db167488dee757db2c23367101a2aa568941a3664bac9058ea24328 EBUILD planarity-3.0.0.5.ebuild 965 BLAKE2B 22f69cf8ce923ef032264bfe35c95ef969b2e6efa0d59214d9e4c7b7a2305e9f4b02543ae6f76c3301d2efe591caf8755be99d6f2377e90b6a7b634b8667846b SHA512 0d61d50250dc39bef0013e9a1e9b838afd0c9edc166d6e419dc6932b50475ebaf2262cd8afaace8e0fe081aa621e4eff3b476bd3b4c14f8c2a9ca9aec1492cef -MISC metadata.xml 778 BLAKE2B f20aefc29faa94ac4305f4e63a1732ea4f8a6de80bc5289909f215558e8a662bd91b9a7dac87f60c05d2468f1effb7cfa725dd3be27a8594a0cf4a9a2a2b5ff0 SHA512 f4ee0f9f009eb40865f7fb2f849442ad2201f67a494574c40e94c1cc82ef56cd744fdbe5e5b41dddfdf3914ae7f6835bdc008d1a970a65211fb2971905cc0405 +MISC metadata.xml 808 BLAKE2B a7d1440f9b42358a4550ed751fd52daeba5dd83a694051bbc283de4925e1eacb8a4908a721cb04df2ff29f8c53ee5ca7f6c45850e3d41fec670724b956024627 SHA512 5cb5e8abe1447ac578a1ae0353f3e10bea3d4a0393ce61a99c1fa35b2bcb3b03e6c807d8ecf0fb6f25245db645e5054bd2b273a6d36a5018fd980862f3d20611 diff --git a/sci-mathematics/planarity/metadata.xml b/sci-mathematics/planarity/metadata.xml index d6f3a10ad530..45c9dbdd769e 100644 --- a/sci-mathematics/planarity/metadata.xml +++ b/sci-mathematics/planarity/metadata.xml @@ -9,11 +9,11 @@ long before I moved it into ::gentoo. You don't need an ACK from me to merge his changes. --> - <maintainer type="person"> + <maintainer type="person" proxied="yes"> <email>frp.bissey@gmail.com</email> <name>François Bissey</name> </maintainer> - <maintainer type="project"> + <maintainer type="project" proxied="proxy"> <email>proxy-maint@gentoo.org</email> <name>Proxy Maintainers</name> </maintainer> diff --git a/sci-mathematics/relational/Manifest b/sci-mathematics/relational/Manifest index 8e8caaf5ee3b..600584f00ad4 100644 --- a/sci-mathematics/relational/Manifest +++ b/sci-mathematics/relational/Manifest @@ -1,4 +1,4 @@ AUX relational-2.5-no-qtwebkit.patch 3307 BLAKE2B d0a1c4aa6261e5f52017b73e6d3ab8d689d328cca2ce9af1af3ee916edd52f99a6f5782b5a5abc723589d8b11ab04c088e0d80a89306a105da55eb59941d6c78 SHA512 9ac91976ec18b87647767f6cff525fa32c0e35749a04ed9d280016ee3b0346f12fd341b22e36a8fa97650058c12b858dbbcdd0c3c1964f554342bc8ef6d059c2 DIST relational_2.5.orig.tar.gz 118776 BLAKE2B bec1a8c1a3c7973b9200f9a61e65aa144998558a9798e1e869d970ba15d2f7970be8dad865cfa779f05ee535638011851534a3be0c354d216eb35f38f135cb4d SHA512 588e35a57cf915e544d62749b76ed81927ac06fd88271f0d4d88ee5f221928c2c24e2a88165aae63c1b9b120ddaa20e15e21fe9c207eac3150b744274ae45a8a EBUILD relational-2.5-r2.ebuild 952 BLAKE2B 1c4bc81688025d843a5d4209b07d5392265818ecd365788c84b8f8fcff156a110f5a5851ae6e8ce330774d912f2bc53121d78f1ecac69b577eeaed645637ee54 SHA512 df3a23e535e6786b2c4b0c3b64190ce836cfc6d27ad5524df88572613b155ac39b50b50b348f56a296369242f64d4ef3643e59d81ff35b6c5c452e4a38e06d8e -MISC metadata.xml 329 BLAKE2B 72059e28c196f127a1c314ad5c63025937a9daf16e8457885da10c94c32ccffec36d4c5049f2dcf2faf9ae67fe934d334a7235bc0f2bec0836614362cd41d122 SHA512 18759433ae0bb33800dc14a9bd518bbd383b8bbdbf876b02dad81afcabe3f0eea7828bd6820989e13253d73c70528d2a3bb4637e5e28d2fa5aab28b84aecdf32 +MISC metadata.xml 329 BLAKE2B af279e80c33a9c850fdf197cda6d3d649deccd92a4360f6524194ac549c3c02b46975067c8f5ee2dc45dc6f5e6ece260cdf8664ef9c916bdb3871b1020c685ec SHA512 27c79174fb317ea692be0a1f32fe608dc0947351875e0f0ec0acaaaa613dbac8929188522d41682f591da663a3ab934e5d362b71d9aad763248a6076f2057419 diff --git a/sci-mathematics/relational/metadata.xml b/sci-mathematics/relational/metadata.xml index e3c73f6f84a6..bbb1da01e845 100644 --- a/sci-mathematics/relational/metadata.xml +++ b/sci-mathematics/relational/metadata.xml @@ -1,4 +1,4 @@ -<?xml version='1.0' encoding='UTF-8'?> +<?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> <maintainer type="project"> diff --git a/sci-mathematics/rw/Manifest b/sci-mathematics/rw/Manifest index 32765389f26c..04d7a82852ff 100644 --- a/sci-mathematics/rw/Manifest +++ b/sci-mathematics/rw/Manifest @@ -2,4 +2,4 @@ DIST rw-0.8.tar.gz 217215 BLAKE2B e6f379ce7cde0fafb0c6e234e8958018c0682ad47e60da DIST rw-0.9.tar.gz 340385 BLAKE2B 2eba540146094eea7adb26874ed6f7982e46a863c786bf6f4a55af2d1d3167641e10c324f2b0e0e366bb8f83503b5da5fb02447abf46ae955da78ac8fe6149b6 SHA512 f4f1910506cbdb557ca50bac6f63cfca3271a5df8d13c67d2d9bba79b9cdb03196a679e6091554175decbee0871888de71bed5746662c9a75418f0f5dd9bd609 EBUILD rw-0.8-r3.ebuild 1112 BLAKE2B 620c546ad9687c361b5092e7e27604332d7b9a119ac29b1ecab7fa2a295cb400ffebb174983e3466522cf2911e2998dbb76ef4619d165a66a643ab3274e76042 SHA512 b9f2e9d3a04ef177f00ec01c061ba8e2177483392ab81eada207f01efc11dec9aa8fcf2c1e599ebc768aa8638e32d1a1f4795f395188484089d875771ea87cfd EBUILD rw-0.9.ebuild 810 BLAKE2B 46a02e8c61f514e12f7199b4f9f6e39d66533ad416423edbd1c4b65fe9989f12230b5204865f27825015d700a975ca3394dd7b9795f13060bc5fbf6f4609cfab SHA512 c98ca1e619f5a79423647ed03f8deaeab64f49744a52136ecc1af666a33ab415a6c7a8162157066cc6c47ed9565ed8fb8b52005ec1660b6de3d77bf7a546ff56 -MISC metadata.xml 1128 BLAKE2B 30c263e8a47107c0c5d9a7ee5377a5deaa6260767734361b85eca07f5c1a88d8f2375f2c5d20a28cd1241fcf70a2dfcff16a7fc2886977dfd9f25b5388aa73bb SHA512 34ec83d5cf7d7ed12ef6c58291a6a1b8323d580121e8b489dadc569f09b184e6952cefd934da504542a7a4cbe5c59a781ff703dec21c7ee4010f31153144328c +MISC metadata.xml 1158 BLAKE2B 91f1631afabd79f4d65e078925c616d9c8b5d71242e1f580dddd4b7d4e8ab0144601d20f844a20ae13e6901acedb58d080bcbe26e9256a8fc83fd62961f8c38d SHA512 899ba937d5b83082bec40e1b9d16afc2762c79066e1ed4e35019f276bdf4af7b3bea9d7a4007e86325d913b311af8a4a81877c5ece9ad1efec58f88782d3df74 diff --git a/sci-mathematics/rw/metadata.xml b/sci-mathematics/rw/metadata.xml index 4a95d1f4b12d..23286160414c 100644 --- a/sci-mathematics/rw/metadata.xml +++ b/sci-mathematics/rw/metadata.xml @@ -6,12 +6,12 @@ <name>Michael Orlitzky</name> </maintainer> - <maintainer type="person"> + <maintainer type="person" proxied="yes"> <email>frp.bissey@gmail.com</email> <name>François Bissey</name> </maintainer> - <maintainer type="project"> + <maintainer type="project" proxied="proxy"> <email>proxy-maint@gentoo.org</email> <name>Proxy Maintainers</name> </maintainer> diff --git a/sci-mathematics/sympow/Manifest b/sci-mathematics/sympow/Manifest index b7c06ee170f3..3a76897a1d46 100644 --- a/sci-mathematics/sympow/Manifest +++ b/sci-mathematics/sympow/Manifest @@ -2,4 +2,4 @@ AUX sympow-2.023.6-dont-force-O3.patch 2145 BLAKE2B 711d252e625690400ee7215f9f8d AUX sympow-2.023.6-no-pkgdatafilesbindir-warnings.patch 2289 BLAKE2B 845125575e201767360ebe38ecbf321a254d01d5eadfeee4d36e7c350e939804d7726299d33de0c564f455b5a559c05542f0da5d54e6bcceb22c02907ec0599a SHA512 a5840039ff0bf6c99cd6ef5609bb46aeff48858a57a253e051a04b180839a0f8b36480fffee10e22ef76672073b08ca58a399cb078a477aa447bbbc0c05dd6cf DIST sympow-v2.023.6.tar.gz 68142 BLAKE2B accff25cb1da5b6935a91179fa399d76148709be54bbd434c0dc6143e88e9cd0f0a3cd96c683da3214366a29d6d0dbb7236d2623ef3f9322b6d4d54c6bad9882 SHA512 efe3b09fff0629e136b029ea615aa09ac1a4f225c06636d653ac921c7de01bf75e2b392a138c3c1af92f2b4f889f5949beeeba5b6e5e6b49e02c605bb9c16ceb EBUILD sympow-2.023.6.ebuild 1071 BLAKE2B f535e2beb531d6701be16eff04f20cf73d24ca4443f8b8ba3d886e9aed49770a2dc3a2bbbd04a819ac5059cbca1732d32a20d8e0cb027be5130db9cc817591fb SHA512 f3b674275e559814c785abbce90c64a68b558cf8738f8870bf850fd574c05f1c6c2b2e1ca6223d0d657f1c7c06d783b07e114330a450e5bcb8fa849eaba2b850 -MISC metadata.xml 740 BLAKE2B f7bf31eef4f6a42b64105e8ce1725e4792d5303d0adb524a23fb7286430449d15f4f2ecef1afa64bdb0b4e6941928aa75d081b8fdb0c3f7b679afdb7c71c2052 SHA512 45e110738e271c8b71325023e4e371dbaee1d9e7b7318d82dcc72b6e1d094799ab230e0a14d282a3a5badbe53c54f2ca44933c4acad5f1bd24798848ac663318 +MISC metadata.xml 770 BLAKE2B 60943c3b50c5cc10adab3104af25c1850153ec1ea226753b90cf5262efbdeb102b2ac5a475f14390d6f16f736928f2a41a21266a08089c716cafb971d92d5033 SHA512 6af3ea0a90f27b2a25f690a99ac6d5ba3e3eb0c83a6153b58ae91c9e253d5945fbe04ff9750461ac9dcbe8a8486338d85dd5dd87926f3372177b4053f242ee03 diff --git a/sci-mathematics/sympow/metadata.xml b/sci-mathematics/sympow/metadata.xml index a321d1a8e2a3..48b84c230cb3 100644 --- a/sci-mathematics/sympow/metadata.xml +++ b/sci-mathematics/sympow/metadata.xml @@ -9,11 +9,11 @@ long before I moved it into ::gentoo. You don't need an ACK from me to merge his changes. --> - <maintainer type="person"> + <maintainer type="person" proxied="yes"> <email>frp.bissey@gmail.com</email> <name>François Bissey</name> </maintainer> - <maintainer type="project"> + <maintainer type="project" proxied="proxy"> <email>proxy-maint@gentoo.org</email> <name>Proxy Maintainers</name> </maintainer> diff --git a/sci-mathematics/topcom/Manifest b/sci-mathematics/topcom/Manifest index 74a0e5b53a46..cfa6df1c0c4c 100644 --- a/sci-mathematics/topcom/Manifest +++ b/sci-mathematics/topcom/Manifest @@ -4,5 +4,5 @@ DIST TOPCOM-0.17.7.tar.gz 8661519 BLAKE2B f42d273b39b15ccaf0d24ad360dc91cecd2ab8 DIST TOPCOM-0.17.8.tar.gz 8994044 BLAKE2B 27426b9fd9da8bc51e3632483cdd1c3f878a03d22dcad637c1c26368d58dbc9a9ef4c6918e314484336b1355cdf703287bf50d248e257773729a4d9fd012c0ca SHA512 2ddab2f30bf3adf93f0bb76c50bc70a5927fe2a9561a59df0ac7bec193b9a9b231eecb58c69840247536b73fda5298955518e798c3b5f8d2961ca09dfdc81cce DIST TOPCOM-manual.html 19251 BLAKE2B 8e361fd81bed45b552766a86a856ed1411154b5c523e14463750651d1c8d7b0f1f25a7c29bfdc34910fad3d19a1df94ded47b63a973f22baf3d60a7c5f0e1578 SHA512 5d0303f141bce12e0354c2fb65420102aa198e2271c0e901621f850b47f9cf9642659b0cf8e9bcc7a6da3b39914c20e47c67e72aa9cf999892f80855daa25c67 EBUILD topcom-0.17.7.ebuild 1188 BLAKE2B 82bdec14402b06680db2ef7fd070a338a5347f2d814c5308eb4d38e4b4169d78dc04d6706eb41606ef6dcda9f1f25ddee770f1e62c355d9ccd2290b2a66e6fc5 SHA512 b4ee0b662c918abbb555e78ad75ef7187d02683cba5614c1dfc75366d4844bfde39c7018de9e8db718d87cbfd5fcb7ce2dc01aa05d20f03462ae20283d7aa1da -EBUILD topcom-0.17.8-r1.ebuild 1338 BLAKE2B ceebbca3c12c3f4ca6bea32254b21c6ab828109edd8c333de5cbaa22f40de643d44b9abe1402f92dbf6fa54837313cbdea715c03091f4814ca2b8733edb56dac SHA512 b5596ec29e1cfa621fd704758132ad8064d4aa9a325a80504ec8d6adea729c9bf921e3bb991e000134ae7556cdbcfdc7df2915181e7f5c2fe06f63d44dfd9555 +EBUILD topcom-0.17.8-r1.ebuild 1301 BLAKE2B 459aa85f1cbf0a33ef96c597e9a7e00dfa4d15fc2fc5a5fbd0bc0825d6620fc8d36ff41bc4cfcdae7a477bc52797368efe76b01044396b6b9e51027f0205eba6 SHA512 9d77312e83cbe06a53dc5c8b573a118bc38b49b60515972fd08b88ffc5fbef5987d03bfe4b0c52ba92a66d981121e7f64882f26e4a9e1548d3de853283358938 MISC metadata.xml 269 BLAKE2B 5511cf8f01948aaca0488a6ed41ed923b130bfea9ba90d49f39bff86cfbd1e956b662d07406c76ca8e7e1d2ceb54547740e9f61a0a16041e5fcf18d713f90f03 SHA512 ecf9121172cdf04793bdbf6684060c7f15fb2a25606e53d8fc7dbc78efe24e264affa600c1ee3106ce8216b7093dff66eced3f78dd6ca7bd6ee589d1c7912cd6 diff --git a/sci-mathematics/topcom/topcom-0.17.8-r1.ebuild b/sci-mathematics/topcom/topcom-0.17.8-r1.ebuild index a3496c642f69..1bf043adc34f 100644 --- a/sci-mathematics/topcom/topcom-0.17.8-r1.ebuild +++ b/sci-mathematics/topcom/topcom-0.17.8-r1.ebuild @@ -9,12 +9,12 @@ DESCRIPTION="Computing Triangulations Of Point Configurations and Oriented Matro HOMEPAGE="http://www.rambau.wm.uni-bayreuth.de/TOPCOM/" SRC_URI=" http://www.rambau.wm.uni-bayreuth.de/Software/TOPCOM-${PV}.tar.gz - doc? ( http://www.rambau.wm.uni-bayreuth.de/TOPCOM/TOPCOM-manual.html ) + http://www.rambau.wm.uni-bayreuth.de/TOPCOM/TOPCOM-manual.html " KEYWORDS="~amd64 ~x86" SLOT="0" LICENSE="GPL-2" -IUSE="doc examples" +IUSE="examples" DEPEND=" dev-libs/gmp:0 @@ -24,6 +24,7 @@ RDEPEND="${DEPEND}" BDEPEND="app-shells/tcsh" PATCHES=( "${FILESDIR}/${P}-buildsystem.patch" ) + HTML_DOCS=( "${DISTDIR}/TOPCOM-manual.html" ) src_prepare () { @@ -49,7 +50,6 @@ src_install () { docompress -x "/usr/share/doc/${PF}/examples" dodoc -r examples fi - use doc && einstalldocs mv "${ED}/usr/bin/cube" "${ED}/usr/bin/topcom_cube" || die diff --git a/sci-mathematics/z3/Manifest b/sci-mathematics/z3/Manifest index 10aab8b5b09a..f3d2c0f3b3b2 100644 --- a/sci-mathematics/z3/Manifest +++ b/sci-mathematics/z3/Manifest @@ -1,3 +1,3 @@ DIST z3-4.8.10.tar.gz 4731869 BLAKE2B 92487f71a0c8d961949dc23032d8fa3ff157fe7acc29b41d0d79326f8b59c60e19f43527cccf4e51872c0f0664598f9063876b04cc581f918aa48c37a13c4f3f SHA512 d2741d7ad3e1d5ee3fec92095b061a96a700c3327b2eb2090d4162bdcaeaebca8c072ef79c5daac1f6de3456165c2cc38e13f1045bc707779d1027b943837c5b EBUILD z3-4.8.10.ebuild 2420 BLAKE2B 39acf50fa71c74efce6841e2a55a20402294882dd02b43496b545fe07a533f2d91253c3cc223db37f5f8b9cc9b681fe60fa07972b18f6742e08694290af6f890 SHA512 ca5881c4a2603a92ef122753fb972eda636f58363f83e7b02fd6a9822538fe1978c1b4a895a91ddc2f1c26fdadc5240b7cbb24e38c3d4dce9585dd0bad500e77 -MISC metadata.xml 616 BLAKE2B aeef1be6d9c4a94062310c6e2c3ac7fb1efe39bb608d96c143a01e9a01585f11ee25aa56d8f67d0a96d880b543882f2cb781247c034eda75e7f6f030767bf660 SHA512 aed4bbc517cc4f9e78ad3f5d50af5837757efa2985aa61a3faf40e39203179d356830a1d6fd4712422257eb244a67ae5eb5c4b2db76ab75769f5fe5e6d045a0c +MISC metadata.xml 616 BLAKE2B c35cac6f5810148c69a612d6b04ed4cacdbf066e61951ea1433336f14b2b058c4dd50530b547021007489122f5e94407b30641dc9ccf3b59a345e7a09e5fdd28 SHA512 eaf72a29601e96d5312120a1fc01a0b3dd2b7d8dbee70f6052e8ff7a7e07ae8b768d1417b7f4b523e755e5569092f2685bba77beaf3d7c455ccbd057cc9b670a diff --git a/sci-mathematics/z3/metadata.xml b/sci-mathematics/z3/metadata.xml index 2d840f8f9a83..382a4061fed7 100644 --- a/sci-mathematics/z3/metadata.xml +++ b/sci-mathematics/z3/metadata.xml @@ -1,4 +1,4 @@ -<?xml version='1.0' encoding='UTF-8'?> +<?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> <maintainer type="person"> |