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/agda: allow alex-3.2, bug #600034Sergei Trofimovich2016-11-181-1/+2
| | | | | | | Reported-by: Anton Kochkov Bug: https://bugs.gentoo.org/600034 Package-Manager: portage-2.3.2
* sci-mathematics/dunshire: new package to solve linear games over cones.Michael Orlitzky2016-11-163-0/+45
| | | | Package-Manager: portage-2.3.0
* sci-mathematics/coq: bump to 8.5pl3Alexis Ballier2016-11-152-0/+97
| | | | Package-Manager: portage-2.3.2
* sci-mathematics/normaliz: Fix tarball nameManuel Rüger2016-11-092-2/+2
| | | | Package-Manager: portage-2.3.2
* sci-mathematics/genius: Drop oldPacho Ramos2016-11-042-59/+0
| | | | Package-Manager: portage-2.3.2
* sci-mathematics/genius: Version bump, fix missing deps (#541136)Pacho Ramos2016-11-042-0/+57
| | | | Package-Manager: portage-2.3.2
* sci-mathematics/factmsieve: Revbump to EAPI=6David Seifert2016-11-032-20/+16
| | | | | | | | * Use 'python-single-r1' * Make PATCHES -p1 compliant * Fix shebang Package-Manager: portage-2.3.2
* sci-mathematics/gimps: remove old.Thomas Kahle2016-11-022-68/+0
| | | | Package-Manager: portage-2.3.0
* sci-mathematics/gimps: Bump to 28.10Thomas Kahle2016-11-022-0/+70
| | | | | | Bug: 598756 Package-Manager: portage-2.3.0
* sci-mathematics/agda-executable: Remove last-rited pkgMichał Górny2016-10-314-84/+0
|
* sci-mathematics/msieve: Update SourceForge SVN URLsSven Wegener2016-10-301-5/+2
| | | | Package-Manager: portage-2.2.28
* sci-mathematics/cvc3: Add a patch to fix compiling with GCC 6Matthew Dawson2016-10-302-0/+78
| | | | | | | | | Gentoo-bug: 593982 Package-Manager: portage-2.2.28 Closes: https://github.com/gentoo/gentoo/pull/2575 Signed-off-by: David Seifert <soap@gentoo.org>
* sci-mathematics/cvc3: Bump EAPI to 6Matthew Dawson2016-10-301-0/+140
| | | | | | | | | | Make sure to call default in src_prepare, and switch to new einstalldocs for the HTML documentation. Package-Manager: portage-2.2.28 Closes: https://github.com/gentoo/gentoo/pull/2575 Signed-off-by: David Seifert <soap@gentoo.org>
* sci-mathematics/normaliz: remove faulty versionThomas Kahle2016-10-262-66/+0
| | | | Package-Manager: portage-2.3.0
* sci-mathematics/normaliz: bump to 3.1.3Thomas Kahle2016-10-262-0/+66
| | | | Package-Manager: portage-2.3.0
* sci-mathematics/rw: new revision with a blocker on media-gfx/xpaint.Michael Orlitzky2016-10-161-2/+5
| | | | | | | | | | | We have a file collision (librw.so) with xpaint. Barring a better solution, we should at least block it in RDEPEND so that users don't see the collision. This new revision adds "!media-gfx/xpaint" to RDEPEND. Gentoo-Bug: 560210 Package-Manager: portage-2.3.0
* sci-mathematics/geomview: Fix missing declarations with USE=-zlibDavid Seifert2016-10-072-10/+46
| | | | | | | Gentoo-bug: 596414 * EAPI=6 Package-Manager: portage-2.3.1
* sci-mathematics/polymake: Remove oldThomas Kahle2016-09-304-193/+0
| | | | Package-Manager: portage-2.3.0
* sci-mathematics/polymake: Bump to 3.0r2Thomas Kahle2016-09-302-0/+92
| | | | | | Also solves bug 595330 Package-Manager: portage-2.3.0
* sci-mathematics/pspp: amd64 stable wrt bug #584062Agostino Sarubbo2016-09-261-1/+1
| | | | | | Package-Manager: portage-2.2.28 RepoMan-Options: --include-arches="amd64" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
* sci-mathematics/jags: amd64 stable wrt bug #582930Agostino Sarubbo2016-09-261-1/+1
| | | | | | Package-Manager: portage-2.2.28 RepoMan-Options: --include-arches="amd64" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
* sci-mathematics/gfan: amd64 stable wrt bug #588426Agostino Sarubbo2016-09-261-1/+1
| | | | | | Package-Manager: portage-2.2.28 RepoMan-Options: --include-arches="amd64" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
* sci-mathematics/rw: update François Bissey's email address in metadata.xml.Michael Orlitzky2016-09-251-1/+1
| | | | Package-Manager: portage-2.2.28
* sci-mathematics/xmds: Version bump to 2.2.2 and porting to EAPI 6Gerhard Bräunlich2016-09-252-0/+45
| | | | | | | Package-Manager: portage-2.2.28 Closes: https://github.com/gentoo/gentoo/pull/2379 Signed-off-by: David Seifert <soap@gentoo.org>
* sci-mathematics/topcom: remove oldThomas Kahle2016-09-254-243/+0
| | | | Package-Manager: portage-2.3.0
* sci-mathematics/topcom: bump to 0.17.7.Thomas Kahle2016-09-253-0/+382
| | | | | | Also fixes bug 594818 Package-Manager: portage-2.3.0
* sci-mathematics/normaliz: bump to 3.1.2 and EAPI=6Thomas Kahle2016-09-252-0/+66
| | | | Package-Manager: portage-2.3.0
* sci-mathematics/pymc: Remove EAPI 4 ebuildsGerhard Bräunlich2016-09-243-49/+0
| | | | | | | Package-Manager: portage-2.2.28 Closes: https://github.com/gentoo/gentoo/pull/2398 Signed-off-by: David Seifert <soap@gentoo.org>
* sci-mathematics/nusmv: Removing EAPI 0 ebuildsGerhard Bräunlich2016-09-246-659/+0
| | | | | | | Package-Manager: portage-2.2.28 Closes: https://github.com/gentoo/gentoo/pull/2271 Signed-off-by: David Seifert <soap@gentoo.org>
* sci-mathematics/nusmv: version bump to 2.6.0 + EAPI bumpGerhard Bräunlich2016-09-243-0/+84
| | | | | | | Package-Manager: portage-2.2.28 Closes: https://github.com/gentoo/gentoo/pull/2271 Signed-off-by: David Seifert <soap@gentoo.org>
* sci-mathematics/octave: Fix zlib underlinkingDavid Seifert2016-09-242-5/+22
| | | | | | | | Gentoo-bug: 593670 * [QA] Add -Wl,-z,defs to LDFLAGS * Make dependency on sys-libs/zlib unconditional Package-Manager: portage-2.3.1
* sci-mathematics/pymc: version bump to 2.3.6 and porting to EAPI 6Gerhard Bräunlich2016-09-183-0/+66
| | | | | | | Package-Manager: portage-2.2.28 Closes: https://github.com/gentoo/gentoo/pull/2283 Signed-off-by: David Seifert <soap@gentoo.org>
* sci-mathematics/minisat: Allow for compiling with GCC 6David Seifert2016-09-181-1/+1
| | | | | | Gentoo-bug: 594158 Package-Manager: portage-2.3.0
* sci-mathematics/singular: remove unneeded patchesThomas Kahle2016-09-162-59/+0
| | | | Package-Manager: portage-2.3.0
* sci-mathematics/singular: bump to 4.0.3 and EAPI=6Thomas Kahle2016-09-164-0/+439
| | | | | | Also fixes file collision in bug 591556 Package-Manager: portage-2.3.0
* sci-mathematics/rkward: version bumpMichael Palimaka2016-09-162-0/+39
| | | | | | Gentoo-bug: 587962 Package-Manager: portage-2.3.0
* sci-mathematics/minisat: Adding minisat-2.2.0_p20130925Gerhard Bräunlich2016-09-133-0/+586
| | | | | | | Package-Manager: portage-2.2.28 Closes: https://github.com/gentoo/gentoo/pull/2282 Signed-off-by: David Seifert <soap@gentoo.org>
* sci-mathematics/minisat: Unsiliencing makefileGerhard Bräunlich2016-09-131-5/+5
| | | | | | | Package-Manager: portage-2.2.28 Closes: https://github.com/gentoo/gentoo/pull/2282 Signed-off-by: David Seifert <soap@gentoo.org>
* sci-mathematics/octave: Remove left-over 'use jit' callsDavid Seifert2016-09-117-17/+6
| | | | | | * https://github.com/gentoo/gentoo/pull/2288 Package-Manager: portage-2.3.0
* sci-mathematics/agda: allow cpphs-1.20Sergei Trofimovich2016-09-111-2/+3
| | | | Package-Manager: portage-2.3.0
* sci-mathematics/octave: Remove USE=jitDavid Seifert2016-09-119-216/+12
| | | | | | | | | | | | Gentoo-Bug: 588098 * USE=jit has become a liability instead of a feature for Gentoo. The JIT support within octave requires old versions of LLVM, which are broken and unsupported. Package-Manager: portage-2.3.0 Closes: https://github.com/gentoo/gentoo/pull/2288 Signed-off-by: David Seifert <soap@gentoo.org>
* sci-mathematics/minisat: Removing EAPI 2 ebuildsGerhard Bräunlich2016-09-093-190/+0
| | | | | | | Package-Manager: portage-2.2.28 Closes: https://github.com/gentoo/gentoo/pull/2279 Signed-off-by: David Seifert <soap@gentoo.org>
* sci-mathematics/minisat: revbump (EAPI 2 -> 6)Gerhard Bräunlich2016-09-091-0/+66
| | | | | | | Package-Manager: portage-2.2.28 Closes: https://github.com/gentoo/gentoo/pull/2279 Signed-off-by: David Seifert <soap@gentoo.org>
* sci-mathematics/gsl-shell: Removing EAPI 4 ebuild gsl-shell-2.2.0.ebuildGerhard Bräunlich2016-09-072-65/+0
| | | | | | | Package-Manager: portage-2.2.28 Closes: https://github.com/gentoo/gentoo/pull/2268 Signed-off-by: David Seifert <soap@gentoo.org>
* sci-mathematics/gsl-shell: Version bump to 2.3.0_beta1Gerhard Bräunlich2016-09-063-0/+86
| | | | | | | | | * EAPI=6 Package-Manager: portage-2.2.28 Closes: https://github.com/gentoo/gentoo/pull/2257 Signed-off-by: David Seifert <soap@gentoo.org>
* sci-mathematics/fricas: bump to 1.3.0Andrey Grozin2016-08-312-0/+103
| | | | Package-Manager: portage-2.3.0
* sci-mathematics/octave: version bumpDavid Seifert2016-08-216-4/+361
| | | | | | | | | Gentoo-bug: 590676, 590792 * EAPI=6 * Make patches -p1 compliant * Use pkg-config for finding curses flags Package-Manager: portage-2.3.0
* sci-mathematics/coq: drop ocaml 4.03 patch; it is not needed anymore.Alexis Ballier2016-08-121-1/+0
| | | | Package-Manager: portage-2.3.0
* sci-mathematics/octave: Remove automagic dep on media-gfx/graphicsmagickDavid Seifert2016-08-098-80/+56
| | | | | | | | Gentoo-Bug: 590280 * Explicitly select dependency on the basis of USE="graphicsmagick" vs USE="imagemagick" only. Package-Manager: portage-2.3.0
* sci-mathematics/mlpy: Cleanup per #22715Pacho Ramos2016-08-061-4/+0
| | | | Package-Manager: portage-2.3.0