| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| ... | |
| * | 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 |
| * | 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 |
GitWeb
