| Commit message (Expand) | Author | Age | Files | Lines |
* | Stable for x86, wrt bug #556418 | Agostino Sarubbo | 2015-08-06 | 2 | -3/+6 |
* | Stable for x86, wrt bug #556418 | Agostino Sarubbo | 2015-08-06 | 1 | -15/+15 |
* | Updating remote-id in metadata.xml | Justin Lecher | 2015-08-04 | 2 | -7/+22 |
* | Stable for amd64, wrt bug #556418 | Agostino Sarubbo | 2015-08-03 | 1 | -5/+15 |
* | Stable for amd64, wrt bug #556418 | Agostino Sarubbo | 2015-08-03 | 2 | -3/+6 |
* | Bump agda-lib-ffi to 0.0.2-r2 for agda stdlib 2.4.2.3 | Mark Wright | 2015-08-02 | 1 | -4/+6 |
* | Bump agda-lib-ffi to 0.0.2-r2 for agda stdlib 2.4.2.3 | Mark Wright | 2015-08-02 | 2 | -1/+37 |
* | Bump agda-stdlib to 2.4.2.3 | Mark Wright | 2015-08-02 | 1 | -4/+6 |
* | Bump agda-stdlib to 2.4.2.3 | Mark Wright | 2015-08-02 | 2 | -1/+72 |
* | Bump agda to 2.4.2.3-r1 | Mark Wright | 2015-08-02 | 1 | -4/+6 |
* | Bump agda to 2.4.2.3-r1 | Mark Wright | 2015-08-02 | 2 | -1/+122 |
* | Drop old. | Sergei Trofimovich | 2015-08-02 | 1 | -12/+4 |
* | Drop old. | Sergei Trofimovich | 2015-08-02 | 6 | -428/+7 |
* | Drop old. | Sergei Trofimovich | 2015-08-02 | 1 | -21/+6 |
* | Drop old. | Sergei Trofimovich | 2015-08-02 | 3 | -142/+5 |
* | Fix building with automake other than 1.13, add slot on gmp. | Thomas Kahle | 2015-08-01 | 1 | -17/+5 |
* | Fix building with automake other than 1.13, add slot on gmp. | Thomas Kahle | 2015-08-01 | 2 | -4/+7 |
* | Thanks to PL Hayes for pointing out in bug 554290 that it needs a fix for to ... | Mark Wright | 2015-07-10 | 1 | -5/+5 |
* | Thanks to PL Hayes for pointing out in bug 554290 that it needs a fix for to ... | Mark Wright | 2015-07-10 | 2 | -4/+11 |
* | Fix Bug 554290 - sci-mathematics/octave-4.0.0 fails to build - syntax error n... | Mark Wright | 2015-07-09 | 1 | -5/+6 |
* | Fix Bug 554290 - sci-mathematics/octave-4.0.0 fails to build - syntax error n... | Mark Wright | 2015-07-09 | 3 | -5/+36 |
* | Bump octave to 4.0.0, fixes Bug 550858 - sci-mathematics/octave-4.0 version b... | Mark Wright | 2015-07-07 | 1 | -21/+14 |
* | Bump octave to 4.0.0, fixes Bug 550858 - sci-mathematics/octave-4.0 version b... | Mark Wright | 2015-07-07 | 10 | -15/+479 |
* | version bump: close bug 553942, thanks to OGINO Masanori | Jauhien Piatlicki | 2015-07-05 | 1 | -14/+16 |
* | version bump: close bug 553942, thanks to OGINO Masanori | Jauhien Piatlicki | 2015-07-05 | 2 | -1/+109 |
* | Remove slot operators from || () block where they are broken. | Michał Górny | 2015-07-05 | 1 | -6/+18 |
* | Remove slot operators from || () block where they are broken. | Michał Górny | 2015-07-05 | 3 | -7/+11 |
* | Version bump | Andrey Grozin | 2015-06-29 | 1 | -20/+20 |
* | Version bump | Andrey Grozin | 2015-06-29 | 2 | -3/+9 |
* | Add missing eclass | Justin Lecher | 2015-06-28 | 1 | -25/+3 |
* | Add missing eclass | Justin Lecher | 2015-06-28 | 3 | -8/+12 |
* | Stable for amd64, wrt bug #553322 | Agostino Sarubbo | 2015-06-27 | 1 | -19/+17 |
* | Stable for amd64, wrt bug #553322 | Agostino Sarubbo | 2015-06-27 | 2 | -3/+6 |
* | New package sci-mathematics/rw to compute rank-width decompositions of graphs... | Michael Orlitzky | 2015-06-22 | 1 | -1/+24 |
* | New package sci-mathematics/rw to compute rank-width decompositions of graphs... | Michael Orlitzky | 2015-06-22 | 4 | -0/+81 |
* | Updating remote-id in metadata.xml | Justin Lecher | 2015-06-15 | 2 | -14/+28 |
* | Updating remote-id in metadata.xml | Justin Lecher | 2015-06-15 | 2 | -18/+21 |
* | Updating remote-id in metadata.xml | Justin Lecher | 2015-06-15 | 2 | -10/+25 |
* | Updating remote-id in metadata.xml | Justin Lecher | 2015-06-15 | 2 | -1/+26 |
* | Updating remote-id in metadata.xml | Justin Lecher | 2015-06-15 | 2 | -16/+19 |
* | Updating remote-id in metadata.xml | Justin Lecher | 2015-06-15 | 2 | -7/+22 |
* | Updating remote-id in metadata.xml | Justin Lecher | 2015-06-15 | 2 | -18/+21 |
* | Updating remote-id in metadata.xml | Justin Lecher | 2015-06-15 | 2 | -18/+21 |
* | Updating remote-id in metadata.xml | Justin Lecher | 2015-06-15 | 2 | -11/+26 |
* | Updating remote-id in metadata.xml | Justin Lecher | 2015-06-15 | 2 | -15/+20 |
* | Updating remote-id in metadata.xml | Justin Lecher | 2015-06-15 | 2 | -23/+26 |
* | Updating remote-id in metadata.xml | Justin Lecher | 2015-06-15 | 2 | -1/+26 |
* | Updating remote-id in metadata.xml | Justin Lecher | 2015-06-15 | 2 | -11/+26 |
* | Updating remote-id in metadata.xml | Justin Lecher | 2015-06-15 | 2 | -31/+34 |
* | Updating remote-id in metadata.xml | Justin Lecher | 2015-06-15 | 2 | -22/+26 |