summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* sci-mathematics/octave: Remove oldDavid Seifert2016-11-2016-1605/+0
* sci-mathematics/octave: Version bump to 4.2.0David Seifert2016-11-2010-6/+445
* sci-mathematics/agda: allow alex-3.2, bug #600034Sergei Trofimovich2016-11-181-1/+2
* sci-mathematics/dunshire: new package to solve linear games over cones.Michael Orlitzky2016-11-163-0/+45
* sci-mathematics/coq: bump to 8.5pl3Alexis Ballier2016-11-152-0/+97
* sci-mathematics/normaliz: Fix tarball nameManuel Rüger2016-11-092-2/+2
* sci-mathematics/genius: Drop oldPacho Ramos2016-11-042-59/+0
* sci-mathematics/genius: Version bump, fix missing deps (#541136)Pacho Ramos2016-11-042-0/+57
* sci-mathematics/factmsieve: Revbump to EAPI=6David Seifert2016-11-032-20/+16
* sci-mathematics/gimps: remove old.Thomas Kahle2016-11-022-68/+0
* sci-mathematics/gimps: Bump to 28.10Thomas Kahle2016-11-022-0/+70
* 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
* sci-mathematics/cvc3: Add a patch to fix compiling with GCC 6Matthew Dawson2016-10-302-0/+78
* sci-mathematics/cvc3: Bump EAPI to 6Matthew Dawson2016-10-301-0/+140
* sci-mathematics/normaliz: remove faulty versionThomas Kahle2016-10-262-66/+0
* sci-mathematics/normaliz: bump to 3.1.3Thomas Kahle2016-10-262-0/+66
* sci-mathematics/rw: new revision with a blocker on media-gfx/xpaint.Michael Orlitzky2016-10-161-2/+5
* sci-mathematics/geomview: Fix missing declarations with USE=-zlibDavid Seifert2016-10-072-10/+46
* sci-mathematics/polymake: Remove oldThomas Kahle2016-09-304-193/+0
* sci-mathematics/polymake: Bump to 3.0r2Thomas Kahle2016-09-302-0/+92
* sci-mathematics/pspp: amd64 stable wrt bug #584062Agostino Sarubbo2016-09-261-1/+1
* sci-mathematics/jags: amd64 stable wrt bug #582930Agostino Sarubbo2016-09-261-1/+1
* sci-mathematics/gfan: amd64 stable wrt bug #588426Agostino Sarubbo2016-09-261-1/+1
* sci-mathematics/rw: update François Bissey's email address in metadata.xml.Michael Orlitzky2016-09-251-1/+1
* sci-mathematics/xmds: Version bump to 2.2.2 and porting to EAPI 6Gerhard Bräunlich2016-09-252-0/+45
* sci-mathematics/topcom: remove oldThomas Kahle2016-09-254-243/+0
* sci-mathematics/topcom: bump to 0.17.7.Thomas Kahle2016-09-253-0/+382
* sci-mathematics/normaliz: bump to 3.1.2 and EAPI=6Thomas Kahle2016-09-252-0/+66
* sci-mathematics/pymc: Remove EAPI 4 ebuildsGerhard Bräunlich2016-09-243-49/+0
* sci-mathematics/nusmv: Removing EAPI 0 ebuildsGerhard Bräunlich2016-09-246-659/+0
* sci-mathematics/nusmv: version bump to 2.6.0 + EAPI bumpGerhard Bräunlich2016-09-243-0/+84
* sci-mathematics/octave: Fix zlib underlinkingDavid Seifert2016-09-242-5/+22
* sci-mathematics/pymc: version bump to 2.3.6 and porting to EAPI 6Gerhard Bräunlich2016-09-183-0/+66
* sci-mathematics/minisat: Allow for compiling with GCC 6David Seifert2016-09-181-1/+1
* sci-mathematics/singular: remove unneeded patchesThomas Kahle2016-09-162-59/+0
* sci-mathematics/singular: bump to 4.0.3 and EAPI=6Thomas Kahle2016-09-164-0/+439
* sci-mathematics/rkward: version bumpMichael Palimaka2016-09-162-0/+39
* sci-mathematics/minisat: Adding minisat-2.2.0_p20130925Gerhard Bräunlich2016-09-133-0/+586
* sci-mathematics/minisat: Unsiliencing makefileGerhard Bräunlich2016-09-131-5/+5
* sci-mathematics/octave: Remove left-over 'use jit' callsDavid Seifert2016-09-117-17/+6
* sci-mathematics/agda: allow cpphs-1.20Sergei Trofimovich2016-09-111-2/+3
* sci-mathematics/octave: Remove USE=jitDavid Seifert2016-09-119-216/+12
* sci-mathematics/minisat: Removing EAPI 2 ebuildsGerhard Bräunlich2016-09-093-190/+0
* sci-mathematics/minisat: revbump (EAPI 2 -> 6)Gerhard Bräunlich2016-09-091-0/+66
* sci-mathematics/gsl-shell: Removing EAPI 4 ebuild gsl-shell-2.2.0.ebuildGerhard Bräunlich2016-09-072-65/+0
* sci-mathematics/gsl-shell: Version bump to 2.3.0_beta1Gerhard Bräunlich2016-09-063-0/+86
* sci-mathematics/fricas: bump to 1.3.0Andrey Grozin2016-08-312-0/+103
* sci-mathematics/octave: version bumpDavid Seifert2016-08-216-4/+361
* sci-mathematics/coq: drop ocaml 4.03 patch; it is not needed anymore.Alexis Ballier2016-08-121-1/+0