| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Moving to sci-mathematics/coq |   Olivier Fisette | 2004-12-28 | 1 | -12/+0 |
| * | Add patch for ocaml-3.08.1 |   Matthieu Sozeau | 2004-11-18 | 1 | -5/+6 |
| * | Added ~sparc keyword. |   Jason Wever | 2004-08-14 | 1 | -4/+4 |
| * | Update for ocaml-3.08, remove old ebuild. | Matthieu Sozeau | 2004-08-08 | 1 | -7/+7 |
| * | ~amd64 |   Travis Tilley | 2004-07-14 | 1 | -5/+5 |
| * | header fix |   Michael Sterrett | 2004-07-09 | 1 | -5/+5 |
| * | New stable release. | Matthieu Sozeau | 2004-07-01 | 1 | -3/+7 |
| * | (no commit message) |   Aron Griffis | 2004-06-24 | 1 | -5/+5 |
| * | fixing Manifest |   Mike Frysinger | 2004-04-07 | 1 | -5/+5 |
| * | Added 8.0beta version and marked 7.4 stable. | Matthieu Sozeau | 2004-04-02 | 1 | -2/+4 |
| * | Initial commit. Added norealanalysis use flag to use.local.desc | Matthieu Sozeau | 2004-01-21 | 1 | -1/+3 |
| * | Initial commit. Added norealanalysis use flag to use.local.desc | Matthieu Sozeau | 2004-01-21 | 1 | -0/+3 |
GitWeb