| Commit message (Expand) | Author | Age | Files | Lines |
* | Version bump (thanks Helmut Jarausch, bug 555732). | ![](//www.gravatar.com/avatar/ec91bf55409cdd33fab8840bbf113695?s=13&d=retro) Michael Weber | 2015-08-08 | 3 | -5/+87 |
* | Revbump to cmakeargs variable name, adjust policy for cmake-3.3 and fix subdi... | ![](//www.gravatar.com/avatar/ec91bf55409cdd33fab8840bbf113695?s=13&d=retro) Michael Weber | 2015-08-08 | 5 | -8/+117 |
* | Stable for amd64, wrt bug #554066 | ![](//www.gravatar.com/avatar/ffd3ec5554c5bffa647e2bf8ae171e68?s=13&d=retro) Agostino Sarubbo | 2015-08-06 | 3 | -8/+21 |
* | Stable for x86, wrt bug #556418 | ![](//www.gravatar.com/avatar/ffd3ec5554c5bffa647e2bf8ae171e68?s=13&d=retro) Agostino Sarubbo | 2015-08-06 | 3 | -18/+21 |
* | Updating remote-id in metadata.xml | ![](//www.gravatar.com/avatar/9e34d19800cd83b303605a9bbe0882d3?s=13&d=retro) Justin Lecher | 2015-08-04 | 2 | -7/+22 |
* | Stable for amd64, wrt bug #556418 | ![](//www.gravatar.com/avatar/ffd3ec5554c5bffa647e2bf8ae171e68?s=13&d=retro) Agostino Sarubbo | 2015-08-03 | 3 | -8/+21 |
* | Bump agda-lib-ffi to 0.0.2-r2 for agda stdlib 2.4.2.3 | ![](//www.gravatar.com/avatar/630b5cb6854ec94d23c6402af66b8ab9?s=13&d=retro) Mark Wright | 2015-08-02 | 3 | -5/+43 |
* | Bump agda-stdlib to 2.4.2.3 | ![](//www.gravatar.com/avatar/630b5cb6854ec94d23c6402af66b8ab9?s=13&d=retro) Mark Wright | 2015-08-02 | 3 | -5/+78 |
* | Bump agda to 2.4.2.3-r1 | ![](//www.gravatar.com/avatar/630b5cb6854ec94d23c6402af66b8ab9?s=13&d=retro) Mark Wright | 2015-08-02 | 3 | -5/+128 |
* | Drop old. | ![](//www.gravatar.com/avatar/1be5b056f9ea2711489589f41227f5a0?s=13&d=retro) Sergei Trofimovich | 2015-08-02 | 11 | -603/+22 |
* | Fix building with automake other than 1.13, add slot on gmp. | ![](//www.gravatar.com/avatar/5171e90285b0691175a7325bf4fa6a5c?s=13&d=retro) Thomas Kahle | 2015-08-01 | 3 | -21/+12 |
* | Thanks to PL Hayes for pointing out in bug 554290 that it needs a fix for to ... | ![](//www.gravatar.com/avatar/630b5cb6854ec94d23c6402af66b8ab9?s=13&d=retro) Mark Wright | 2015-07-10 | 3 | -9/+16 |
* | Fix Bug 554290 - sci-mathematics/octave-4.0.0 fails to build - syntax error n... | ![](//www.gravatar.com/avatar/630b5cb6854ec94d23c6402af66b8ab9?s=13&d=retro) Mark Wright | 2015-07-09 | 4 | -10/+42 |
* | Bump octave to 4.0.0, fixes Bug 550858 - sci-mathematics/octave-4.0 version b... | ![](//www.gravatar.com/avatar/630b5cb6854ec94d23c6402af66b8ab9?s=13&d=retro) Mark Wright | 2015-07-07 | 11 | -36/+493 |
* | version bump: close bug 553942, thanks to OGINO Masanori | ![](//www.gravatar.com/avatar/dbfd06d17b4477b8bda80b9213b694a6?s=13&d=retro) Jauhien Piatlicki | 2015-07-05 | 3 | -15/+125 |
* | Remove slot operators from || () block where they are broken. | ![](//www.gravatar.com/avatar/ff5429ef741b434eb2011692832f810e?s=13&d=retro) Michał Górny | 2015-07-05 | 4 | -13/+29 |
* | Version bump | ![](//www.gravatar.com/avatar/2fc38eebd25a329f04c24e1e8bd47fb5?s=13&d=retro) Andrey Grozin | 2015-06-29 | 3 | -23/+29 |
* | Add missing eclass | ![](//www.gravatar.com/avatar/9e34d19800cd83b303605a9bbe0882d3?s=13&d=retro) Justin Lecher | 2015-06-28 | 4 | -33/+15 |
* | Stable for amd64, wrt bug #553322 | ![](//www.gravatar.com/avatar/ffd3ec5554c5bffa647e2bf8ae171e68?s=13&d=retro) Agostino Sarubbo | 2015-06-27 | 3 | -22/+23 |
* | New package sci-mathematics/rw to compute rank-width decompositions of graphs... | ![](//www.gravatar.com/avatar/89691ba1d1ed8538e2435b9199a115e4?s=13&d=retro) Michael Orlitzky | 2015-06-22 | 3 | -1/+93 |
* | New package sci-mathematics/rw to compute rank-width decompositions of graphs... | ![](//www.gravatar.com/avatar/89691ba1d1ed8538e2435b9199a115e4?s=13&d=retro) Michael Orlitzky | 2015-06-22 | 2 | -0/+12 |
* | Updating remote-id in metadata.xml | ![](//www.gravatar.com/avatar/9e34d19800cd83b303605a9bbe0882d3?s=13&d=retro) Justin Lecher | 2015-06-15 | 38 | -250/+491 |
* | Remove old. | ![](//www.gravatar.com/avatar/f5112178a0c945866167c680fa309e20?s=13&d=retro) Manuel Rüger | 2015-06-11 | 5 | -85/+8 |
* | bump to 1.6.6 | ![](//www.gravatar.com/avatar/5171e90285b0691175a7325bf4fa6a5c?s=13&d=retro) Thomas Kahle | 2015-06-09 | 3 | -5/+50 |
* | bump to 1.6.5 | ![](//www.gravatar.com/avatar/5171e90285b0691175a7325bf4fa6a5c?s=13&d=retro) Thomas Kahle | 2015-06-05 | 3 | -2/+57 |
* | virtual/glu is needed (#514548) | ![](//www.gravatar.com/avatar/62f8ca529bbf9ee9aa3c1b4bf6619d17?s=13&d=retro) Pacho Ramos | 2015-06-04 | 3 | -6/+20 |
* | Port to upcoming ghc-7.10. | ![](//www.gravatar.com/avatar/1be5b056f9ea2711489589f41227f5a0?s=13&d=retro) Sergei Trofimovich | 2015-06-01 | 3 | -10/+13 |
* | Stable for x86, wrt bug #549972 | ![](//www.gravatar.com/avatar/ffd3ec5554c5bffa647e2bf8ae171e68?s=13&d=retro) Agostino Sarubbo | 2015-05-27 | 3 | -18/+21 |
* | Stable for amd64, wrt bug #549972 | ![](//www.gravatar.com/avatar/ffd3ec5554c5bffa647e2bf8ae171e68?s=13&d=retro) Agostino Sarubbo | 2015-05-27 | 3 | -8/+21 |
* | Bump to 28.6 (bug 549972) | ![](//www.gravatar.com/avatar/5171e90285b0691175a7325bf4fa6a5c?s=13&d=retro) Thomas Kahle | 2015-05-25 | 3 | -19/+81 |
* | sys-proclaim is now on unconditionally, closing #548060 | ![](//www.gravatar.com/avatar/2fc38eebd25a329f04c24e1e8bd47fb5?s=13&d=retro) Andrey Grozin | 2015-05-03 | 3 | -23/+22 |
* | Version bump | ![](//www.gravatar.com/avatar/2fc38eebd25a329f04c24e1e8bd47fb5?s=13&d=retro) Andrey Grozin | 2015-05-01 | 3 | -21/+27 |
* | Thanks to Ian Delaney for reviewing: the norm is to revbump with the change o... | ![](//www.gravatar.com/avatar/630b5cb6854ec94d23c6402af66b8ab9?s=13&d=retro) Mark Wright | 2015-05-01 | 3 | -4/+22 |
* | EAPI=5. Use python 2.7. Thanks to Ian Delaney for helping to upgrade to distu... | ![](//www.gravatar.com/avatar/630b5cb6854ec94d23c6402af66b8ab9?s=13&d=retro) Mark Wright | 2015-05-01 | 3 | -35/+29 |
* | Whitespace | ![](//www.gravatar.com/avatar/9a7dd4df424714072d54afbd75799103?s=13&d=retro) Patrick Lauer | 2015-04-29 | 3 | -5/+7 |
* | Bump | ![](//www.gravatar.com/avatar/9a7dd4df424714072d54afbd75799103?s=13&d=retro) Patrick Lauer | 2015-04-29 | 3 | -3/+51 |
* | Change repository location for -9999 | ![](//www.gravatar.com/avatar/9a7dd4df424714072d54afbd75799103?s=13&d=retro) Patrick Lauer | 2015-04-29 | 3 | -7/+11 |
* | Changing wxMaxima -> wxmaxima in new places, #547548 | ![](//www.gravatar.com/avatar/2fc38eebd25a329f04c24e1e8bd47fb5?s=13&d=retro) Andrey Grozin | 2015-04-28 | 3 | -20/+31 |
* | Fix collision (bug 547030), remove old. | ![](//www.gravatar.com/avatar/5171e90285b0691175a7325bf4fa6a5c?s=13&d=retro) Thomas Kahle | 2015-04-26 | 5 | -116/+24 |
* | remove old | ![](//www.gravatar.com/avatar/5171e90285b0691175a7325bf4fa6a5c?s=13&d=retro) Thomas Kahle | 2015-04-24 | 6 | -203/+11 |
* | Drop old | ![](//www.gravatar.com/avatar/9e34d19800cd83b303605a9bbe0882d3?s=13&d=retro) Justin Lecher | 2015-04-22 | 11 | -652/+19 |
* | Drop old | ![](//www.gravatar.com/avatar/9e34d19800cd83b303605a9bbe0882d3?s=13&d=retro) Justin Lecher | 2015-04-22 | 26 | -2470/+94 |
* | ppc stable wrt bug #406779 | ![](//www.gravatar.com/avatar/62f8ca529bbf9ee9aa3c1b4bf6619d17?s=13&d=retro) Pacho Ramos | 2015-04-21 | 3 | -8/+11 |
* | ppc stable wrt bug #406773 | ![](//www.gravatar.com/avatar/62f8ca529bbf9ee9aa3c1b4bf6619d17?s=13&d=retro) Pacho Ramos | 2015-04-21 | 3 | -21/+12 |
* | x86 stable wrt bug #406779 | ![](//www.gravatar.com/avatar/62f8ca529bbf9ee9aa3c1b4bf6619d17?s=13&d=retro) Pacho Ramos | 2015-04-21 | 3 | -21/+12 |
* | x86 stable wrt bug #542666 | ![](//www.gravatar.com/avatar/62f8ca529bbf9ee9aa3c1b4bf6619d17?s=13&d=retro) Pacho Ramos | 2015-04-21 | 3 | -18/+11 |
* | x86 stable wrt bug #542572 | ![](//www.gravatar.com/avatar/62f8ca529bbf9ee9aa3c1b4bf6619d17?s=13&d=retro) Pacho Ramos | 2015-04-21 | 3 | -20/+11 |
* | Remove old. | ![](//www.gravatar.com/avatar/78597b80d602e2938a22216f76b86b8c?s=13&d=retro) Michael Palimaka | 2015-04-19 | 8 | -158/+23 |
* | Stable for amd64, wrt bug #542666 | ![](//www.gravatar.com/avatar/ffd3ec5554c5bffa647e2bf8ae171e68?s=13&d=retro) Agostino Sarubbo | 2015-04-19 | 3 | -22/+23 |
* | x86 stable wrt bug #537864 | ![](//www.gravatar.com/avatar/62f8ca529bbf9ee9aa3c1b4bf6619d17?s=13&d=retro) Pacho Ramos | 2015-04-19 | 3 | -18/+11 |