| Commit message (Expand) | Author | Age | Files | Lines |
* | Fix prefix paths #466852 |  Patrick Lauer | 2015-03-11 | 3 | -8/+11 |
* | Fix missing dep on cddlib (542746) |  Thomas Kahle | 2015-03-10 | 3 | -8/+12 |
* | bump to 4.0.2 |  Thomas Kahle | 2015-03-09 | 4 | -20/+172 |
* | Stable for amd64, wrt bug #542270 |  Agostino Sarubbo | 2015-03-09 | 3 | -8/+21 |
* | Version Bump, fixes problems with format security, #542666 |  Justin Lecher | 2015-03-09 | 4 | -16/+78 |
* | Version bump |  Andrey Grozin | 2015-03-07 | 3 | -21/+27 |
* | Bump to 2.14 |  Thomas Kahle | 2015-03-05 | 3 | -5/+71 |
* | Drop RESTRICT=binchecks in favour of QA_ |  Justin Lecher | 2015-03-05 | 4 | -28/+30 |
* | Fix gcc-4.9 compatibility (bug 541238) |  Thomas Kahle | 2015-03-03 | 4 | -10/+84 |
* | 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 |