Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
path: root/sci-mathematics
Commit message (Collapse)AuthorAgeFilesLines
* sci-mathematics/topcom: removing doc use flag, unconditional installationFrançois Bissey2021-03-161-6/+4
| | | | | | | Closes: https://github.com/gentoo/gentoo/pull/19936 Package-Manager: Portage-3.0.13, Repoman-3.0.2 Signed-off-by: François René Pierre Bissey <frp.bissey@gmail.com> Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/topcom: define HTML_DOCS only when doc is in USE.François Bissey2021-03-161-2/+4
| | | | | | | Package-Manager: Portage-3.0.13, Repoman-3.0.2 Bug: https://bugs.gentoo.org/776310 Signed-off-by: François René Pierre Bissey <frp.bissey@gmail.com> Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* */*: Add proxied="yes" for non-@gentoo.org peopleMichał Górny2021-03-1614-14/+14
| | | | | | | | | | | | Done via: find -name metadata.xml -exec xml ed -P -L \ -a '/pkgmetadata/maintainer[substring(email, string-length(email) - string-length("@gentoo.org") + 1) != "@gentoo.org"]' \ -t attr -n proxied -v yes {} + Signed-off-by: Michał Górny <mgorny@gentoo.org>
* */*: Add 'proxied="proxy"' for proxy-maint projectMichał Górny2021-03-1614-14/+14
| | | | | | | | | | Done via: find -name metadata.xml -exec xml ed -P -L \ -a '//maintainer[email="proxy-maint@gentoo.org"]' \ -t attr -n proxied -v proxy {} + Signed-off-by: Michał Górny <mgorny@gentoo.org>
* */*: Normalize metadata.xml filesMichał Górny2021-03-166-6/+5
| | | | | | | | | | | Normalize quoting, replace '>' with entities, replace unnecessary entities, remove trailing empty lines. Done via: find -name metadata.xml -exec xml ed -P -L -d //none {} + Signed-off-by: Michał Górny <mgorny@gentoo.org>
* sci-mathematics/agda: allow ghc-8.10.4Sergei Trofimovich2021-03-151-1/+4
| | | | | Package-Manager: Portage-3.0.17, Repoman-3.0.2 Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
* sci-mathematics/flint: add missing dev-tex/latexmk dependency.Michael Orlitzky2021-03-151-0/+1
| | | | | | | | | | Straight-to-stable because we're still in the process of stabilizing v2.6.3 and I don't want to make amd64@ re-test it when I've already done that myself. Closes: https://bugs.gentoo.org/775164 Package-Manager: Portage-3.0.13, Repoman-3.0.2 Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/coq: drop 8.6.1-r1, 8.9.1-r1Sam James2021-03-134-182/+0
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/fann: Revert multilib supportAndreas Sturmlechner2021-03-122-9/+9
| | | | | | | | | | | | Reverting commit 4f798560ee14becf35b08aabbe758ba60aa52b73. Done without fixing tests for multilib, no one fixed the bug since 2019. Bug: https://bugs.gentoo.org/589380 Closes: https://bugs.gentoo.org/700760 Bug: https://bugs.gentoo.org/770553 Package-Manager: Portage-3.0.17, Repoman-3.0.2 Signed-off-by: Andreas Sturmlechner <asturm@gentoo.org>
* sci-mathematics/octave: new upstream version 6.2.0.Michael Orlitzky2021-03-102-2/+2
| | | | | Package-Manager: Portage-3.0.13, Repoman-3.0.2 Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/topcom: new revision to fixup examples install.Michael Orlitzky2021-03-071-1/+4
| | | | | Package-Manager: Portage-3.0.13, Repoman-3.0.2 Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/topcom: new versionAlessandro Barbieri2021-03-073-0/+211
| | | | | | | | | | | | * EAPI 7 * build dynamic libraries instead of static * fix cddlib include dir Closes: https://bugs.gentoo.org/761085 Closes: https://github.com/gentoo/gentoo/pull/14668 Package-Manager: Portage-2.3.87, Repoman-2.3.20 Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com> Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/z3: Remove oldMichał Górny2021-03-062-97/+0
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* sci-mathematics/z3: Stabilize 4.8.10 arm64, #774231Sam James2021-03-061-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/z3: Stabilize 4.8.10 arm, #774231Sam James2021-03-051-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/z3: Stabilize 4.8.10 ppc64, #774231Sam James2021-03-051-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/z3: amd64 stable wrt bug #774231Agostino Sarubbo2021-03-051-1/+1
| | | | | | Package-Manager: Portage-3.0.13, Repoman-3.0.2 RepoMan-Options: --include-arches="amd64" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
* sci-mathematics/z3: x86 stable wrt bug #774231Agostino Sarubbo2021-03-051-1/+1
| | | | | | Package-Manager: Portage-3.0.13, Repoman-3.0.2 RepoMan-Options: --include-arches="x86" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
* sci-mathematics/yafu: Port to EAPI 7Jakov Smolic2021-03-033-34/+38
| | | | | | | | | | * Fix building with gcc-10 * Drop obsolete eclasses Closes: https://bugs.gentoo.org/709304 Signed-off-by: Jakov Smolic <jakov.smolic@sartura.hr> Closes: https://github.com/gentoo/gentoo/pull/19744 Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/gfan: adapt to newer cddlibFrançois Bissey2021-03-021-0/+67
| | | | | | | | Package-Manager: Portage-3.0.13, Repoman-3.0.2 Closes: https://github.com/gentoo/gentoo/pull/19661 Bug: https://bugs.gentoo.org/show_bug.cgi?id=762817 Signed-off-by: François René Pierre Bissey <frp.bissey@gmail.com> Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/cliquer: upstream bumpFrançois Bissey2021-02-282-0/+30
| | | | | | | Closes: https://github.com/gentoo/gentoo/pull/19705 Package-Manager: Portage-3.0.13, Repoman-3.0.2 Signed-off-by: François René Pierre Bissey <frp.bissey@gmail.com> Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/rw: new upstream versionFrançois Bissey2021-02-282-0/+30
| | | | | | | Closes: https://github.com/gentoo/gentoo/pull/19706 Package-Manager: Portage-3.0.13, Repoman-3.0.2 Signed-off-by: François René Pierre Bissey <frp.bissey@gmail.com> Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/4ti2: Remove oldJakov Smolic2021-02-272-38/+0
| | | | | Signed-off-by: Jakov Smolic <jakov.smolic@sartura.hr> Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/4ti2: Stabilize 1.6.7 amd64, #770634Sam James2021-02-271-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/maxima: remove unused patchesMichael Mair-Keimberger2021-02-273-82/+0
| | | | | | | Closes: https://github.com/gentoo/gentoo/pull/19652 Package-Manager: Portage-3.0.14, Repoman-3.0.2 Signed-off-by: Michael Mair-Keimberger <mmk@levelnine.at> Signed-off-by: Conrad Kostecki <conikost@gentoo.org>
* sci-mathematics/dataplot: fix build with gcc 10Sam James2021-02-271-6/+19
| | | | | | | Closes: https://bugs.gentoo.org/707176 Closes: https://bugs.gentoo.org/722208 Package-Manager: Portage-3.0.15, Repoman-3.0.2 Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/bertini: EAPI 7, gcc 10, CFLAGSSam James2021-02-271-21/+25
| | | | | | | Closes: https://bugs.gentoo.org/723328 Closes: https://bugs.gentoo.org/731944 Package-Manager: Portage-3.0.15, Repoman-3.0.2 Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/4ti2: x86 stable wrt bug #770634Agostino Sarubbo2021-02-251-1/+1
| | | | | | Package-Manager: Portage-3.0.13, Repoman-3.0.2 RepoMan-Options: --include-arches="x86" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
* sci-mathematics/cgal: Stabilize 5.2 x86, #771270Sam James2021-02-251-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/4ti2: Stabilize 1.6.7 ppc, #770634Sam James2021-02-241-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/gimps: Remove obsoleted versionPPed722021-02-222-74/+0
| | | | | | | Signed-off-by: Paolo Pedroni <paolo.pedroni@iol.it> Package-Manager: Portage-3.0.13, Repoman-3.0.2 Closes: https://github.com/gentoo/gentoo/pull/19432 Signed-off-by: Joonas Niilola <juippis@gentoo.org>
* sci-mathematics/gimps: Version bump to 30.4 build 9PPed722021-02-222-0/+74
| | | | | | | Closes: https://bugs.gentoo.org/770223 Signed-off-by: Paolo Pedroni <paolo.pedroni@iol.it> Package-Manager: Portage-3.0.13, Repoman-3.0.2 Signed-off-by: Joonas Niilola <juippis@gentoo.org>
* sci-mathematics/euler: port to EAPI 7Sam James2021-02-216-37/+31
| | | | | Package-Manager: Portage-3.0.14, Repoman-3.0.2 Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/cgal: Stabilize 5.2 amd64, #771270Sam James2021-02-191-2/+2
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/cgal: Drop 4.11.3Andreas Sturmlechner2021-02-182-82/+0
| | | | | Package-Manager: Portage-3.0.14, Repoman-3.0.2 Signed-off-by: Andreas Sturmlechner <asturm@gentoo.org>
* sci-mathematics/ginac: Drop 1.6.6, EAPI5--Andreas Sturmlechner2021-02-162-59/+0
| | | | | | Bug: https://bugs.gentoo.org/766797 Package-Manager: Portage-3.0.14, Repoman-3.0.2 Signed-off-by: Andreas Sturmlechner <asturm@gentoo.org>
* sci-mathematics/ginac: Stabilize 1.7.11 ppc, #766797Sam James2021-02-161-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/4ti2: Port to EAPI 7Jakov Smolic2021-02-152-16/+5
| | | | | | Bug: https://bugs.gentoo.org/770634 Signed-off-by: Jakov Smolic <jakov.smolic@sartura.hr> Signed-off-by: David Seifert <soap@gentoo.org>
* sci-mathematics/diagrtb: EAPI-7 bump, use cmake.eclassAndreas Sturmlechner2021-02-142-6/+7
| | | | | Package-Manager: Portage-3.0.14, Repoman-3.0.2 Signed-off-by: Andreas Sturmlechner <asturm@gentoo.org>
* sci-mathematics/coq: Stabilize 8.12.0-r1 x86, #769317Sam James2021-02-111-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/coq: Stabilize 8.12.0-r1 amd64, #769317Sam James2021-02-101-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/why3-for-spark: fix depAlfredo Tupone2021-02-101-1/+1
| | | | | | Closes: https://bugs.gentoo.org/769845 Package-Manager: Portage-3.0.13, Repoman-3.0.2 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* sci-mathematics/ginac: Stabilize 1.7.11 amd64, #766797Sam James2021-02-091-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/why3-for-spark: version bump to 2020Alfredo Tupone2021-02-095-0/+173
| | | | | Package-Manager: Portage-3.0.13, Repoman-3.0.2 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* sci-mathematics/coq: bumping back to 8.11.2Alfredo Tupone2021-02-092-0/+91
| | | | | Package-Manager: Portage-3.0.13, Repoman-3.0.2 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* sci-mathematics/ginac: Stabilize 1.7.11 x86, #766797Sam James2021-02-091-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/coq: bump to 8.13.0Sam James2021-02-082-0/+89
| | | | | Package-Manager: Portage-3.0.14, Repoman-3.0.2 Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/coq: add github remote-idSam James2021-02-081-0/+3
| | | | | Package-Manager: Portage-3.0.14, Repoman-3.0.2 Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/coq: fix metadata indentationSam James2021-02-081-20/+22
| | | | | Package-Manager: Portage-3.0.14, Repoman-3.0.2 Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/coq: lower OCaml depSam James2021-02-081-4/+6
| | | | | | Bug: https://bugs.gentoo.org/769317 Package-Manager: Portage-3.0.14, Repoman-3.0.2 Signed-off-by: Sam James <sam@gentoo.org>