| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | Fix Bug 542710 - sci-mathematics/isabelle-2013.2 - Couldn't download 'Isabell... |   Mark Wright | 2015-03-25 | 6 | -20/+26 |
| * | Stable for amd64, wrt bug #542572 |   Agostino Sarubbo | 2015-03-24 | 3 | -10/+23 |
| * | remove old |   Thomas Kahle | 2015-03-22 | 4 | -344/+6 |
| * | x86 stable, see bug 511442. Thanks Myckel Habets for testing. |   Andreas Schuerch | 2015-03-22 | 3 | -20/+23 |
| * | use dobin instead of exeinto /usr/bin/ && doexe; swicth from base eclass to e... |   Justin Lecher | 2015-03-21 | 3 | -21/+40 |
| * | use dobin instead of exeinto /usr/bin/ && doexe | Justin Lecher | 2015-03-21 | 5 | -116/+66 |
| * | Fix desktop file | Justin Lecher | 2015-03-20 | 3 | -10/+24 |
| * | Various improvements, thanks Benjamin Lorenz. | Thomas Kahle | 2015-03-13 | 4 | -6/+112 |
| * | 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 |
GitWeb
