| Commit message (Expand) | Author | Age | Files | Lines |
* | Ebuild Maintenance and x86 stable per bug 412179. Bump to 27.4 (Bug 412205), ... | Thomas Kahle | 2012-04-16 | 1 | -11/+15 |
* | Ebuild Maintenance and x86 stable per bug 412179. Bump to 27.4 (Bug 412205), ... | Thomas Kahle | 2012-04-16 | 6 | -204/+40 |
* | Version bump | Sebastien Fabbro | 2012-04-16 | 1 | -6/+6 |
* | Version bump | Sebastien Fabbro | 2012-04-16 | 2 | -2/+8 |
* | Version bump | Sebastien Fabbro | 2012-04-16 | 1 | -19/+7 |
* | Version bump | Sebastien Fabbro | 2012-04-16 | 3 | -142/+26 |
* | Stable for amd64, wrt bug #412179 | Agostino Sarubbo | 2012-04-16 | 1 | -12/+2 |
* | Stable for amd64, wrt bug #412179 | Agostino Sarubbo | 2012-04-16 | 2 | -5/+8 |
* | Move EAPI assignment to top of ebuild, bug 411875. | Ulrich Müller | 2012-04-13 | 1 | -8/+18 |
* | Move EAPI assignment to top of ebuild, bug 411875. | Ulrich Müller | 2012-04-13 | 4 | -9/+13 |
* | Move EAPI assignment to top of ebuild, bug 411875. | Ulrich Müller | 2012-04-13 | 1 | -8/+18 |
* | Move EAPI assignment to top of ebuild, bug 411875. | Ulrich Müller | 2012-04-13 | 4 | -9/+13 |
* | Bump to 0.9.0 | Thomas Kahle | 2012-04-13 | 1 | -6/+8 |
* | Bump to 0.9.0 | 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 | 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 | Mark Wright | 2012-04-13 | 3 | -5/+21 |
* | Fix agda 2.3.0.1 build with mtl-2.1 | Mark Wright | 2012-04-13 | 1 | -12/+3 |
* | Fix agda 2.3.0.1 build with mtl-2.1 | Mark Wright | 2012-04-13 | 3 | -3/+20 |
* | Fix python3 generation (bug #411699), add vtk flag to avoid automagic, prefix... | Sebastien Fabbro | 2012-04-12 | 1 | -3/+14 |
* | Fix python3 generation (bug #411699), add vtk flag to avoid automagic, prefix... | Sebastien Fabbro | 2012-04-12 | 4 | -18/+55 |
* | Version bump, thanks to José Romildo Malaquias <j.romildo@gmail.com> for the... | Andrey Grozin | 2012-04-05 | 1 | -15/+8 |
* | Version bump, thanks to José Romildo Malaquias <j.romildo@gmail.com> for the... | Andrey Grozin | 2012-04-05 | 7 | -1/+243 |
* | Version bump | Andrey Grozin | 2012-04-05 | 1 | -1/+5 |
* | Version bump | Andrey Grozin | 2012-04-05 | 4 | -1/+278 |
* | Fix agda 2.3.0.1 build with haskell-src-exts-1.13.0 | Mark Wright | 2012-04-01 | 1 | -5/+6 |
* | Fix agda 2.3.0.1 build with haskell-src-exts-1.13.0 | Mark Wright | 2012-04-01 | 3 | -2/+33 |
* | Marking lpsolve-5.5.2.0 ~ppc64 for bug 398521 | Brent Baude | 2012-03-26 | 1 | -12/+2 |
* | Marking lpsolve-5.5.2.0 ~ppc64 for bug 398521 | Brent Baude | 2012-03-26 | 2 | -5/+8 |
* | Marked ~x86-macos | Fabian Groffen | 2012-03-25 | 1 | -7/+7 |
* | Marked ~x86-macos | Fabian Groffen | 2012-03-25 | 2 | -3/+6 |
* | Drop ia64/sparc | Raúl Porcel | 2012-03-25 | 1 | -5/+15 |
* | Drop ia64/sparc | Raúl Porcel | 2012-03-25 | 5 | -10/+18 |
* | Add agda-executable, Command-line program for type-checking and compiling Agd... | Mark Wright | 2012-03-25 | 1 | -0/+16 |
* | Add agda-executable, Command-line program for type-checking and compiling Agd... | Mark Wright | 2012-03-25 | 4 | -0/+89 |
* | Thanks to tomprince for adding support for agda-stdlib. | Mark Wright | 2012-03-25 | 1 | -0/+15 |
* | Thanks to tomprince for adding support for agda-stdlib. | Mark Wright | 2012-03-25 | 4 | -0/+62 |
* | Thanks to tomprince for adding support for agda-stdlib. Bump to 2.3.0.1, EAPI... | Mark Wright | 2012-03-25 | 1 | -6/+9 |
* | Thanks to tomprince for adding support for agda-stdlib. Bump to 2.3.0.1, EAPI... | Mark Wright | 2012-03-25 | 5 | -16/+126 |
* | Correct gold patch to fix build on Darwin targets, #408497 | Justin Lecher | 2012-03-25 | 1 | -8/+8 |
* | Correct gold patch to fix build on Darwin targets, #408497 | Justin Lecher | 2012-03-25 | 4 | -25/+20 |
* | add 3.1.4 with python support. Kudos to all contributors from lmona.de and sa... | Thomas Kahle | 2012-03-24 | 1 | -4/+8 |
* | add 3.1.4 with python support. Kudos to all contributors from lmona.de and sa... | Thomas Kahle | 2012-03-24 | 3 | -2/+233 |
* | Marked ~x{86,64}-macos, bug #408497 | Fabian Groffen | 2012-03-24 | 1 | -2/+12 |
* | Marked ~x{86,64}-macos, bug #408497 | Fabian Groffen | 2012-03-24 | 2 | -4/+7 |
* | Fix coq 8.3_p2 and 8.3_p3 builds with dev-ml/camlp5-6.05. Stdpp.Exc_located i... | Mark Wright | 2012-03-24 | 1 | -8/+8 |
* | Fix coq 8.3_p2 and 8.3_p3 builds with dev-ml/camlp5-6.05. Stdpp.Exc_located i... | Mark Wright | 2012-03-24 | 3 | -4/+59 |
* | New addition, written by me | Justin Lecher | 2012-03-21 | 1 | -2/+12 |
* | New addition, written by me | Justin Lecher | 2012-03-21 | 5 | -0/+84 |
* | Added gnome-extras/yelp dependency for documentation when gtk is set | Sebastien Fabbro | 2012-03-15 | 1 | -6/+6 |
* | Added gnome-extras/yelp dependency for documentation when gtk is set | Sebastien Fabbro | 2012-03-15 | 2 | -5/+8 |