| Commit message (Expand) | Author | Age | Files | Lines |
* | New USE flag doc; build with USE=-fox fixed | ![](//www.gravatar.com/avatar/2fc38eebd25a329f04c24e1e8bd47fb5?s=13&d=retro) Andrey Grozin | 2012-09-21 | 1 | -2/+3 |
* | New USE flag doc; build with USE=-fox fixed | ![](//www.gravatar.com/avatar/2fc38eebd25a329f04c24e1e8bd47fb5?s=13&d=retro) Andrey Grozin | 2012-09-21 | 3 | -3/+44 |
* | Initial import | ![](//www.gravatar.com/avatar/2fc38eebd25a329f04c24e1e8bd47fb5?s=13&d=retro) Andrey Grozin | 2012-09-20 | 1 | -2/+2 |
* | Initial import | ![](//www.gravatar.com/avatar/2fc38eebd25a329f04c24e1e8bd47fb5?s=13&d=retro) Andrey Grozin | 2012-09-20 | 5 | -0/+108 |
* | Bump E to 1.6 Tiger Hill | ![](//www.gravatar.com/avatar/630b5cb6854ec94d23c6402af66b8ab9?s=13&d=retro) Mark Wright | 2012-09-20 | 1 | -8/+10 |
* | Bump E to 1.6 Tiger Hill | ![](//www.gravatar.com/avatar/630b5cb6854ec94d23c6402af66b8ab9?s=13&d=retro) Mark Wright | 2012-09-20 | 2 | -2/+137 |
* | isabelle doc requires a symlink | ![](//www.gravatar.com/avatar/630b5cb6854ec94d23c6402af66b8ab9?s=13&d=retro) Mark Wright | 2012-09-20 | 1 | -22/+22 |
* | isabelle doc requires a symlink | ![](//www.gravatar.com/avatar/630b5cb6854ec94d23c6402af66b8ab9?s=13&d=retro) Mark Wright | 2012-09-20 | 3 | -7/+13 |
* | Version bump | ![](//www.gravatar.com/avatar/2fc38eebd25a329f04c24e1e8bd47fb5?s=13&d=retro) Andrey Grozin | 2012-09-18 | 1 | -4/+4 |
* | Version bump | ![](//www.gravatar.com/avatar/2fc38eebd25a329f04c24e1e8bd47fb5?s=13&d=retro) Andrey Grozin | 2012-09-18 | 3 | -8/+20 |
* | Version bump, closing #435096 | ![](//www.gravatar.com/avatar/2fc38eebd25a329f04c24e1e8bd47fb5?s=13&d=retro) Andrey Grozin | 2012-09-16 | 1 | -18/+10 |
* | Version bump, closing #435096 | ![](//www.gravatar.com/avatar/2fc38eebd25a329f04c24e1e8bd47fb5?s=13&d=retro) Andrey Grozin | 2012-09-16 | 2 | -1/+67 |
* | move sci-mathematics/agda-executable/agda-executable-2.3.0.ebuild ebuild to m... | ![](//www.gravatar.com/avatar/50f941a69588c4c49c4d3bff0704ef47?s=13&d=retro) Alexander Vershilov | 2012-09-12 | 1 | -16/+6 |
* | move sci-mathematics/agda-executable/agda-executable-2.3.0.ebuild ebuild to m... | ![](//www.gravatar.com/avatar/50f941a69588c4c49c4d3bff0704ef47?s=13&d=retro) Alexander Vershilov | 2012-09-12 | 3 | -6/+10 |
* | move sci-mathematics/agda/agda-2.3.0.1.ebuild ebuild to mirror://hackage | ![](//www.gravatar.com/avatar/50f941a69588c4c49c4d3bff0704ef47?s=13&d=retro) Alexander Vershilov | 2012-09-12 | 1 | -29/+19 |
* | move sci-mathematics/agda/agda-2.3.0.1.ebuild ebuild to mirror://hackage | ![](//www.gravatar.com/avatar/50f941a69588c4c49c4d3bff0704ef47?s=13&d=retro) Alexander Vershilov | 2012-09-12 | 3 | -6/+9 |
* | Correcting sbcl workaround (#411453); dont load init file in ccl (#432246, th... | ![](//www.gravatar.com/avatar/2fc38eebd25a329f04c24e1e8bd47fb5?s=13&d=retro) Andrey Grozin | 2012-08-25 | 1 | -4/+5 |
* | Correcting sbcl workaround (#411453); dont load init file in ccl (#432246, th... | ![](//www.gravatar.com/avatar/2fc38eebd25a329f04c24e1e8bd47fb5?s=13&d=retro) Andrey Grozin | 2012-08-25 | 5 | -19/+35 |
* | version bump, use camlp4 and switch the desktop entry to make_desktop_entry | ![](//www.gravatar.com/avatar/bdfe43959b94effb58540b239fc9a312?s=13&d=retro) Alexis Ballier | 2012-08-24 | 1 | -4/+7 |
* | version bump, use camlp4 and switch the desktop entry to make_desktop_entry | ![](//www.gravatar.com/avatar/bdfe43959b94effb58540b239fc9a312?s=13&d=retro) Alexis Ballier | 2012-08-24 | 3 | -1/+116 |
* | Add Science category to the desktop entry, fixing a repoman warning. | ![](//www.gravatar.com/avatar/bdfe43959b94effb58540b239fc9a312?s=13&d=retro) Alexis Ballier | 2012-08-24 | 1 | -5/+5 |
* | Add Science category to the desktop entry, fixing a repoman warning. | ![](//www.gravatar.com/avatar/bdfe43959b94effb58540b239fc9a312?s=13&d=retro) Alexis Ballier | 2012-08-24 | 2 | -2/+5 |
* | fix build with lablgtk 2.16 | ![](//www.gravatar.com/avatar/bdfe43959b94effb58540b239fc9a312?s=13&d=retro) Alexis Ballier | 2012-08-24 | 1 | -15/+16 |
* | fix build with lablgtk 2.16 | ![](//www.gravatar.com/avatar/bdfe43959b94effb58540b239fc9a312?s=13&d=retro) Alexis Ballier | 2012-08-24 | 3 | -2/+52 |
* | added prefix keywords (bug #349742) | ![](//www.gravatar.com/avatar/c92edb9223621e2e9c8de693e3b6ed6d?s=13&d=retro) Christoph Junghans | 2012-08-23 | 1 | -12/+16 |
* | added prefix keywords (bug #349742) | ![](//www.gravatar.com/avatar/c92edb9223621e2e9c8de693e3b6ed6d?s=13&d=retro) Christoph Junghans | 2012-08-23 | 2 | -4/+6 |
* | Version bump, cleaning old | ![](//www.gravatar.com/avatar/2fc38eebd25a329f04c24e1e8bd47fb5?s=13&d=retro) Andrey Grozin | 2012-08-15 | 1 | -33/+25 |
* | Version bump, cleaning old | ![](//www.gravatar.com/avatar/2fc38eebd25a329f04c24e1e8bd47fb5?s=13&d=retro) Andrey Grozin | 2012-08-15 | 12 | -543/+56 |
* | Add missing OS-X patch. Thanks Francois Bissey | ![](//www.gravatar.com/avatar/5171e90285b0691175a7325bf4fa6a5c?s=13&d=retro) Thomas Kahle | 2012-08-15 | 1 | -36/+27 |
* | Add missing OS-X patch. Thanks Francois Bissey | ![](//www.gravatar.com/avatar/5171e90285b0691175a7325bf4fa6a5c?s=13&d=retro) Thomas Kahle | 2012-08-15 | 2 | -2/+28 |
* | sci-mathematics/spass: Clean residuals from another fix solution | ![](//www.gravatar.com/avatar/9e34d19800cd83b303605a9bbe0882d3?s=13&d=retro) Justin Lecher | 2012-08-10 | 1 | -5/+5 |
* | sci-mathematics/spass: Clean residuals from another fix solution | ![](//www.gravatar.com/avatar/9e34d19800cd83b303605a9bbe0882d3?s=13&d=retro) Justin Lecher | 2012-08-10 | 2 | -3/+5 |
* | sci-mathematics/spass: Respect CFLAGS, #430676; add missing USE=examples | ![](//www.gravatar.com/avatar/9e34d19800cd83b303605a9bbe0882d3?s=13&d=retro) Justin Lecher | 2012-08-10 | 1 | -10/+7 |
* | sci-mathematics/spass: Respect CFLAGS, #430676; add missing USE=examples | ![](//www.gravatar.com/avatar/9e34d19800cd83b303605a9bbe0882d3?s=13&d=retro) Justin Lecher | 2012-08-10 | 3 | -24/+29 |
* | Fix metadata. | ![](//www.gravatar.com/avatar/8c8fcfa0151cc947e01702ac90922c9b?s=13&d=retro) Diego Elio Pettenò | 2012-08-10 | 1 | -8/+12 |
* | Fix metadata. | ![](//www.gravatar.com/avatar/8c8fcfa0151cc947e01702ac90922c9b?s=13&d=retro) Diego Elio Pettenò | 2012-08-10 | 2 | -3/+5 |
* | Version bump | ![](//www.gravatar.com/avatar/0357aa5e2365f21d213446a991110e9e?s=13&d=retro) Sebastien Fabbro | 2012-08-09 | 1 | -4/+6 |
* | Version bump | ![](//www.gravatar.com/avatar/0357aa5e2365f21d213446a991110e9e?s=13&d=retro) Sebastien Fabbro | 2012-08-09 | 2 | -1/+144 |
* | Version bump | ![](//www.gravatar.com/avatar/0357aa5e2365f21d213446a991110e9e?s=13&d=retro) Sebastien Fabbro | 2012-08-09 | 1 | -13/+13 |
* | Version bump | ![](//www.gravatar.com/avatar/0357aa5e2365f21d213446a991110e9e?s=13&d=retro) Sebastien Fabbro | 2012-08-09 | 2 | -6/+11 |
* | keyword amd64-linux x86-linux | ![](//www.gravatar.com/avatar/0357aa5e2365f21d213446a991110e9e?s=13&d=retro) Sebastien Fabbro | 2012-08-09 | 1 | -17/+13 |
* | keyword amd64-linux x86-linux | ![](//www.gravatar.com/avatar/0357aa5e2365f21d213446a991110e9e?s=13&d=retro) Sebastien Fabbro | 2012-08-09 | 2 | -10/+12 |
* | keyword amd64-linux x86-linux | ![](//www.gravatar.com/avatar/0357aa5e2365f21d213446a991110e9e?s=13&d=retro) Sebastien Fabbro | 2012-08-09 | 1 | -13/+6 |
* | keyword amd64-linux x86-linux | ![](//www.gravatar.com/avatar/0357aa5e2365f21d213446a991110e9e?s=13&d=retro) Sebastien Fabbro | 2012-08-09 | 5 | -162/+7 |
* | Version bump. Fixed for prefix | ![](//www.gravatar.com/avatar/0357aa5e2365f21d213446a991110e9e?s=13&d=retro) Sebastien Fabbro | 2012-08-09 | 1 | -18/+18 |
* | Version bump. Fixed for prefix | ![](//www.gravatar.com/avatar/0357aa5e2365f21d213446a991110e9e?s=13&d=retro) Sebastien Fabbro | 2012-08-09 | 2 | -16/+25 |
* | Version bump. | ![](//www.gravatar.com/avatar/78597b80d602e2938a22216f76b86b8c?s=13&d=retro) Michael Palimaka | 2012-08-07 | 1 | -14/+16 |
* | Version bump. | ![](//www.gravatar.com/avatar/78597b80d602e2938a22216f76b86b8c?s=13&d=retro) Michael Palimaka | 2012-08-07 | 2 | -2/+22 |
* | Ugly workaround for broken sbcl in the main tree, closing #423267 | ![](//www.gravatar.com/avatar/2fc38eebd25a329f04c24e1e8bd47fb5?s=13&d=retro) Andrey Grozin | 2012-08-05 | 1 | -8/+9 |
* | Ugly workaround for broken sbcl in the main tree, closing #423267 | ![](//www.gravatar.com/avatar/2fc38eebd25a329f04c24e1e8bd47fb5?s=13&d=retro) Andrey Grozin | 2012-08-05 | 3 | -3/+24 |