summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* Moving to sci-mathematics/coqOlivier Fisette2004-12-2813-345/+0
* Add patch for ocaml-3.08.1Matthieu Sozeau2004-11-184-7/+46
* Added ~sparc keyword.Jason Wever2004-08-143-7/+10
* Update for ocaml-3.08, remove old ebuild.Matthieu Sozeau2004-08-088-50/+104
* ~amd64Travis Tilley2004-07-143-8/+11
* header fixMichael Sterrett2004-07-091-5/+5
* header fixMichael Sterrett2004-07-092-4/+4
* New stable release.Matthieu Sozeau2004-07-016-5/+128
* (no commit message)Aron Griffis2004-06-241-5/+5
* update copyright line: Gentoo Technologies => Gentoo FoundationAron Griffis2004-06-243-6/+6
* fixing ManifestMike Frysinger2004-04-071-5/+5
* add inherit eutilsMike Frysinger2004-04-071-7/+7
* Added 8.0beta version and marked 7.4 stable.Matthieu Sozeau2004-04-025-5/+53
* Initial commit. Added norealanalysis use flag to use.local.descMatthieu Sozeau2004-01-215-1/+62
* Initial commit. Added norealanalysis use flag to use.local.descMatthieu Sozeau2004-01-212-0/+14