| Commit message (Expand) | Author | Age | Files | Lines |
* | Update to use mirror://. | ![](//www.gravatar.com/avatar/ff5429ef741b434eb2011692832f810e?s=13&d=retro) Michał Górny | 2012-04-24 | 1 | -8/+10 |
* | Update to use mirror://. | ![](//www.gravatar.com/avatar/ff5429ef741b434eb2011692832f810e?s=13&d=retro) Michał Górny | 2012-04-24 | 3 | -6/+10 |
* | Update to use mirror://. | ![](//www.gravatar.com/avatar/ff5429ef741b434eb2011692832f810e?s=13&d=retro) Michał Górny | 2012-04-24 | 1 | -10/+12 |
* | Update to use mirror://. | ![](//www.gravatar.com/avatar/ff5429ef741b434eb2011692832f810e?s=13&d=retro) Michał Górny | 2012-04-24 | 5 | -9/+13 |
* | Bump to 2.12 | ![](//www.gravatar.com/avatar/5171e90285b0691175a7325bf4fa6a5c?s=13&d=retro) Thomas Kahle | 2012-04-20 | 1 | -4/+7 |
* | Bump to 2.12 | ![](//www.gravatar.com/avatar/5171e90285b0691175a7325bf4fa6a5c?s=13&d=retro) Thomas Kahle | 2012-04-20 | 3 | -2/+102 |
* | Version bump | ![](//www.gravatar.com/avatar/0357aa5e2365f21d213446a991110e9e?s=13&d=retro) Sebastien Fabbro | 2012-04-18 | 1 | -4/+7 |
* | Version bump | ![](//www.gravatar.com/avatar/0357aa5e2365f21d213446a991110e9e?s=13&d=retro) Sebastien Fabbro | 2012-04-18 | 2 | -2/+82 |
* | Ebuild Maintenance and x86 stable per bug 412179. Bump to 27.4 (Bug 412205), ... | ![](//www.gravatar.com/avatar/5171e90285b0691175a7325bf4fa6a5c?s=13&d=retro) Thomas Kahle | 2012-04-16 | 1 | -11/+15 |
* | Ebuild Maintenance and x86 stable per bug 412179. Bump to 27.4 (Bug 412205), ... | ![](//www.gravatar.com/avatar/5171e90285b0691175a7325bf4fa6a5c?s=13&d=retro) Thomas Kahle | 2012-04-16 | 6 | -204/+40 |
* | Version bump | ![](//www.gravatar.com/avatar/0357aa5e2365f21d213446a991110e9e?s=13&d=retro) Sebastien Fabbro | 2012-04-16 | 1 | -6/+6 |
* | Version bump | ![](//www.gravatar.com/avatar/0357aa5e2365f21d213446a991110e9e?s=13&d=retro) Sebastien Fabbro | 2012-04-16 | 2 | -2/+8 |
* | Version bump | ![](//www.gravatar.com/avatar/0357aa5e2365f21d213446a991110e9e?s=13&d=retro) Sebastien Fabbro | 2012-04-16 | 1 | -19/+7 |
* | Version bump | ![](//www.gravatar.com/avatar/0357aa5e2365f21d213446a991110e9e?s=13&d=retro) Sebastien Fabbro | 2012-04-16 | 3 | -142/+26 |
* | Stable for amd64, wrt bug #412179 | ![](//www.gravatar.com/avatar/ffd3ec5554c5bffa647e2bf8ae171e68?s=13&d=retro) Agostino Sarubbo | 2012-04-16 | 1 | -12/+2 |
* | Stable for amd64, wrt bug #412179 | ![](//www.gravatar.com/avatar/ffd3ec5554c5bffa647e2bf8ae171e68?s=13&d=retro) Agostino Sarubbo | 2012-04-16 | 2 | -5/+8 |
* | Move EAPI assignment to top of ebuild, bug 411875. | ![](//www.gravatar.com/avatar/9b780464538c2e5d91e7ef48683ad46d?s=13&d=retro) Ulrich Müller | 2012-04-13 | 1 | -8/+18 |
* | Move EAPI assignment to top of ebuild, bug 411875. | ![](//www.gravatar.com/avatar/9b780464538c2e5d91e7ef48683ad46d?s=13&d=retro) Ulrich Müller | 2012-04-13 | 4 | -9/+13 |
* | Move EAPI assignment to top of ebuild, bug 411875. | ![](//www.gravatar.com/avatar/9b780464538c2e5d91e7ef48683ad46d?s=13&d=retro) Ulrich Müller | 2012-04-13 | 1 | -8/+18 |
* | Move EAPI assignment to top of ebuild, bug 411875. | ![](//www.gravatar.com/avatar/9b780464538c2e5d91e7ef48683ad46d?s=13&d=retro) Ulrich Müller | 2012-04-13 | 4 | -9/+13 |
* | Bump to 0.9.0 | ![](//www.gravatar.com/avatar/5171e90285b0691175a7325bf4fa6a5c?s=13&d=retro) Thomas Kahle | 2012-04-13 | 1 | -6/+8 |
* | Bump to 0.9.0 | ![](//www.gravatar.com/avatar/5171e90285b0691175a7325bf4fa6a5c?s=13&d=retro) Thomas Kahle | 2012-04-13 | 2 | -2/+55 |
* | agda 2.3.0 and 2.3.0.1 requires syb, add more range checks to deps | ![](//www.gravatar.com/avatar/630b5cb6854ec94d23c6402af66b8ab9?s=13&d=retro) Mark Wright | 2012-04-13 | 1 | -3/+13 |
* | agda 2.3.0 and 2.3.0.1 requires syb, add more range checks to deps | ![](//www.gravatar.com/avatar/630b5cb6854ec94d23c6402af66b8ab9?s=13&d=retro) Mark Wright | 2012-04-13 | 3 | -5/+21 |
* | Fix agda 2.3.0.1 build with mtl-2.1 | ![](//www.gravatar.com/avatar/630b5cb6854ec94d23c6402af66b8ab9?s=13&d=retro) Mark Wright | 2012-04-13 | 1 | -12/+3 |
* | Fix agda 2.3.0.1 build with mtl-2.1 | ![](//www.gravatar.com/avatar/630b5cb6854ec94d23c6402af66b8ab9?s=13&d=retro) Mark Wright | 2012-04-13 | 3 | -3/+20 |
* | Fix python3 generation (bug #411699), add vtk flag to avoid automagic, prefix... | ![](//www.gravatar.com/avatar/0357aa5e2365f21d213446a991110e9e?s=13&d=retro) Sebastien Fabbro | 2012-04-12 | 1 | -3/+14 |
* | Fix python3 generation (bug #411699), add vtk flag to avoid automagic, prefix... | ![](//www.gravatar.com/avatar/0357aa5e2365f21d213446a991110e9e?s=13&d=retro) Sebastien Fabbro | 2012-04-12 | 4 | -18/+55 |
* | Version bump, thanks to José Romildo Malaquias <j.romildo@gmail.com> for the... | ![](//www.gravatar.com/avatar/2fc38eebd25a329f04c24e1e8bd47fb5?s=13&d=retro) Andrey Grozin | 2012-04-05 | 1 | -15/+8 |
* | Version bump, thanks to José Romildo Malaquias <j.romildo@gmail.com> for the... | ![](//www.gravatar.com/avatar/2fc38eebd25a329f04c24e1e8bd47fb5?s=13&d=retro) Andrey Grozin | 2012-04-05 | 7 | -1/+243 |
* | Version bump | ![](//www.gravatar.com/avatar/2fc38eebd25a329f04c24e1e8bd47fb5?s=13&d=retro) Andrey Grozin | 2012-04-05 | 1 | -1/+5 |
* | Version bump | ![](//www.gravatar.com/avatar/2fc38eebd25a329f04c24e1e8bd47fb5?s=13&d=retro) Andrey Grozin | 2012-04-05 | 4 | -1/+278 |
* | Fix agda 2.3.0.1 build with haskell-src-exts-1.13.0 | ![](//www.gravatar.com/avatar/630b5cb6854ec94d23c6402af66b8ab9?s=13&d=retro) Mark Wright | 2012-04-01 | 1 | -5/+6 |
* | Fix agda 2.3.0.1 build with haskell-src-exts-1.13.0 | ![](//www.gravatar.com/avatar/630b5cb6854ec94d23c6402af66b8ab9?s=13&d=retro) Mark Wright | 2012-04-01 | 3 | -2/+33 |
* | Marking lpsolve-5.5.2.0 ~ppc64 for bug 398521 | ![](//www.gravatar.com/avatar/e92ca83ef2c7e49838541e4b15f6e035?s=13&d=retro) Brent Baude | 2012-03-26 | 1 | -12/+2 |
* | Marking lpsolve-5.5.2.0 ~ppc64 for bug 398521 | ![](//www.gravatar.com/avatar/e92ca83ef2c7e49838541e4b15f6e035?s=13&d=retro) Brent Baude | 2012-03-26 | 2 | -5/+8 |
* | Marked ~x86-macos | ![](//www.gravatar.com/avatar/1df68b8a4354a76e6006c1f429fd7bce?s=13&d=retro) Fabian Groffen | 2012-03-25 | 1 | -7/+7 |
* | Marked ~x86-macos | ![](//www.gravatar.com/avatar/1df68b8a4354a76e6006c1f429fd7bce?s=13&d=retro) Fabian Groffen | 2012-03-25 | 2 | -3/+6 |
* | Drop ia64/sparc | ![](//www.gravatar.com/avatar/fba59293da3e3af0ebdb934abf63ad16?s=13&d=retro) Raúl Porcel | 2012-03-25 | 1 | -5/+15 |
* | Drop ia64/sparc | ![](//www.gravatar.com/avatar/fba59293da3e3af0ebdb934abf63ad16?s=13&d=retro) Raúl Porcel | 2012-03-25 | 5 | -10/+18 |
* | Add agda-executable, Command-line program for type-checking and compiling Agd... | ![](//www.gravatar.com/avatar/630b5cb6854ec94d23c6402af66b8ab9?s=13&d=retro) Mark Wright | 2012-03-25 | 1 | -0/+16 |
* | Add agda-executable, Command-line program for type-checking and compiling Agd... | ![](//www.gravatar.com/avatar/630b5cb6854ec94d23c6402af66b8ab9?s=13&d=retro) Mark Wright | 2012-03-25 | 4 | -0/+89 |
* | Thanks to tomprince for adding support for agda-stdlib. | ![](//www.gravatar.com/avatar/630b5cb6854ec94d23c6402af66b8ab9?s=13&d=retro) Mark Wright | 2012-03-25 | 1 | -0/+15 |
* | Thanks to tomprince for adding support for agda-stdlib. | ![](//www.gravatar.com/avatar/630b5cb6854ec94d23c6402af66b8ab9?s=13&d=retro) Mark Wright | 2012-03-25 | 4 | -0/+62 |
* | Thanks to tomprince for adding support for agda-stdlib. Bump to 2.3.0.1, EAPI... | ![](//www.gravatar.com/avatar/630b5cb6854ec94d23c6402af66b8ab9?s=13&d=retro) Mark Wright | 2012-03-25 | 1 | -6/+9 |
* | Thanks to tomprince for adding support for agda-stdlib. Bump to 2.3.0.1, EAPI... | ![](//www.gravatar.com/avatar/630b5cb6854ec94d23c6402af66b8ab9?s=13&d=retro) Mark Wright | 2012-03-25 | 5 | -16/+126 |
* | Correct gold patch to fix build on Darwin targets, #408497 | ![](//www.gravatar.com/avatar/9e34d19800cd83b303605a9bbe0882d3?s=13&d=retro) Justin Lecher | 2012-03-25 | 1 | -8/+8 |
* | Correct gold patch to fix build on Darwin targets, #408497 | ![](//www.gravatar.com/avatar/9e34d19800cd83b303605a9bbe0882d3?s=13&d=retro) Justin Lecher | 2012-03-25 | 4 | -25/+20 |
* | add 3.1.4 with python support. Kudos to all contributors from lmona.de and sa... | ![](//www.gravatar.com/avatar/5171e90285b0691175a7325bf4fa6a5c?s=13&d=retro) Thomas Kahle | 2012-03-24 | 1 | -4/+8 |
* | add 3.1.4 with python support. Kudos to all contributors from lmona.de and sa... | ![](//www.gravatar.com/avatar/5171e90285b0691175a7325bf4fa6a5c?s=13&d=retro) Thomas Kahle | 2012-03-24 | 3 | -2/+233 |