| Commit message (Expand) | Author | Age | Files | Lines |
* | Fix gcc-4.9 build (541364) | Thomas Kahle | 2015-03-01 | 4 | -7/+24 |
* | Patch rstudio-0.98.1091 to build with boost 1.57 | Mark Wright | 2015-02-28 | 11 | -50/+119 |
* | Version BUmp, #532906; fix missing slot Operators and inherits | Justin Lecher | 2015-02-27 | 6 | -33/+101 |
* | Drop ~alpha because of a number of non-keyworded deps. | Michał Górny | 2015-02-22 | 3 | -21/+24 |
* | amd64/x86 stable, bug #540522 | Pacho Ramos | 2015-02-22 | 3 | -22/+15 |
* | Fix generation of /usr/share/doc/coq-8.4_p5/html/refman/index_urls.txt, patch... | Mark Wright | 2015-02-15 | 6 | -13/+74 |
* | Stable for amd64, wrt bug #406773 | Agostino Sarubbo | 2015-01-31 | 3 | -23/+24 |
* | Remove old version with unsatisfied dependencies | Patrick Lauer | 2015-01-30 | 6 | -104/+13 |
* | Switch to CPU_FLAGS_X86. | Michał Górny | 2015-01-29 | 4 | -21/+37 |
* | Bump to 2.12.2, cleanup | Thomas Kahle | 2015-01-29 | 5 | -110/+18 |
* | Drop old patches | Mark Wright | 2015-01-29 | 7 | -128/+18 |
* | Drop old with now unsatisfied dep on dev-haskell/hashtables | Patrick Lauer | 2015-01-29 | 6 | -377/+7 |
* | Bump isabelle to 2013.2. Fix Bug 536324 - sci-mathematics/isabelle: Slot depe... | Mark Wright | 2015-01-25 | 6 | -19/+629 |
* | Fix imagemagick/graphicsmagick sub-SLOT deps. | Jeroen Roovers | 2015-01-07 | 4 | -26/+20 |
* | Use python-any-r1 for waf. | Michał Górny | 2015-01-03 | 3 | -11/+33 |
* | Rename virtual/postgresql to dev-db/postgresql | Aaron Swenson | 2014-12-28 | 4 | -11/+15 |
* | sci-mathematics/genius: Version BUmp, #523604; fix SRC_URI, thanks leio | Justin Lecher | 2014-12-26 | 4 | -20/+84 |
* | 5.35.1 tarball contains a wrong sys-proclaim.lisp; re-generate it (only affec... | Andrey Grozin | 2014-12-25 | 3 | -19/+30 |
* | Adding a missing patch (#533202) | Andrey Grozin | 2014-12-22 | 3 | -16/+48 |
* | Version bump | Andrey Grozin | 2014-12-20 | 7 | -28/+328 |
* | Bump agda-stdlib to 0.9 | Mark Wright | 2014-12-14 | 3 | -6/+80 |
* | Bump agda to 2.4.2.2-r1 | Mark Wright | 2014-12-14 | 4 | -7/+143 |
* | drop python-r1 eclass; fix dependencies; fix llvm configuration wrt bug #531316 | Matthias Maier | 2014-12-06 | 4 | -23/+73 |
* | Bump rstudio to 0.98.1091. Fix Bug 519290 sci-mathematics/rstudio-0.98.490 - ... | Mark Wright | 2014-12-06 | 15 | -171/+391 |
* | sci-mathematics/singular: Drop old | Justin Lecher | 2014-12-05 | 8 | -926/+33 |
* | Stable for x86, wrt bug #529536 | Agostino Sarubbo | 2014-12-05 | 3 | -18/+21 |
* | Stable for ppc64, wrt bug #528002 | Agostino Sarubbo | 2014-12-04 | 3 | -18/+21 |
* | Stable for ppc, wrt bug #529536 | Agostino Sarubbo | 2014-12-03 | 3 | -18/+21 |
* | version bump | Matthias Maier | 2014-12-01 | 3 | -19/+109 |
* | Set the maintainer. | Mark Wright | 2014-11-29 | 3 | -20/+12 |
* | update deps for ocaml 4.02 | Alexis Ballier | 2014-11-28 | 3 | -7/+11 |
* | Stable for amd64, wrt bug #529536 | Agostino Sarubbo | 2014-11-26 | 3 | -9/+22 |
* | drop maintainership | Julian Ospald | 2014-11-25 | 3 | -21/+22 |
* | drop maintainership | Julian Ospald | 2014-11-25 | 3 | -15/+25 |
* | Stable for x86, wrt bug #528002 | Agostino Sarubbo | 2014-11-25 | 3 | -18/+21 |
* | Version bump | Andrey Grozin | 2014-11-24 | 3 | -21/+27 |
* | Clarify AT_NO_RECURSIVE usage. | Mike Frysinger | 2014-11-21 | 3 | -7/+21 |
* | Fix bug 518000 (thanks Alexander Tsoy), remove old. | Thomas Kahle | 2014-11-14 | 4 | -49/+12 |
* | Stable for ppc, wrt bug #528002 | Agostino Sarubbo | 2014-11-10 | 3 | -8/+21 |
* | Remove unneeded useflag descriptions from metadata.xml | Patrick Lauer | 2014-11-07 | 3 | -29/+7 |
* | Drop old EAPI=1 version | Andreas Hüttel | 2014-11-06 | 3 | -120/+22 |
* | Stable for HPPA (bug #528002). | Jeroen Roovers | 2014-11-06 | 3 | -18/+11 |
* | Update PostgreSQL dependencies and/or checks to virtual/postgresql. | Aaron Swenson | 2014-11-03 | 4 | -13/+17 |
* | Stable for amd64, wrt bug #528002 | Agostino Sarubbo | 2014-11-03 | 3 | -20/+21 |
* | Bump coq to 8.4pl5 | Mark Wright | 2014-11-03 | 3 | -17/+110 |
* | sci-mathematics/dataplot: Drop bashisms from configure.ac, #526888 | Justin Lecher | 2014-10-26 | 5 | -31/+41 |
* | bump to 2.12.1 | Thomas Kahle | 2014-10-25 | 4 | -5/+124 |
* | Version bump, no einstall (#521650), docompress (#176411) | Andrey Grozin | 2014-09-14 | 3 | -16/+213 |
* | Bump | Patrick Lauer | 2014-09-10 | 3 | -2/+50 |
* | Require llvm < 3.5 because of API incompatibility. | Michał Górny | 2014-09-09 | 5 | -14/+30 |