| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | Fix ntl compatibility (bug 545318) |   Thomas Kahle | 2015-04-05 | 4 | -9/+28 |
| * | Remove old. |   Michael Palimaka | 2015-04-04 | 4 | -186/+22 |
| * | Loosen cpphs dep in agda-2.4.2.2-r1 |   Mark Wright | 2015-04-04 | 3 | -9/+13 |
| * | Fix tests with gmp-6 (bug 545378) | Thomas Kahle | 2015-04-03 | 4 | -5/+136 |
| * | Restrict ntl dep #545318 |   Patrick Lauer | 2015-04-03 | 3 | -15/+8 |
| * | Bump to 2.4.5 (542682) | Thomas Kahle | 2015-04-02 | 3 | -19/+81 |
| * | x86 stable wrt bug #406773 |   Mikle Kolyada | 2015-03-29 | 3 | -18/+13 |
| * | Stable for amd64, wrt bug #406779 |   Agostino Sarubbo | 2015-03-27 | 3 | -7/+30 |
| * | Stable for amd64, wrt bug #537864 | Agostino Sarubbo | 2015-03-27 | 3 | -15/+24 |
| * | Fix ntl8 compatibility | Thomas Kahle | 2015-03-26 | 4 | -8/+52 |
| * | restrict ntl dep | Thomas Kahle | 2015-03-26 | 6 | -28/+24 |
| * | Restrict ntl dep | Thomas Kahle | 2015-03-26 | 3 | -7/+11 |
| * | Stable for x86, wrt bug #542270 | Agostino Sarubbo | 2015-03-25 | 3 | -18/+21 |
| * | 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 |
GitWeb
