| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | 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 |
| * | Revert to ~ppc wrt #360601 |   Samuli Suominen | 2012-03-13 | 1 | -2/+16 |
| * | Revert to ~ppc wrt #360601 | Samuli Suominen | 2012-03-13 | 2 | -5/+8 |
| * | Remove unused USE flags umfpack, ffcall and arpack. | Samuli Suominen | 2012-03-10 | 1 | -9/+9 |
| * | Remove unused USE flags umfpack, ffcall and arpack. | Samuli Suominen | 2012-03-10 | 2 | -6/+4 |
| * | Forgot to add virtual/glu for prev. commit. Complete it. | Samuli Suominen | 2012-03-10 | 1 | -8/+8 |
| * | Forgot to add virtual/glu for prev. commit. Complete it. | Samuli Suominen | 2012-03-10 | 1 | -1/+2 |
| * | Pull in GLU headers for "gluProject" wrt #402361 by Helmut Jarausch. This is ... | Samuli Suominen | 2012-03-10 | 1 | -5/+10 |
| * | Pull in GLU headers for "gluProject" wrt #402361 by Helmut Jarausch. This is ... | Samuli Suominen | 2012-03-10 | 3 | -5/+26 |
| * | Marking octave-3.4.3-r1 ppc64 for bug 402199 |   Brent Baude | 2012-03-08 | 1 | -2/+2 |
| * | Marking octave-3.4.3-r1 ppc64 for bug 402199 | Brent Baude | 2012-03-08 | 2 | -3/+6 |
| * | Marking glpk-4.45 ppc64 for bug 391517 | Brent Baude | 2012-03-08 | 1 | -2/+2 |
| * | Marking glpk-4.45 ppc64 for bug 391517 | Brent Baude | 2012-03-08 | 2 | -3/+6 |
| * | Marking octave-3.4.3-r1 ppc for bug 402199 | Brent Baude | 2012-03-07 | 1 | -12/+2 |
| * | Marking octave-3.4.3-r1 ppc for bug 402199 | Brent Baude | 2012-03-07 | 2 | -3/+6 |
| * | Version bump | Sebastien Fabbro | 2012-03-06 | 1 | -5/+7 |
| * | Version bump | Sebastien Fabbro | 2012-03-06 | 2 | -2/+148 |
| * | Version bump | Sebastien Fabbro | 2012-03-04 | 1 | -6/+6 |
| * | Version bump | Sebastien Fabbro | 2012-03-04 | 2 | -4/+10 |
| * | Remove old. |   Johannes Huber | 2012-03-03 | 1 | -3/+15 |
| * | Remove old. | Johannes Huber | 2012-03-03 | 2 | -20/+4 |
| * | Marking gmm-4.1 ppc64 for bug 391651 | Brent Baude | 2012-03-02 | 1 | -2/+2 |
| * | Marking gmm-4.1 ppc64 for bug 391651 | Brent Baude | 2012-03-02 | 2 | -3/+6 |
| * | Version bump | Sebastien Fabbro | 2012-03-02 | 1 | -4/+6 |
| * | Version bump | Sebastien Fabbro | 2012-03-02 | 2 | -2/+60 |
| * | Version bump | Sebastien Fabbro | 2012-03-02 | 1 | -8/+6 |
| * | Version bump | Sebastien Fabbro | 2012-03-02 | 3 | -45/+10 |
| * | Version bump, add a gnuplot flag (bug #402705), and fix occasional failures o... | Sebastien Fabbro | 2012-02-27 | 1 | -6/+8 |
| * | Version bump, add a gnuplot flag (bug #402705), and fix occasional failures o... | Sebastien Fabbro | 2012-02-27 | 2 | -1/+113 |
| * | Marking glpk-4.45 ppc for bug 391517 | Brent Baude | 2012-02-27 | 1 | -12/+2 |
| * | Marking glpk-4.45 ppc for bug 391517 | Brent Baude | 2012-02-27 | 2 | -3/+6 |
| * | Restricting jython |   Patrick Lauer | 2012-02-26 | 1 | -3/+3 |
| * | Restricting jython | Patrick Lauer | 2012-02-26 | 3 | -8/+12 |
GitWeb
