summaryrefslogtreecommitdiff
path: root/sci-mathematics
Commit message (Expand)AuthorAge
* sci-mathematics/normaliz-3.1.3-r0: stable on amd64Tobias Klausmann2016-12-21
* sci-mathematics/snns-4.3-r2: stable on amd64Tobias Klausmann2016-12-20
* sci-mathematics/coq: add missing findlib build dep, bug #603126Alexis Ballier2016-12-19
* sci-mathematics/coq: bump to 8.6Alexis Ballier2016-12-19
* sci-mathematics/glpk: version bump to 4.60Sébastien Fabbro2016-12-12
* sci-mathematics/wxmaxima: bump to 16.12.0Andrey Grozin2016-12-12
* sci-mathematics/maxima: bump to 5.39.0Andrey Grozin2016-12-11
* sci-mathematics/rstudio: Bump to 1.0.44, thanks to David Luna for reporting.Mark Wright2016-12-02
* sci-mathematics/genius: Drop oldPacho Ramos2016-11-27
* sci-mathematics/wxmaxima: Drop oldPacho Ramos2016-11-27
* sci-mathematics/octave: Remove oldDavid Seifert2016-11-20
* sci-mathematics/octave: Version bump to 4.2.0David Seifert2016-11-20
* sci-mathematics/agda: allow alex-3.2, bug #600034Sergei Trofimovich2016-11-18
* sci-mathematics/dunshire: new package to solve linear games over cones.Michael Orlitzky2016-11-16
* sci-mathematics/coq: bump to 8.5pl3Alexis Ballier2016-11-15
* sci-mathematics/normaliz: Fix tarball nameManuel Rüger2016-11-09
* sci-mathematics/genius: Drop oldPacho Ramos2016-11-04
* sci-mathematics/genius: Version bump, fix missing deps (#541136)Pacho Ramos2016-11-04
* sci-mathematics/factmsieve: Revbump to EAPI=6David Seifert2016-11-03
* sci-mathematics/gimps: remove old.Thomas Kahle2016-11-02
* sci-mathematics/gimps: Bump to 28.10Thomas Kahle2016-11-02
* sci-mathematics/agda-executable: Remove last-rited pkgMichał Górny2016-10-31
* sci-mathematics/msieve: Update SourceForge SVN URLsSven Wegener2016-10-30
* sci-mathematics/cvc3: Add a patch to fix compiling with GCC 6Matthew Dawson2016-10-30
* sci-mathematics/cvc3: Bump EAPI to 6Matthew Dawson2016-10-30
* sci-mathematics/normaliz: remove faulty versionThomas Kahle2016-10-26
* sci-mathematics/normaliz: bump to 3.1.3Thomas Kahle2016-10-26
* sci-mathematics/rw: new revision with a blocker on media-gfx/xpaint.Michael Orlitzky2016-10-16
* sci-mathematics/geomview: Fix missing declarations with USE=-zlibDavid Seifert2016-10-07
* sci-mathematics/polymake: Remove oldThomas Kahle2016-09-30
* sci-mathematics/polymake: Bump to 3.0r2Thomas Kahle2016-09-30
* sci-mathematics/pspp: amd64 stable wrt bug #584062Agostino Sarubbo2016-09-26
* sci-mathematics/jags: amd64 stable wrt bug #582930Agostino Sarubbo2016-09-26
* sci-mathematics/gfan: amd64 stable wrt bug #588426Agostino Sarubbo2016-09-26
* sci-mathematics/rw: update François Bissey's email address in metadata.xml.Michael Orlitzky2016-09-25
* sci-mathematics/xmds: Version bump to 2.2.2 and porting to EAPI 6Gerhard Bräunlich2016-09-25
* sci-mathematics/topcom: remove oldThomas Kahle2016-09-25
* sci-mathematics/topcom: bump to 0.17.7.Thomas Kahle2016-09-25
* sci-mathematics/normaliz: bump to 3.1.2 and EAPI=6Thomas Kahle2016-09-25
* sci-mathematics/pymc: Remove EAPI 4 ebuildsGerhard Bräunlich2016-09-24
* sci-mathematics/nusmv: Removing EAPI 0 ebuildsGerhard Bräunlich2016-09-24
* sci-mathematics/nusmv: version bump to 2.6.0 + EAPI bumpGerhard Bräunlich2016-09-24
* sci-mathematics/octave: Fix zlib underlinkingDavid Seifert2016-09-24
* sci-mathematics/pymc: version bump to 2.3.6 and porting to EAPI 6Gerhard Bräunlich2016-09-18
* sci-mathematics/minisat: Allow for compiling with GCC 6David Seifert2016-09-18
* sci-mathematics/singular: remove unneeded patchesThomas Kahle2016-09-16
* sci-mathematics/singular: bump to 4.0.3 and EAPI=6Thomas Kahle2016-09-16
* sci-mathematics/rkward: version bumpMichael Palimaka2016-09-16
* sci-mathematics/minisat: Adding minisat-2.2.0_p20130925Gerhard Bräunlich2016-09-13
* sci-mathematics/minisat: Unsiliencing makefileGerhard Bräunlich2016-09-13