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